X-Prolog

X-Prolog 是一個輕量級的 Prolog 系統，旨在促進 Android 上的 Prolog 編程。該應用程序以文本視圖、Web 視圖或作為客戶端應用程序的綁定服務運行 Prolog 程序。示例客戶端可在 https://github.com/xprolog/sample-client 獲得。

請注意，Google Play 限制在面向 Android 11 或更高版本的應用程序中使用所有文件訪問權限。要安裝具有所有文件訪問權限的 X-Prolog，請參閱 https://github.com/xprolog/xp/releases。

有工具嗎？ 該應用程序依賴於用戶定義的工具來編輯和構建項目。這些工具是用 Prolog 編寫的，並且在具有開發人員選項的設備上可見。應用程序和工具通過傳輸變量和格式化輸出交換數據。此版本包括用於演示應用程序工具功能的簡單工具。

該應用程序定義了傳輸變量可用（工具）和格式化輸出（工具）被識別的擴展點。可以將工具配置為通過指定上下文術語來對一個或多個擴展點做出貢獻。

上下文術語是 context(Name, FileTypes, Priority) 形式的讀取術語，其中 Name 是擴展點的名稱，FileTypes 是可接受的文件類型列表，Priority 是不小於零的整數，其含義因擴展點而異。

此版本定義了三個擴展點：build、edit 和 reconcile，它們允許工具分別參與構建項目、編輯源文件和協調源模型。

要構建項目，請在項目的頂層目錄中打開一個文件，然後單擊Build。要將項目導出到本地文件系統上的可運行對象文件中，請單擊導出。要運行目標文件，請單擊運行。

如果存在一個或多個構建文件的工具，則該文件被視為源文件，可能將其轉換為另一個源文件。此版本包含一個構建工具 Compile，它將 Prolog 源文件 (.pl) 轉換為快速加載文件 (.ql)。

已知問題包括發生檢查、邏輯更新視圖、屬性變量等。