X-Prolog

説明 X-Prolog

X-Prologは、Android上のPrologでのプログラミングを容易にすることを目的とした軽量のプロローグシステムです。アプリは、Console ViewでPrologプログラムを実行したり、クライアントアプリへのバインドされたサービスとして実行されます。サンプルクライアントはhttps://github.com/xprolog/Sample-Clientで入手可能です。
got？
プロジェクトと構築のためのユーザー定義ツールによって異なります。ツールはPrologで書かれており、開発者オプションを持つデバイスに表示されます。アプリとツールは転送変数とフォーマットされた出力を介してデータを交換します。このリリースには、アプリのツーリング機能を実証することを目的とした些細なツールが含まれています。
アプリケーションは、転送変数が利用可能で（ツールから）フォーマットされた出力（ツール）が認識される拡張ポイントを定義します。ツールは、コンテキスト項を指定することによって1つまたは複数の拡張ポイントに寄与するように構成されてもよい。
コンテキスト項はフォーム
コンテキスト（名前、ファイルタイプ、優先順位）
の読み取り項です。
name
は拡張ポイントの名前で、
filetypes
は許容ファイルタイプのリストで、
priority
はゼロ以上の整数です。その意味は拡張ポイントによって異なります。
このリリースでは、3つの拡張ポイントを定義します。
ビルド、編集
と
reconcile
を定義します。プロジェクトの構築、ソースファイルの編集、およびソースモデルを調整するには、プロジェクトの一番上のディレクトリにファイルを開き、
build
をクリックします。プロジェクトをローカルファイルシステム上のRunnableオブジェクトファイルにエクスポートするには、
export
をクリックします。オブジェクトファイルを実行するには、
run
をクリックします。
ファイルはソースファイルと見なされます。ファイルを構築する1つ以上のツールが存在する場合は、他のソースファイルに変換する可能性があります。このリリースには、単一のビルドツール、
コンパイル
が含まれています。これは、プロローブソースファイル（.pl）をクイックロードファイル（.ql）に変換します。
既知の問題が発生します。論理更新ビューと、とりわけ変数の属性。