8.14.3.4.
Otherwise Flowflog is correct.
?- op(1150,fy,'|').
error(permission_error(create,operator,'|'),op/3). % nice
?- op(0,fy,'|').
true. % nice
v4.9.8
v4.9.6
v4.9.3
v4.9.0
For the moment, I will stop testing Flowlog, since the most
elementary items are ignored. I will look
at s#1 only and
update other issues only after this has been addressed.
17: *
append/3 entirely disfunctional
?- append("ab","cd",L).
false, unexpected.
L = "abcd". % expected, but not found
?- append([],Ys,Zs).
Segmentation fault (core dumped)
Ys = Zs. % expected, but not found
?- append("a",Ys,Zs).
false, unexpected.
v4.8.0
v4.7.2
v4.7.1
v4.6.14
v4.6.13
v4.6.10
v4.6.8
v4.6.6
11: *
append/3
does not work
(Example from the Prolog prologue)
?- append([a], Ys, Zs).
Segmentation fault (core dumped), unexpected.
Zs = [a|Ys]. % expected, but not found
Ys = _1, Zs = [a|_2], unexpected.
(above with default. Does work with interp. With wam:)
?- append([a], Ys, Zs).
Ys = Xs, Zs = [a|Xs], unexpected.
Where does Xs come from?
v4.6.5
9: *
git clone problem with old system
ulrich@p0:/tmp$ git clone https://git.liminal.cafe/byakuren/flowlog.git
Cloning into 'flowlog'...
fatal: unable to access 'https://git.liminal.cafe/byakuren/flowlog.git/': gnutls_handshake() failed: Handshake failed
ulrich@p0:/tmp$ cat /etc/issue
Ubuntu 14.04.6 LTS \n \l
This does not happen with github. There I follow various systems like
Scryer, Trealla.
5: *
testing number_chars/2
Because of #3 and #4, I cannot Now I use
the current test table,
so I resorted to like the old one.
Please go through it. (Numbers are the same) Problems start
with
#9,
#17,
#21.
ulrich@gupu:/opt/gupu/flowlog$ ./flowlog
Flowlog (pthreads)
Type 'help.' for help, 'halt.' to exit.
?- number_chars(1,[_,[]]).
error(instantiation_error,/(number_chars,2)), unexpected.
type_error(character,[]). % expected, but not found
?- number_chars(N,['3',.]).
N = 3.0, unexpected.
syntax_error(...). % expected, but not found
?- number_chars(N,[-,' ','1']).
flowlog: fatal error (240): flowlog: unexpected token while parsing term
2: *
compilation on older system does not work
ulrich@p0:/opt/gupu/flowlog$ make
cc -O2 -Wall -Wextra -pthread flowlog.c -lm -o flowlog
flowlog.c:41:23: fatal error: stdatomic.h: No such file or directory
#include
^
compilation terminated.
make: *** [flowlog] Error 1
ulrich@p0:/opt/gupu/flowlog$ cc --version
cc (Ubuntu 4.8.4-2ubuntu1~14.04.4) 4.8.4
Copyright (C) 2013 Free Software Foundation, Inc.
This is free software; see the source for copying conditions. There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.