Программы xsb.sf.net

XSB Бесплатный

Система логического программирования и дедуктивной базы данных (Tabled Prolog) для Unix и Windows.