The Logtalk distribution includes some symbolic AI examples, most of them adapted from literature and other logic programming systems (see the example/port notes for credits). These include:
Neuro-symbolic
ncl
- Net-Clause Language examples
Expert systems
Searching
searching
- State-space blind and heuristic search methods
Machine Learning
metagol
- Port of the Metagol Inductive Logic Programming (ILP) system
Reasoning
many_worlds
- Design pattern for reasoning about different worlds, where a world can be e.g. a dataset, a knowledge base, a set of examples