The Predicate consult/1 - A Problem in Prolog Standardisation.
Roger S. ScowenPublished in: ALPUK (1991)
Keyphrases
- horn clauses
- learning technologies
- logic programming
- first order logic
- abstract machine
- knowledge representation
- prolog programs
- expert systems
- programming language
- logic programming language
- theorem proving
- functional programming
- data structure
- backward chaining
- multimedia
- constraint logic programming
- real time
- database
- multi agent systems
- inference engine
- computer vision
- higher education
- logic programs
- object oriented
- data model