config.arm64_v8a

config.xxxhdpi

config.en

Everyone

xprolog

Lollipop

X-Prolog ialah sistem Prolog ringan yang bertujuan untuk memudahkan pengaturcaraan dalam Prolog pada Android. Apl menjalankan program Prolog dalam paparan teks, paparan web atau sebagai perkhidmatan terikat kepada apl pelanggan. Pelanggan sampel tersedia di https://github.com/xprolog/sample-client.

Harap maklum bahawa Google Play mengehadkan penggunaan kebenaran akses semua fail dalam apl yang menyasarkan Android 11 atau lebih baharu. Untuk memasang X-Prolog dengan kebenaran akses semua fail, rujuk https://github.com/xprolog/xp/releases.

ada alat?
 Apl bergantung pada alatan yang ditentukan pengguna untuk menyunting dan membina projek. Alat ini ditulis dalam Prolog dan boleh dilihat pada peranti dengan pilihan pembangun. Apl dan alatan bertukar-tukar data melalui pembolehubah pemindahan dan output yang diformatkan. Keluaran ini termasuk alat remeh yang bertujuan untuk menunjukkan ciri perkakas apl.

Apl mentakrifkan titik sambungan di mana pembolehubah pemindahan tersedia (kepada alatan) dan output berformat (daripada alatan) diiktiraf. Alat boleh dikonfigurasikan untuk menyumbang kepada satu atau lebih titik sambungan dengan menentukan istilah konteks.

Istilah konteks ialah istilah baca bagi bentuk 
konteks(Nama, FileTypes, Keutamaan) 
, dengan 
Nama
 ialah nama titik sambungan, 
FileTypes
 ialah senarai jenis fail yang boleh diterima dan 
Keutamaan
 ialah integer tidak kurang daripada sifar, yang maknanya berbeza-beza bergantung pada titik sambungan.

Keluaran ini mentakrifkan tiga titik sambungan: 
bina, edit
 dan 
selaraskan
, yang membolehkan alatan menyumbang kepada, masing-masing, membina projek, mengedit fail sumber dan menyelaraskan model sumber.

Untuk membina projek, buka fail dalam direktori teratas projek dan klik 
Bina
. Untuk mengeksport projek ke dalam fail objek boleh dijalankan pada sistem fail tempatan, klik 
Eksport
. Untuk menjalankan fail objek, klik 
Jalankan
.

Fail dianggap fail sumber jika wujud satu atau lebih alat yang membina fail, mungkin mengubahnya menjadi fail sumber lain. Keluaran ini termasuk alat binaan tunggal, 
Kompil
, yang menterjemah fail sumber Prolog (.pl) kepada fail muat cepat (.ql).

Isu yang diketahui termasuk semakan berlaku, paparan kemas kini logik, pembolehubah dikaitkan antara lain.

X-Prolog

Versi Terkini X-Prolog

Versi lain