config.arm64_v8a

config.xxxhdpi

config.en

Everyone

xprolog

Lollipop

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
 が含まれています。

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

X-Prolog

X-Prologの最新バージョン

他のバージョン