Games -- Demo Page

This is a demo application for our Prolog puzzle reasoning library.


Select a game and press Solve

Human readable:
Prolog translation:

Output image:

Swipl console:

...