1. Deductive Databases
  2. Blocks World: the classical planning puzzle

Model Postgresql

View Javascript

Adapter SWI-Prolog

Unit Testing

Cabbage, goat, and wolf puzzle

Simple game tree example

Simple game tree rewritten in Game Description Language

Puzzles

Tower of Hanoi