VDict mobile



clause not found. Suggestions:

clu2c
CLOS
clique
classic
class
CALS
definite clause
Guarded Horn Clauses
Horn clause
Horn clause
SLD resolution
definite clause
Guarded Horn Clauses
logic variable
DCG
definite sentence
logic programming
fact
Concurrent Prolog