Skip to content

Releases: eyereasoner/eye

v10.30.5

22 Nov 10:43
Compare
Choose a tag to compare
experimental (functor; args) compound terms

v10.30.4

19 Nov 21:10
Compare
Choose a tag to compare
simplify negative answer surfaces

v10.30.3

13 Nov 12:36
Compare
Choose a tag to compare
solving issue https://github.com/eyereasoner/eye/issues/121

v10.30.2

11 Nov 19:05
Compare
Choose a tag to compare
adjusting to https://eyereasoner.github.io/eye/#eye-color

v10.30.1

08 Nov 10:19
Compare
Choose a tag to compare
dropping --prolog and using --n3p instead

v10.30.0

07 Nov 21:50
Compare
Choose a tag to compare
using lists as compounds and adding experimental --prolog to use prol…

v10.29.1

06 Nov 11:56
Compare
Choose a tag to compare
adding list:compound built-in to convert list tofro compound term

v10.29.0

05 Nov 22:08
Compare
Choose a tag to compare
introducing ^(functor args) compound terms

v10.28.9

04 Nov 21:13
Compare
Choose a tag to compare
using RDF Proofs

v10.28.8

03 Nov 22:45
Compare
Choose a tag to compare
using proofpackets instead of reasongraphs