[论文解读] The YAP Prolog System

Vı́tor Santos Costa, Luı́s Damas+1 more|arXiv (Cornell University)|Feb 18, 2011

Logic, programming, and type systems参考文献 36被引用 4

一句话总结

本文介紹了 YAP Prolog 系統，這是一套高性能邏輯程式設計環境，透過 C 基底的虛擬機器、動態即時索引機制（JITI）以自動優化參數順序，以及內建的 or-平行運算與表格化功能，大幅提升效率。該系統在資料密集型應用中表現出競爭力，特別是在生物資訊學與語義網處理領域。

ABSTRACT

Yet Another Prolog (YAP) is a Prolog system originally developed in the mid-eighties and that has been under almost constant development since then. This paper presents the general structure and design of the YAP system, focusing on three important contributions to the Logic Programming community. First, it describes the main techniques used in YAP to achieve an efficient Prolog engine. Second, most Logic Programming systems have a rather limited indexing algorithm. YAP contributes to this area by providing a dynamic indexing mechanism, or just-in-time indexer (JITI). Third, a important contribution of the YAP system has been the integration of both or-parallelism and tabling in a single Logic Programming system.

研究动机与目标

• 設計一個高效率的 Prolog 引擎，確保在各種工作負載下皆具備高效能，特別是在處理大規模資料時。
• 解決 Prolog 中參數順序敏感性問題，此問題在大型資料庫中可能嚴重影響效能。
• 將先進功能如 or-平行運算與表格化整合至單一統一的 Prolog 系統中，以提升可擴展性與表達能力。
• 透過從組語法遷移至 C 基底的虛擬機器，提升可攜帶性與可維護性，同時保持高效率。
• 支援現代程式設計需求，例如與 SQL、R 及機率推理系統（如 ProbLog 和 PRISM）的互操作性。

提出的方法

• 採用 C 基底的虛擬機器取代組語法，以提升可攜帶性與可維護性，同時透過優化低階技術維持高效率。
• 實作即時索引器（JITI），根據執行時的存取模式動態索引 clauses，減少手動參數重排的需求。
• 在 OPTYAP 引擎中整合表格化與 or-平行運算，支援遞迴與非單調邏輯程式之高效執行。
• 使用深度優先走訪策略處理項目的操作，並擴充 WAM 模型以加入子項索引，加速 clause 查詢。
• 設計彈性編譯器與執行時系統，支援動態編譯，以及對附屬變數與約束的高效處理。
• 透過標準化介面實現與外部系統的無縫整合，支援與資料庫及統計工具的整合。

实验结果

研究问题

• RQ1 如何在保持跨架構可攜帶性與可維護性的前提下，使 Prolog 系統達到高效率？
• RQ2 動態索引機制在多大程度上可消除因參數順序不佳所導致的效能損失？
• RQ3 能否在單一 Prolog 引擎中有效結合 or-平行運算與表格化功能，而不損及效能或正確性？
• RQ4 JITI 與表格化等進階功能的整合，如何提升 Prolog 在真實世界資料密集型應用中的易用性？
• RQ5 Prolog 系統在語義網與機率推理等新興領域中可扮演何種角色？如何延伸以支援這些領域？

主要发现

• YAP 中的 C 基底虛擬機器達到了與手動優化的組語法程式碼相當的效能，顯著提升可攜帶性與可維護性。
• 即時索引器（JITI）使 Prolog 在大規模資料查詢上的表現可與專用資料庫管理系統比擬，無需手動優化。
• YAP 在 OPTYAP 中整合 or-平行運算與表格化，能高效執行遞迴與非單調程式，其中表格化是最常被使用的擴充功能。
• 系統在語義網與生物資訊學工作負載中表現出色，YAPTAB 在競爭對手中具備競爭力。
• YAP 已成為機率邏輯程式設計研究的重要平台，支援 ProbLog 與 CLP(BN) 等系統，並促進統計關係學習的發展。
• 儘管功能強大，其他 Prolog 系統中對表格化等進階功能的採用仍有限，突顯出合作標準化與程式庫共享的必要性。