Two novel prolog assignments.

Published in: ITiCSE (2009)

Keyphrases

logic programming
knowledge representation
expert systems
programming language
logic programming language
constraint logic programming
prolog programs
real time
knowledge base
answer set programming
semantically equivalent
computer vision
cooperative
support vector
abstract machine