eye
eye copied to clipboard
josd
Euler Yet another proof Engine
Some ideas: * releasing eye on https://brew.sh to make it easy to install so that it installs swi-prolog would make it much more accessible to people on macs. * a...
Have there been any experiments with running eye in a browser, using something like [swipl-wasm](https://github.com/SWI-Prolog/swipl-wasm), or maybe [Tau Prolog](http://tau-prolog.org)?
More precisely: `log:notIncludes` behaves differently depending on where the variables in its pattern are bound (similarly to the `e:findAll` case we discussed during the last meeting). Example: ``` @prefix log:...
With the following `ask.n3` ```n3 @prefix : . @prefix log: . @prefix string: . { ({ "1" }) string:concatenation ?Y . } log:query { "a" :tested ?Y . } ....
I installed eye from the `install.sh` script and I cannot run it ```sh $> eye [FATAL ERROR: at Tue Feb 13 12:35:29 2024 /usr/local/lib/eye.pvm: incompatible VM-signature (file: 0x9fa44fc5; Prolog: 0x408bfff4)]...
the following rule: ```turtle # rule.n3 @prefix : . { :a :b ?x } => { :c :d ?x } . ``` applied to: ```turtle # data.ttl @prefix : ....
The `INSTALL` file (https://github.com/eyereasoner/eye/blob/master/INSTALL#L19) says that the default prefix for installation is `usr/local` but actually it is `opt/eye` (see https://github.com/eyereasoner/eye/blob/master/install.sh#L6). This is a bit confusing for new users like me,...
I'm using (JS distribution of) eyereasoner and am seeing some weird performance differences in my benchmark -- two almost duality rules have significantly different performance (by duality, I mean for...
One reason I used CWM was just to avoid having to read rdf/xml when it was the fashion. Now it would help me to quickly read JSON-LD which is very...
Based on a [discussion](https://github.com/eyereasoner/eye/discussions/81#discussion-4963196), we created a rule similar to that below. It works in eye but there is not output when switched to `eye-js`. ```turtle @prefix log: . @prefix...