GitHub repository: logicmoo/tuProlog
Primary language: HTML
Description: SxxMachine hack of https://bitbucket.org/tuprologteam/tuProlog.git