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
- Personal notes by Tim Berners-Lee: Design Issues
- Book of Markus Triska: The Power of Prolog