The CLP(R) Language and System.

Joxan Jaffar Spiro Michaylov Peter J. Stuckey Roland H. C. Yap

Published in: ACM Trans. Program. Lang. Syst. (1992)

Keyphrases

constraint logic programming
logic programming language
programming language
natural language
language learning
english language
constraint solving
constraint programming
context dependent
language processing
formal language
genetic algorithm
decision trees
inference rules
declarative language