PARLOG and Its Applications.

Published in: IEEE Trans. Software Eng. (1988)

Keyphrases

logic programming language
logic programming
constraint logic programming
inference rules
general purpose
machine learning
situation calculus
optimal solution
special case
probability distribution
heuristic search
graphical models
linear programming
constraint propagation