XProlog(ID:5715/xpr002)
Country: ca
languages for ca
ca/2002
Began: 2002
Languages for 2002
2000s languages
Internet
New internationlism
Type:Horn clause
Horn clause
Sammet:SLP
SLP
SLP/2002
SLP/ca
Extension to W-Prolog by Jean Vaucher (arithmetic, assert/retract, cut, OR, IF, Sequences)
Related languages
W-Prolog
=>
XProlog
Augmentation of
Resources
XProlog Readme
external link