XSB

tags
Logic Programming

A logic programming and deductive database system. About XSB

Used in Flora-2, ErgoAI, Logtalk

Notes that link to this note