From Prolog and Zelta to ToonTalk.

Kenneth M. Kahn

Published in: ICLP (1999)

Keyphrases

logic programming
knowledge representation
programming language
prolog programs
expert systems
inference engine
abstract machine
knowledge base
theorem proving
programming paradigms
databases
logic programming language
backward chaining
data mining
image processing