config.arm64_v8a

config.xxxhdpi

config.en

Everyone

xprolog

Lollipop

X-Prolog adalah sistem Prolog ringan yang ditujukan untuk memudahkan pemrograman dalam Prolog di Android. Aplikasi menjalankan program Prolog dalam tampilan teks, tampilan web, atau sebagai layanan terikat ke aplikasi klien. Klien sampel tersedia di https://github.com/xprolog/sample-client.

Perhatikan bahwa Google Play membatasi penggunaan izin akses semua file di aplikasi yang menargetkan Android 11 atau lebih baru. Untuk menginstal X-Prolog dengan izin akses semua file, lihat https://github.com/xprolog/xp/releases.

punya alat?
 Aplikasi ini bergantung pada alat yang ditentukan pengguna untuk mengedit dan membangun proyek. Alat ini ditulis dalam Prolog dan terlihat di perangkat dengan opsi pengembang. Aplikasi dan alat bertukar data melalui variabel transfer dan output yang diformat. Rilis ini mencakup alat sepele yang dimaksudkan untuk mendemonstrasikan fitur alat aplikasi.

Aplikasi mendefinisikan titik ekstensi di mana variabel transfer tersedia (ke alat) dan output yang diformat (dari alat) dikenali. Alat dapat dikonfigurasi untuk berkontribusi pada satu atau lebih titik ekstensi dengan menentukan istilah konteks.

Istilah konteks adalah istilah baca dalam bentuk 
konteks(Nama, Tipe File, Prioritas) 
, di mana 
Nama
 adalah nama titik ekstensi, 
Tipe File
 adalah daftar jenis file yang dapat diterima dan 
Prioritas
 adalah bilangan bulat tidak kurang dari nol, artinya bervariasi tergantung pada titik ekstensi.

Rilis ini mendefinisikan tiga poin ekstensi: 
build, edit
 dan 
reconcile
, yang memungkinkan alat untuk berkontribusi, masing-masing, membangun proyek, mengedit file sumber, dan merekonsiliasi model sumber.

Untuk membangun proyek, buka file di direktori teratas proyek dan klik 
Bangun
. Untuk mengekspor proyek ke file objek yang dapat dijalankan pada sistem file lokal, klik 
Ekspor
. Untuk menjalankan file objek, klik 
Run
.

Sebuah file dianggap sebagai file sumber jika ada satu atau lebih alat yang membangun file, mungkin mengubahnya menjadi file sumber lain. Rilis ini menyertakan alat pembuatan tunggal, 
Kompilasi
, yang menerjemahkan file sumber Prolog (.pl) menjadi file pemuatan cepat (.ql).

Masalah yang diketahui termasuk pemeriksaan yang terjadi, tampilan pembaruan logis, variabel yang dikaitkan antara lain.

X-Prolog

Versi Terakhir dari X-Prolog

Versi lain