About Prolog Premium IDE & Compiler
A professional Prolog IDE with editor and terminal. Subscription required.
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
What's new in the latest 11.6
• The advertising-ID permissions are gone from the manifest — they arrived with Firebase, backed no feature, and are now stripped
• Custom providers can talk to Anthropic-compatible endpoints, not just OpenAI-compatible ones
• Anthropic default model falls back through the whole Claude 5 line instead of one model
• Terminal starts reliably; a broken prefix repairs itself on next launch
• Home screen opens in about half the time
Prolog Premium IDE & Compiler APK Information
Old Versions of Prolog Premium IDE & Compiler
Super Fast and Safe Downloading via APKPure App
One-click to install XAPK/APK files on Android!



