First-order-logic-based Zacktronic-like point'n' click game. Here is a short demo.

• Python 3.8+
• SWI-Prolog 8.0+ (with Janus support)
• Tkinter (usually included with Python)

macOS:

brew install swi-prolog

Ubuntu/Debian:

See here.

Windows:

• Download from https://www.swi-prolog.org/download/stable
• Install with default options

Create a python virtual environment, source it, then:

pip install janus-swi pillow

Note: janus-swi requires SWI-Prolog to be installed first.

python main.py

"janus_swi not available"

• Ensure SWI-Prolog is installed first
• Try: pip install --upgrade janus-swi
• Verify SWI-Prolog: swipl --version

"No levels could be loaded"

• The game creates sample levels automatically on first run
• Check that levels/ directory exists

Tkinter missing

# Ubuntu/Debian
sudo apt-get install python3-tk

# macOS (usually pre-installed)
# Reinstall Python from python.org if needed

Add JSON files to the levels/ directory. See levels/01_student_meal_subsidy.json for the format.

MIT License, created by Jan Bingemann