Strawberry PrologProlog 邏輯編程語言編譯器

由保加利亞科技學(xué)院的數(shù)學(xué)和信息學(xué)院及保加利亞索菲亞大學(xué)數(shù)學(xué)和信息學(xué)系人員共同研發(fā)的用 MFC 實現(xiàn)的 Windows 平臺下的開源 Prolog 邏輯編程語言編譯器，提供了三個版本：輕量版（Light Edition，免費版）、中量版（Middle Edition，收費）和專業(yè)版（Professional Edition，收費），輕量版源碼在 AntiGNU 協(xié)議下公開。

Features

• 獨特的調(diào)試工具：證明樹（proof tree）為其一，可查看目標(biāo)（goal）是如何得到滿足（satisfy）的
• 電子郵件謂語助你自動生成信件并管理你的郵件往來
• 作用域能超出子句的全局變量
• Prolog CGI 腳本
• 對象瀏覽器和 OLE 功能