P#: a concurrent Prolog for the .NET framework.
Jonathan J. CookPublished in: Softw. Pract. Exp. (2004)
Keyphrases
- logic programming
- expert systems
- knowledge base
- abstract machine
- knowledge representation
- prolog programs
- programming language
- mutual exclusion
- constraint logic programming
- programming paradigms
- data structure
- natural language
- reinforcement learning
- databases
- information systems
- computer vision
- horn clauses
- backward chaining
- machine learning
- data mining