Tutorial on Lambda-Prolog.

Amy P. Felty Elsa L. Gunter Dale Miller Frank Pfenning

Published in: CADE (1990)

Keyphrases

logic programming
programming language
prolog programs
expert systems
lambda calculus
abstract machine
knowledge base
knowledge representation
explanation based generalization
fixed point
logic programming language
fundamental principles
neural network
decision trees
programming paradigms