X-Prolog

Penjabaran dari 9apps X-Prolog

X-Prolog adalah sistem Prolog ringan yang dimaksudkan untuk memfasilitasi pemrograman dalam Prolog di Android. Aplikasi ini menjalankan program Prolog dalam tampilan konsol atau sebagai layanan terikat ke aplikasi klien. Klien sampel tersedia di https://github.com/xprolog/sample-client.
Punya alat?
Aplikasi ini tergantung pada alat yang ditentukan pengguna untuk mengedit dan membangun proyek. Alat ditulis dalam Prolog dan terlihat pada perangkat dengan opsi pengembang. Aplikasi dan alat menukar data melalui variabel transfer dan output yang diformat. Rilis ini mencakup alat-alat sepele yang dimaksudkan untuk menunjukkan fitur perkakas aplikasi.
Aplikasi mendefinisikan titik ekstensi di mana variabel transfer tersedia (untuk alat) dan output yang diformat (dari alat) diakui. Alat dapat dikonfigurasi untuk berkontribusi pada satu atau lebih titik ekstensi dengan menentukan istilah konteks.
Istilah konteks adalah jangka waktu baca dari bentuk
konteks (nama, filetypes, prioritas)
, di mana
nama
adalah nama titik ekstensi,
filetype
adalah daftar jenis file yang dapat diterima dan
prioritas
adalah integer tidak kurang dari nol, Arti yang bervariasi tergantung pada titik ekstensi.
Rilis ini mendefinisikan tiga titik ekstensi:
Bangun, edit
dan
Rekonsiliasi
, yang memungkinkan alat untuk berkontribusi , masing-masing, membangun proyek, mengedit file sumber dan merekonsiliasi model sumber.
untuk membangun proyek, buka file di direktori atas proyek dan klik
Build
. Untuk mengekspor proyek ke file objek runnable pada sistem file lokal, klik
ekspor
. Untuk menjalankan file objek, klik
Jalankan
.
File dianggap sebagai file sumber jika ada satu atau lebih alat yang membangun file, mungkin mengubahnya menjadi file sumber lain. Rilis ini mencakup alat build tunggal,
kompilasi
, yang menerjemahkan file sumber prolog (.pl) ke file muat cepat (.ql).
masalah yang diketahui termasuk pemeriksaan, Tampilan pembaruan logis, variabel dikaitkan antara lain.