VDict mobile



predicates not found. Suggestions:

predicate logic
Prolog-II
Turbo Prolog
Larch
BABEL
Algebraic Logic Functional language
XSB
Trilogy
rl
Purdue Compiler-Construction Tool Set