We use cookies and other technologies on this website to enhance your user experience.
By clicking any link on this page you are giving your consent to our Privacy Policy and Cookies Policy.
X-Prolog icon

X-Prolog

1.0.25 for Android

The description of X-Prolog

X-Prolog is a lightweight Prolog implementation intended to facilitate programming in logic on Android. This app runs Prolog programs in a console view or as a bound service to a client app. A sample client is available at https://github.com/xprolog/sample-client.

Prolog programs may be developed using any main-stream Prolog system, including SICStus, SWI-Prolog, YAP, etc. The advantage of using X-Prolog is the ability to export programs in a quick-load format.

Code snippets may be shared with X-Prolog app. A shared snippet is either consulted into a running meta-interpreter or run as a standalone program.

A program may be associated with a run configuration, which describes how the program is run, including the top-level goal and whether the program is thread-safe.

A thread-safe program runs in a console view on first launch like any other program; however, any subsequent launch of the program runs in a terminal view, sharing the database of the console view.

X-Prolog benefited from works by Richard O'Keefe, Jan Wielemaker, Jack Palevich and others.

Known issues include occurs check, logical-update view, module-sensitive built-ins and so forth.

Got Tool? The app depends on user-defined tools for editing and building projects. The tools are written in Prolog and are visible on devices with developer options. The app and tools exchange data through transfer variables and formatted output. This app release includes trivial tools intended to demonstrate the app's tooling feature.

The app defines extension points at which transfer variables are available (to tools) and formatted output (from tools) is recognized. A tool may be configured to contribute to one or more extension points by specifying a context term.

A context term is read-term of the form context(Name, FileTypes, Priority), where Name is the name of an extension point, FileTypes is a list of acceptable file types and Priority is an integer not less than zero, the effective meaning of which varies depending on the extension point.

This release defines three extension points: build, edit and reconcile, which allow tools to contribute to, respectively, building projects, editing source files and reconciling source models.

To build a project, open a file in the top directory of the project and select menu option Build. To export the project into a runnable object file on the local file system, select menu option Export. To run the object file, select menu option Run.

A file is considered source-file if there exists one or more tools that build the file, possibly transforming it into another source file.

This release includes three build tools: Compile, Expand and Test. Compile translates a Prolog source file (.pl) into a quick-load file (.ql). Expand translates a definite-clause grammar file (.dcg) into a Prolog source file. Test runs unit and integration tests contained in designated files (.plt).
Show More

X-Prolog 1.0.25 Update

2018-09-28
Initial release

X-Prolog Tags

Add Tags

By adding tag words that describe for Games&Apps, you're helping to make these Games and Apps be more discoverable by other APKPure users.

Additional Information

Advertisement
Previous versions
  • V1.0.31 3.1 MB XAPK APKs

    X-Prolog

    2020-03-09

    X-Prolog 1.0.31 (31)

    Update on: 2020-03-09

    Requires Android: Android 4.4+ (Kitkat, API 19)

    Signature: 26fd3cc6869e306d714388f75ae90c3445f36dc6 X-Prolog 1.0.31(31) safe verified

    Screen DPI: 160-640dpi

    Architecture: x86

    APKs: config.ar, config.de, config.en, config.es, config.fr, config.hi, config.in, config.it, config.iw, config.ja, config.ko, config.ms, config.nb, config.nl, config.pl, config.pt, config.ru, config.sv, config.th, config.tr, config.vi, config.x86, config.xxhdpi, config.zh

    File SHA1: ab4888099699df2b760bf977add19d5b505365a2

    File Size: 3.1 MB

    What's new:

    Download

  • V1.0.30 3.0 MB XAPK APKs

    X-Prolog

    2020-03-02

    X-Prolog 1.0.30 (30)

    Update on: 2020-03-02

    Requires Android: Android 4.4+ (Kitkat, API 19)

    Signature: 26fd3cc6869e306d714388f75ae90c3445f36dc6 X-Prolog 1.0.30(30) safe verified

    Screen DPI: 160-640dpi

    Architecture: x86

    APKs: config.ar, config.de, config.en, config.es, config.fr, config.hi, config.in, config.it, config.iw, config.ja, config.ko, config.ms, config.nb, config.nl, config.pl, config.pt, config.ru, config.sv, config.th, config.tr, config.vi, config.x86, config.xxhdpi, config.zh

    File SHA1: bffd48fe71b6e6a55c2b50dd3a7badd196f8790a

    File Size: 3.0 MB

    What's new:

    Download

  • V1.0.28 3.0 MB XAPK APKs

    X-Prolog

    2020-02-21

    X-Prolog 1.0.28 (28)

    Update on: 2020-02-21

    Requires Android: Android 4.4+ (Kitkat, API 19)

    Signature: 26fd3cc6869e306d714388f75ae90c3445f36dc6 X-Prolog 1.0.28(28) safe verified

    Screen DPI: 160-640dpi

    Architecture: x86

    APKs: config.ar, config.de, config.en, config.es, config.fr, config.hi, config.in, config.it, config.iw, config.ja, config.ko, config.ms, config.nb, config.nl, config.pl, config.pt, config.ru, config.sv, config.th, config.tr, config.vi, config.x86, config.xxhdpi, config.zh

    File SHA1: 5342c799e1e17a56b49cc17db3ed2f65d45d0bf5

    File Size: 3.0 MB

    What's new:

    Download

  • V1.0.26 2.7 MB XAPK APKs

    X-Prolog

    2020-02-16

    X-Prolog 1.0.26 (26)

    Update on: 2020-02-16

    Requires Android: Android 4.4+ (Kitkat, API 19)

    Signature: 26fd3cc6869e306d714388f75ae90c3445f36dc6 X-Prolog 1.0.26(26) safe verified

    Screen DPI: 160-640dpi

    Architecture: between.pl, between.ql, blackboard.pl, blackboard.ql, codesio.pl, codesio.ql, color.pl, color.ql, date.pl, date.ql, epsilon.pl, epsilon.ql, error.pl, error.ql, filesys.pl, filesys.ql, io.pl, io.ql, layout.pl, layout.ql, lists.pl, lists.ql, pairs.pl, pairs.ql, plunit.pl, plunit.ql, random.pl, random.ql, region.pl, region.ql, socket.pl, socket.ql, string.pl, string.ql, uikit.pl, uikit.ql, xprolog.ql

    APKs: config.ar, config.de, config.en, config.es, config.fr, config.hi, config.in, config.it, config.iw, config.ja, config.ko, config.ms, config.nb, config.nl, config.pl, config.pt, config.ru, config.sv, config.th, config.tr, config.vi, config.x86, config.xxhdpi, config.zh

    File SHA1: c8a1900e84fac68e6d8e7d572bdfb170d19929f1

    File Size: 2.7 MB

    What's new:

    Download

  • V1.0.25 2.9 MB APK

    X-Prolog

    2018-09-28

    X-Prolog 1.0.25 (25)

    Update on: 2018-09-28

    Requires Android: Android 4.0.3+ (Ice Cream Sandwich MR1, API 15)

    Signature: 26fd3cc6869e306d714388f75ae90c3445f36dc6 X-Prolog 1.0.25(25) safe verified

    Screen DPI: 160-640dpi

    Architecture: arm64-v8a, armeabi-v7a, x86, x86_64

    File SHA1: 28673e3e9af881d7a2383ab0aa3d10f288f852ba

    File Size: 2.9 MB

    What's new:

    Download

  • V1.0.24 3.2 MB APK

    X-Prolog

    2018-09-15

    X-Prolog 1.0.24 (24)

    Update on: 2018-09-15

    Requires Android: Android 4.0.3+ (Ice Cream Sandwich MR1, API 15)

    Signature: 26fd3cc6869e306d714388f75ae90c3445f36dc6 X-Prolog 1.0.24(24) safe verified

    Screen DPI: 160-640dpi

    Architecture: arm64-v8a, armeabi-v7a, x86, x86_64

    File SHA1: 514e40b432ef7d3280602c4f996baff417dc277a

    File Size: 3.2 MB

    What's new:

    Download

Similar to X-Prolog
Comment Loading...
Ooops! No such content!
Popular Apps In Last 24 Hours
Download
APKPure App