🚀 PrologGo

The frictionless way to learn, write, and run logic programs - no terminal required.

First time learning Prolog? Need to test a logic snippet right now?
Paste your code, add your ?- queries, and press ⌘R.
No terminal commands. No REPL hassle. Instant solutions.

✨ Features

• ⚡ Single-File Workspace: Write your facts, rules, and queries (?-) together in one single file. Just click Run (or hit ⌘R) to see your results.
• 🎨 Pedagogical UI: Distraction-free syntax highlighting, starter templates, and visual solution cards.
• 📁 Folder-Based Sync: Open project folders and use native macOS Save-As to sync .pl files to disk instantly.
• 🪄 Zero Setup: PrologGo automatically installs the SWI-Prolog engine in the background on first launch!

📦 Installation & Setup

1. Download: Grab the latest version from the Releases section.
2. Install: Move PrologGo.app to your /Applications folder.
3. First Launch: Since PrologGo is independently developed, right-click the app icon and select Open to bypass the macOS Gatekeeper warning.

🧩 How It Works

Just write your facts, rules, and ?- queries together in one single file:

is_mammal(cat).
has_fur(cat).

fluffy_pet(X) :- is_mammal(X), has_fur(X).

?- fluffy_pet(cat).
?- fluffy_pet(Who).

---

👤 Credits

Created by Jonah Simon with ❤️
If InputGuard makes your life easier, please consider supporting my work. Every coffee helps keep the shield active!