Last Steps Towards an Ultimate PROLOG.
Alain ColmerauerHenry KanouiMichel Van CaneghemPublished in: IJCAI (1981)
Keyphrases
- logic programming
- expert systems
- programming language
- abstract machine
- logic programming language
- constraint logic programming
- knowledge representation
- prolog programs
- knowledge base
- inference engine
- explanation based generalization
- information retrieval
- databases
- functional programming
- search algorithm
- management system
- high level
- backward chaining
- data sets