eyereasoner / euler Public

Notifications You must be signed in to change notification settings
Fork 0
Star 1

Looking at the eye reasoning cases from a standard prolog perspective

1 star 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 27 Commits
cases		cases
LICENSE		LICENSE
README.md		README.md
test		test

Repository files navigation

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.

About

Looking at the eye reasoning cases from a standard prolog perspective

Custom properties

Report repository

Releases

No releases published

Packages

No packages published

Languages

Prolog 100.0%