X-Prolog

X-Prolog adalah sistem Prolog ringan.

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.