A Parallel Logic Programming Language for PEPSys.

Michael Ratcliffe Jean-Claude Syre

Published in: IJCAI (1987)

Keyphrases

logic programming language
logic programming
constraint logic programming
inference rules
situation calculus
declarative semantics
parallel implementation
logic programs
parallel processing
optimal solution
supervised learning
constraint solving