Prolog Premium IDE & Compiler

SUBSCRIPTION REQUIRED — SmartIDE Prolog is a premium app, not a free one. Installing is free and you get a 3-day free trial, but after the trial a paid subscription ($5/month or $30/year) is required to keep using the app. Please read the SUBSCRIPTION DETAILS section below before you install.

SmartIDE Prolog is a professional Prolog development environment for Android.

• Full Prolog editor with syntax highlighting and code completion.
• Integrated Linux terminal to run real Prolog tooling.
• Material 3 design with dark mode.
• Works offline, optimised for mobile.

SUBSCRIPTION DETAILS
SmartIDE Prolog is a premium, subscription-based app — there is no free tier. Every feature listed above needs an active subscription.
• 3-day free trial for new subscribers, then $5/month or $30/year
• Without an active subscription the app stays locked after the trial ends
• Billed through your Google Play account; renews automatically until you cancel
• Cancel or manage the subscription anytime in Google Play — cancelling during the trial costs you nothing

Recent changes:
• AI coding agents built in: Claude Code, Codex CLI, Antigravity CLI, Kiro CLI, OpenCode, Goose and Crush. Start one on a project from the Projects screen, the Plugins page or the command palette
• The JetBrains editor (Settings › Editor) gains find and replace, code folding, smart Enter, paired brackets, line comments and Markdown editing
• Links in the terminal open even while a program is using the mouse
• Stability fixes, including for Android 8 and 9