A Versatile Module System for Prolog Mapped to Flat Prolog.
Isambo KaraliEvangelos PelecanosConstantin HalatsisPublished in: SAC (1993)
Keyphrases
- expert systems
- logic programming
- abstract machine
- knowledge representation
- prolog programs
- knowledge base
- logic programming language
- programming language
- inference engine
- theorem proving
- neural network
- programming paradigms
- logic programs
- constraint logic programming
- relational databases
- backward chaining
- preprocessing
- digital libraries
- databases