XSB is a Logic Programming and Deductive Database system

【文件属性】：

文件名称：XSB is a Logic Programming and Deductive Database system

文件大小：13.19MB

文件格式：GZ

更新时间：2021-12-01 14:10:55

Deductive Da

XSB is a Logic Programming and Deductive Database system for Unix and Windows. It is being developed at a number of institutions