X-Prolog

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.