Using an Extended PROLOG to Solve the Lion and Unicorn Puzzle.

Richard Schmid Hans-Albert Schneider Thomas Filkorn

Published in: J. Autom. Reason. (1989)

Keyphrases

logic programming
data sets
real time
real world
computer vision
data structure
knowledge representation
neural network
decision making
bayesian networks
optimal solution
multi agent systems
digital libraries
multiresolution
logic programs
backward chaining