@j4n_bur53
But now the print of “full sweep” is not complete:
?- quine.
|: A => (B => A).
A=>B=>A
A=>B=>A
------------------------------
A = 1:
1=>B=>1
1
------------------------------
% 42 inferences, 0.000 CPU in 0.000 seconds (94% CPU, 225019 Lips)
to prove that the formula is neither a tautology nor an antilogy.
true.
I have corrected my error. It works smoothly now. Thanks !
I have have a look on this more carefully then.
The main problem with Github is first to learn the cryptic commands and after that to not forget them…
Yes, I do know the merits of Github. But I have to take time to learn it, and because I am not a programmer, I always forget Github basics… that’s irritating.
A last question : the result of time/1 is not printed on the webpage. It is caused by minigui.pl or by index.php (on this page, not still on Github … ).