An Overview of Lambda-PROLOG.

Gopalan Nadathur Dale Miller

Published in: ICLP/SLP (1988)

Keyphrases

logic programming
expert systems
fixed point
prolog programs
real time
knowledge representation
programming language
knowledge base
constraint logic programming
real world
reinforcement learning
search algorithm
inference engine
detailed discussion
programming paradigms
lambda calculus