XSB Prolog
XSB
is an open-source Prolog implementation originally developed at SUNY Stony Brook
Mike Dean
104 of 130