Logic Grammars and Lambda-Prolog.
Serge Le HuitouzePascale LouvetOlivier RidouxPublished in: ICLP (1993)
Keyphrases
- logic programming
- lambda calculus
- programming language
- knowledge representation
- logic programs
- expert systems
- modal logic
- formal language
- classical logic
- logic programming language
- grammatical inference
- automated reasoning
- theorem proving
- machine learning
- horn clauses
- multi valued
- natural language processing
- natural language
- inductive logic programming
- general purpose
- software engineering
- computational properties
- knowledge base
- artificial intelligence
- visual languages
- prolog programs
- neural network
- abstract machine
- syntactic pattern recognition
- proof theory
- finite state automata
- inference engine
- default logic