A treatment of higher-order features in logic programming (Q3370572)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A treatment of higher-order features in logic programming |
scientific article |
Statements
A treatment of higher-order features in logic programming (English)
0 references
8 February 2006
0 references
lambda calculus
0 references
intensional higher-order logic programming
0 references
higher-order unification
0 references
Warren Abstract Machine instructions
0 references
abstract machine compilation
0 references
compilation process
0 references
lambda-PROLOG implementation
0 references
Teyjus PROLOG
0 references
polymorphic typing procedure
0 references
