Package Name:org.smartide.prolog
SHA-256:a6dbccb1528c9c0712e47669098f7827268dd6788758cf4b707a54b62b4d7db4
Show More
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
Latest Version
11.6Uploaded by
Nam Nguyễn
Requires Android
Category
Free Tools AppContent Rating
Everyone
Security Report
Check Now
Report
Flag as inappropriateLast updated on Aug 31, 2026
Advertising ID removed, and everything from 11.5.
• 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
APKPure - A multi-platform app store primarily focused on Android, providing extensive app-related content. Discover the app you want easier, faster, and safer, with quick and efficient downloads and installations.
