Search in: Word
Vietnamese keyboard: Off
Virtual keyboard: Show
Computing (FOLDOC) dictionary
BinProlog
Jump to user comments
language Probably the fastest freely available C-emulated
Prolog. BinProlog features:
logical and permanent global variables; backtrackable
extended DCGs (now built into the engine as "invisible
grammars"); intuitionistic and linear implication based