A pedagogic expert system shell in Prolog.
Victor B. SchneiderPublished in: ACM SIGPLAN Notices (1988)
Keyphrases
- expert systems
- inference engine
- knowledge based systems
- logic programming
- prolog programs
- backward chaining
- knowledge base
- problem based learning
- abstract machine
- production rules
- knowledge representation
- programming language
- logic programs
- theorem proving
- constraint logic programming
- databases
- production system
- general purpose
- computational complexity
- artificial intelligence
- real world