An Implementation of the Language Lambda Prolog Organized around Higher-Order Pattern Unification
Xiaochu QiPublished in: CoRR (2009)
Keyphrases
- higher order
- lambda calculus
- programming language
- abstract machine
- natural images
- pairwise
- functional programming
- specification language
- high order
- theorem proving
- logic programming language
- efficient implementation
- pattern matching
- functional language
- pattern languages
- markov random field
- low order
- operational semantics
- conditional random fields
- database query languages
- knowledge representation
- constraint logic programming
- databases
- neural network
- explanation based generalization
- semantically equivalent
- data model
- lower order
- language processing
- database
- language learning