由保加利亚科技学院的数学和信息学院及保加利亚索菲亚大学数学和信息学系人员共同研发的用MFC实现的Windows平台下的开源Prolog逻辑编程语言编译器，提供了三个版本：轻量版（LightEdition，免费版）、中量版（MiddleEdition，收费）和专业版（ProfessionalEdition，收费），轻量版源码在 AntiGNU协议下公开。
Features
独特的调试工具：证明树（prooftree）为其一，可查看目标（goal）是如何得到满足（satisfy）的电子邮件谓语助你自动生成信件并管理你的邮件往来作用域能超出子句的全局变量PrologCGI脚本对象浏览器和OLE功能
评论