A Sleeper-based Prolog Interpreter with Loop Checks.
Filomena FerrucciVincenzo LoiaGiuliano PaciniMaria I. SessaPublished in: GULP-PRODE (2) (1994)
Keyphrases
- programming language
- logic programming
- expert systems
- production system
- knowledge representation
- logic programming language
- object oriented
- constraint logic programming
- knowledge base
- prolog programs
- theorem proving
- programming paradigms
- database systems
- website
- information retrieval
- data structure
- face recognition
- software engineering
- case study
- multistage
- social networks
- inference engine
- learning algorithm
- neural network
- databases