X-Prolog

X-Prolog adalah sistem Prolog ringan.

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.