# Classical symbolic AI examples

The Logtalk distribution includes some classical symbolic AI examples, most of them adapted from literature and other logic programming systems (see the example/port notes for credits). These include:

## 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