PrologPro will be a native macOS IDE for SWI-Prolog, written in SWI-Prolog, using APIAnyware-MacOS bindings for native macOS APIs. WebKit serves as the rendering layer and Monaco as the code editor. Development is pre-implementation — this repository defines the vision and design direction, and depends on APIAnyware-MacOS reaching sufficient maturity.

Prolog development is fundamentally different from imperative or functional programming: you write relationships and ask questions, and the runtime searches for answers. PrologPro will make that search process visible with a proof tree visualizer, a graphical tracer (call/exit/redo/fail ports), a query explorer with variable binding inspection, and constraint visualization for CLP(FD).

The architecture layers Lit Web Components and Monaco in the frontend over a WebKit bridge, with SWI-Prolog as the inference engine underneath and APIAnyware-MacOS bindings reaching down to AppKit and Foundation. Like all *Pro IDEs, PrologPro is a proof that APIAnyware bindings are complete enough to build a real native application without FFI escape hatches.