Les grammaires logiques et lambda-Prolog.
Serge Le HuitouzePascale LouvetOlivier RidouxPublished in: JFPL (1993)
Keyphrases
- logic programming
- expert systems
- knowledge representation
- programming language
- abstract machine
- prolog programs
- knowledge base
- fixed point
- theorem proving
- logic programming language
- lambda calculus
- pairwise
- inference engine
- feature extraction
- face recognition
- data model
- decision trees
- information systems
- information retrieval
- neural network