Pocket-Inferer / Taschenfolgerer - ACE Logical Inference Calculator with SWI-Prolog Backend

A desktop application implementing Attempto Controlled English for logical reasoning. Uses SWI-Prolog through janus_swi for proper logical inference and ollama for neuro-symbolic AI assistance (natural language to ACE). Based on: https://philpapers.org/rec/BINFPT-3.

INSTALLATION AND SETUP:

1. Install SWI-Prolog:

• Windows: Download from https://www.swi-prolog.org/download/stable
• Ubuntu/Debian: sudo apt-get install swi-prolog
• macOS: brew install swi-prolog

2. Install Ollama

• Download from: https://ollama.com/download

3. Install Python dependencies:

pip install janus_swi

4. Run the program:

main.py

Demo

Here a short demo video:

https://makertube.net/w/aW9Hg86K2TaXgT92J3tqLX