Implementation of a small type system for the Prolog programming language
mdesharnais/lmu-WiSe2017-18-prolog-type-system
Implementation of a small type system for the Prolog programming language
PrologGPL-3.0
Implementation of a small type system for the Prolog programming language
PrologGPL-3.0