XSB

XSB 係 Prolog 程式語言嘅一種方言，佢由石溪大學、天主教魯汶大學、里斯本新大學、烏普薩拉大學同埋軟件供應商 XSB, Inc 合作開發。