Abstract Compilation of lambda-Prolog.
Frédéric MalésieuxOlivier RidouxPatrice BoizumaultPublished in: IJCSLP (1998)
Keyphrases
- logic programming
- knowledge base
- prolog programs
- fixed point
- higher level
- expert systems
- neural network
- programming language
- website
- decision making
- video sequences
- image processing
- artificial neural networks
- knowledge representation
- case based reasoning
- general purpose
- metadata
- learning algorithm
- machine learning
- real time
- abstract machine