PCPL - PROLOG Constraint Processing Library Version 2.0.

Stefan Fricke Manfred Hein

Published in: PDK (1991)

Keyphrases

logic programming
knowledge representation
expert systems
knowledge base
programming language
artificial intelligence
prolog programs
data sets
decision trees
theorem proving
constraint logic programming
functional programming