Jos De Roo
Jos De Roo
[This program](https://github.com/josd/imagining/blob/7153aa1af0e1c96b5e1bb11ddc795a758f5f6e20/turing/turing.pl) worked in the past (and for all prologs that I tested) but not in the more recent versions of Scryer. Replacing some of the `#` with the string...
While testing the meta-interpreter so nicely explained by @triska at https://www.youtube.com/watch?v=nmBkU-l1zyc&t=1870s the following gives an unexpected segmentation fault: ``` $ scryer-prolog ?- [user]. mi([]). mi([G|Gs]) :- head_body_(G,Goals,Gs), mi(Goals). head_body_(mi([]),Rs,Rs). head_body_(mi([G|Gs]),[head_body_(G,Goals,Gs),mi(Goals)|Rs],Rs)....
In the EYE implementation of N3 the scope of quickvars is the statement (i.e. triple or rule) level so in the [EXAMPLE: Applying an N3 patch](https://solidproject.org/TR/protocol#writing-resources) the quickvar `?person` isn't...
The following TriG file has an empty namespace prefix ``` @prefix rdfs: . @prefix : . :A rdfs:subClassOf :B. ``` and reading it via `rdf_read_turtle(stream(In), Triples, [base_uri(Arg), format(trig), prefixes(Pfxs), on_error(error)]),`...
eye-js should support the same libraries as eye. In order to test that, each of the following swipl queries should return `true`: ``` use_module(library(lists)). ``` ``` use_module(library(gensym)). ``` ``` use_module(library(system))....
The following case https://github.com/eyereasoner/eye/blob/1ea6435149beb4d4a483ddb761eae85def65db16/see/temp/complex.pl gives ``` $ scryer-prolog -g test complex.pl 'https://josd.github.io/cigol#exp'([-1,0],[0.5,0],[6.123233995736766e-17,1.0]). run,halt causes: error(type_error(evaluable,e),(is)/2) ?- ``` whereas we expect ``` $ tpl -g test complex.pl 'https://josd.github.io/cigol#exp'([-1,0],[0.5,0],[6.123233995736766e-17,1.0]). 'https://josd.github.io/cigol#exp'([e,0],[0,pi],[-1.0,1.2246467991473532e-16]). 'https://josd.github.io/cigol#log'([e,0],[-1,0],[0.0,3.141592653589793]). 'https://josd.github.io/cigol#log'([0,1],[0,1],[1.0,0.0])....
The issue can be reproduced with: ``` cd /tmp git clone https://github.com/eyereasoner/eye2 cd eye2 git checkout tags/v1.2.11 tpl -g main eye3.pl etc/sdcoding.pl ``` which is giving ``` :- op(1150,xfx,=>). 'urn:example:sdcoding'(1,1)=>true....
We get unexpected variables in the output of the following test ``` cd /tmp git clone https://github.com/eyereasoner/eye2 cd eye2 git checkout tags/v1.0.6 scryer-prolog -g run eye3.pl etc/bmt.pl > etc/output/bmt.pl git...