Running eye reasoning cases in webized ISO Prolog
Install Scryer Prolog and test eyezero as follows:
git clone https://github.com/eyereasoner/eyezero cd eyezero ./test