Engineering Unifying Logic Explainable Reasoning - EULER Install and test git clone https://github.com/eyereasoner/euler cd euler/cases ./test prolog prolog can be either tpl or scryer-prolog.