X-Prolog

X-Prolog は、Android 上の Prolog でのプログラミングを容易にすることを目的とした軽量の Prolog システムです。このアプリは、Prolog プログラムをテキスト ビュー、Web ビュー、またはクライアント アプリへのバインドされたサービスとして実行します。サンプル クライアントは、https://github.com/xprolog/sample-client で入手できます。

Google Play では、Android 11 以降をターゲットとするアプリでの全ファイル アクセス許可の使用を制限していることに注意してください。 X-Prolog を全ファイル アクセス許可でインストールするには、https://github.com/xprolog/xp/releases を参照してください。

ツールを手に入れましたか?

アプリは、プロジェクトの編集と構築のためにユーザー定義のツールに依存しています。ツールは Prolog で記述されており、開発者向けオプションを使用してデバイスで表示できます。アプリとツールは、転送変数と書式設定された出力を介してデータを交換します。このリリースには、アプリのツール機能を実証するための簡単なツールが含まれています。

アプリは、転送変数が (ツールに対して) 利用可能であり、フォーマットされた出力 (ツールから) が認識される拡張ポイントを定義します。ツールは、コンテキスト タームを指定することで、1 つ以上の拡張ポイントに貢献するように構成できます。

コンテキスト用語は

context(Name, FileTypes, Priority)

という形式の読み取り用語です。

Name

は拡張ポイントの名前

FileTypes

です。 > は受け入れ可能なファイル タイプのリストで、

優先度

は 0 以上の整数であり、その意味は拡張ポイントによって異なります。

このリリースでは、

build、edit

、

reconcile

の 3 つの拡張ポイントが定義されています。これらにより、ツールはそれぞれ、プロジェクトのビルド、ソース ファイルの編集、ソース モデルの調整に貢献できます。

プロジェクトをビルドするには、プロジェクトのトップ ディレクトリにあるファイルを開き、[

ビルド

] をクリックします。プロジェクトをローカル ファイル システム上の実行可能なオブジェクト ファイルにエクスポートするには、[

エクスポート

] をクリックします。オブジェクト ファイルを実行するには、[

実行

] をクリックします。

ファイルをビルドするツールが 1 つ以上存在する場合、そのファイルはソース ファイルと見なされ、別のソース ファイルに変換される可能性があります。このリリースには、Prolog ソース ファイル (.pl) をクイック ロード ファイル (.ql) に変換する単一のビルド ツール

Compile

が含まれています。

既知の問題には、発生チェック、論理更新ビュー、属性付き変数などがあります。