Prolog: An Annotated Bibliography.
Fatima Z. MansouriColin A. HigginsPublished in: ACM SIGPLAN Notices (1997)
Keyphrases
- expert systems
- logic programming
- knowledge base
- knowledge representation
- abstract machine
- backward chaining
- programming language
- inference engine
- digital libraries
- search algorithm
- high level
- ground truth
- case study
- theorem proving
- manually annotated
- constraint logic programming
- image processing
- prolog programs
- functional programming
- database