XSB-开源

用于Unix和Windows的逻辑编程和演绎数据库系统（Tableed Prolog）。