程式語言/邏輯語言

邏輯語言

邏輯程式語言，例如Prolog，宣告和查詢關係。這些查詢如何回答取決於實現及其定理證明器，但通常採取某種統一的形式。