Second Eye of Euler is now back and runs well with trealla

[josd]

Second Eye of Euler - SEE

• Looking at the eye/reasoning cases from a standard prolog perspective
• Web linking and drawing called welding via 'any_iri'/n predicates

Install trealla and run

./test tpl

Install scryer and run

./test scryer-prolog

[infradig]

Running ./test i get

/test: line 2: pushd: /home/andrew/github.com/eyereasoner/eye/reasoning: No such file or directory
./test: line 2: pushd: /home/andrew/github.com/eyereasoner/eye/reasoning: No such file or directory
./test: line 2: pushd: /home/andrew/github.com/eyereasoner/eye/reasoning: No such file or directory
^C

It seems to require installation under a fixed github.com/eyereasoner location.

[josd]

Thanks for your observation and it should now run fine:

$ ./test
----------------
Running see/test
----------------

ackermann.pl                646 msec OK
acp.pl                       38 msec OK
beetle.pl                    38 msec OK
beetle12.pl                  58 msec OK
beetle6.pl                   39 msec OK
bmt.pl                      773 msec OK
cobbler.pl                   36 msec OK
color.pl                    568 msec OK
complex.pl                   40 msec OK
control.pl                   42 msec OK
derivative.pl                48 msec OK
dtb.pl                     1576 msec OK
easter.pl                    41 msec OK
enigma1225.pl                61 msec OK
equation.pl                  42 msec OK
fft.pl                       39 msec OK
fibonacci.pl                 41 msec OK
gcc.pl                       37 msec OK
gps.pl                       39 msec OK
graph.pl                     39 msec OK
hanoi.pl                     50 msec OK
lee.pl                       44 msec OK
matrix.pl                    44 msec OK
mi.pl                        69 msec OK
padovan.pl                   40 msec OK
peano.pl                     38 msec OK
pi.pl                       109 msec OK
polygon.pl                   38 msec OK
polynomial.pl                47 msec OK
prime.pl                     50 msec OK
restdesc.pl                  41 msec OK
sdcoding.pl                  40 msec OK
socrates.pl                  38 msec OK
steps.pl                     43 msec OK
sudoku.pl                   836 msec OK
tak.pl                      426 msec OK
turing.pl                    39 msec OK
universal.pl                 53 msec OK
zebra.pl                     57 msec OK

7 sec 39 OK 0 FAILED

[infradig]

I can't see any improvement. It still wants to be installed in a fixed location.

[josd]

Install and test is now simplified to

git clone https://github.com/eyereasoner/see
cd see/cases
./test

Is that working?

[infradig]

I didn't know to go to the cases sub directory

…

On Sun, 4 Aug 2024, 20:11 Jos De Roo, ***@***.***> wrote: Install and test is now simplified to git clone https://github.com/eyereasoner/see cd see/cases ./test Is that working? — Reply to this email directly, view it on GitHub <#577 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AFNKSEWRBSLP3Z2BNKZCSXLZPX445AVCNFSM6AAAAABL4QS5TCVHI2DSMVQWIX3LMV43URDJONRXK43TNFXW4Q3PNVWWK3TUHMYTAMRTGQ2TIOA> . You are receiving this because you commented.Message ID: ***@***.***>

[infradig]

Yes it works.

…

On Sun, Aug 4, 2024 at 8:11 PM Jos De Roo ***@***.***> wrote: Install and test is now simplified to git clone https://github.com/eyereasoner/see cd see/cases ./test Is that working? — Reply to this email directly, view it on GitHub <#577 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AFNKSEWRBSLP3Z2BNKZCSXLZPX445AVCNFSM6AAAAABL4QS5TCVHI2DSMVQWIX3LMV43URDJONRXK43TNFXW4Q3PNVWWK3TUHMYTAMRTGQ2TIOA> . You are receiving this because you commented.Message ID: ***@***.***>