Looking at the eye reasoning cases from a standard prolog perspective
git clone https://github.com/eyereasoner/euler cd euler/cases ./test
The first argument of test is either tpl (default) or scryer-prolog.