UWN
``` Welcome to SWI-Prolog (threaded, 64 bits, version 8.5.4) SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software. Please run ?- license. for legal details. For online help and...
instead, it is taken as a alone. ``` ?- Char = '\a', char_code(Char, Code). Char = a, Code = 97, unexpected. parsing query: Char=a,char_code(Char,Code) ok! Char = '\a', Code =...
``` ?- setof(t,(L=2;L=1),L). uncaught exception: error(type_error(list,1),sort/2), unexpected. parsing query: setof(t,(L=2;L=1),L) ok! ``` [Same no longer in Scryer](https://github.com/mthom/scryer-prolog/issues/1553).
``` :- inexistant_include(xx). % unexpected, expected some error/warning 2 = 1. % unexpected, expected permission error ```
[#21](http://www.complang.tuwien.ac.at/ulrich/iso-prolog/number_chars#21): ``` ?- number_chars(N,[-,' ','1']). uncaught exception: error(syntax_error(parseable_number),number_chars/2), unexpected. ``` Expected: `N = -1`
[#1](http://www.complang.tuwien.ac.at/ulrich/iso-prolog/variable_names#1) (and [as quads](http://www.complang.tuwien.ac.at/ulrich/iso-prolog/variable_names_quad.pl)): ``` ?- write_term(T,[quoted(true),variable_names([N=T])]). _25true. % unexpected ``` Same with 3,7,8,9...
``` X is 3^3^4. uncaught exception: error(type_error(float,3),is/2), unexpected ``` BTW, is there some *simple* way/instruction to use Tau from a Linux-shell? I am not really accustomed with all these net-technologies.
?- X = s(1), X = s(X). false. ?- X = s(X), X = s(1). X = 1 ; Expected: While the second is STO (subject to occurs check) and...
(related to #5) Ask for [`p(X)`](http://tau-prolog.org/sandbox/cohxEPyF) and you will get a very odd answer: ``` X = - - - - - - - _5 = - - - -...
What is really nice is that you have chosen `current_prolog_flag(max_arity, unbounded)`! ``` ?- length(_,E), N is 2^E, writeq(N),nl, catch(functor(F,f,N), Error, true), nonv ar(Error). 1 2 4 8 16 32 64...