Follow @
OH
P
1) Simple MUD Server written in Prolog
2) Logical inference system identical to CyC but written in Prolog
mud opencyc prolog swi-prolog