X-Prolog APK

X-Prolog is a lightweight Prolog implementation.

Download X-Prolog 1.0.16 APK

App Description

X-Prolog is xprolog,education,x-prolog, content rating is Everyone (PEGI-3). This app is rated 5 by 1 users who are using this app. To know more about the company/developer, visit xprolog website who developed it. org.xprolog.xp.apk apps can be downloaded and installed on Android 4.0.x and higher Android devices. The Latest Version of 1.0.16 Available for download. Download the app using your favorite browser and click Install to install the application. Please note that we provide both basic and pure APK files and faster download speeds than APK Mirror. This app APK has been downloaded 324+ times on store. You can also download org.xprolog.xp APK and run it with the popular Android Emulators.

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 
, where 
 is the name of an extension point, 
 is a list of acceptable file types and 
 is an integer not less than zero, the effective meaning of which varies depending on the extension point.
This release defines three extension points: 
 and 
, 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 
. To export the project into a runnable object file on the local file system, select menu option 
. To run the object file, select menu option 
.
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). 

App ChangeLog

• Initial release

App Screens

org-xprolog-xp-16-36118982-792726bd60c4cec632fbd3e813d380f4.apk
Name:1583390272897.apk
Name:1568304799965.apk

Apk scan results

Apk Scaned By TotalVirus Antivirus,org.xprolog.xp.apk Was Risky.Detected 2 From 55 Scan.
Scan Stats:harmless:0|type-unsupported:10|suspicious:0|confirmed-timeout:0|timeout:0|failure:2|malicious:0|undetected:64|
Name:org-xprolog-xp-16-36118982-792726bd60c4cec632fbd3e813d380f4.apk
Name:1583390272897.apk
Name:1568304799965.apk
SHA-1:0eec6e1a97338174235eb2a45e6cf6c1254a4227
SHA-256:13c0f3742123b3f1eb3a9bb12f3f37e2cd3b3c6ded51d264ee7b226407db0994
SSDEEP:49152:iQUNqWndvFy5hL9pi5POf66waR8YED5i0RPayGF8dR62pIo5EyRguyj1ggipdl:iNvsr5NpR8RD/axmp1ynuygdl
File type:Android
Magic:Zip archive data, at least v2.0 to extract
File size:2996554
Uncompressed Size:6270223
Contained Files	:605
Contained Files By Type:xml:282,dex:1,MF:1,RSA:1,ql:12,so:16,pl:22,txt:3,SF:1,png:264,