Brief: Our reimplementation of Prolog-CYC. May borrow heavily from dmiles' PrologCYC (LogicMOO/LogicMUD/PrologMOO)
Jump To: Parent Description

  • Many aspects of CYC are similar to Prolog. dmiles' logicmoo system has gone to great lengths to reimplement CYC within Prolog. Because his system is under heavy development, its APIs are not stable enough to use, so we begin by studying his system and implementing one of our own, which can either be upgraded or replaced as his system advances.