Encoding a Dependent-Type Lambda-Calculus in a Logic Programming Language.

Amy P. Felty Dale Miller

Published in: CADE (1990)

Keyphrases

logic programming language
lambda calculus
logic programming
constraint logic programming
inference rules
programming language
database query languages
situation calculus
higher order
logic programs
database management systems
temporal information
program understanding