GitHub repository: BjarneWittlieb/InterpreterProlog
Primary language: Haskell
Created: 2020-02-17T08:25:21Z
Description: A Prolog Interpreter, the socalled 'Proving machine'