Prolog Studio / Android app
Terms of service.
These terms cover the Android app Prolog Studio: IDE & Debugger (package com.zubaer.prologstudio), made by Md. Zubaer Ahammed. By installing or using the app you agree to them.
Last updated:
What the app is
Prolog Studio is a free learning tool. It runs Prolog programs that you write, answers your queries, shows the proof search step by step as a tree with an explanation of each step, and teaches Prolog through lessons and exercises. It is meant for study and practice.
The app covers the Prolog a first course uses. It has no modules or constraint libraries, whole numbers are limited to 64 bits, and a few built-in predicates behave slightly differently from other Prolog systems. Check important results, such as graded coursework, against the Prolog system your course requires.
Using the app
You may install and use the app on your own devices for personal, educational and teaching purposes. Please do not copy, resell or redistribute the app, remove its notices, or interfere with the adverts it shows.
The programs you write are yours. They stay on your device, and you are responsible for keeping a copy of anything you want to keep; the export button saves a program as a file. The example programs and lesson programs in the app may be used and changed freely for learning and teaching.
Adverts and other services
The app is free and shows banner adverts served by Google AdMob, and a video advert only when you ask for one to hide the banner for a day. I do not choose or endorse individual adverts. How advertising data is handled is explained in the Prolog Studio privacy policy.
Some buttons open other apps or websites, such as Google Play, your email app or an app you choose to share a program with. Those services are run by other parties under their own terms.
No warranty
The app is provided as is, without charge. I work to keep it accurate and reliable, but I do not promise that it is free of mistakes, that it will always be available, or that it suits a particular purpose.
To the extent the law allows, I am not liable for loss or damage that results from using the app, including lost work or a wrong result. Nothing in these terms limits rights that the law gives you as a consumer and that cannot be set aside by agreement.
Changes and contact
The app may be updated, changed or withdrawn. If these terms change, the new version will be published on this page with a new date. Questions can be sent to [email protected].