- 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
- v4.8.0
- v4.7.2
- 16: *
Elementary read syntax still not supported
-
like s#28
(all these tables should be machine readable by anyone including LLMs)
- 15: *
No -0.0
-
ISO Prolog does not contain
-0.0 as a number distinct
from 0.0. Therefore, they must be identical and print identically.
?- 0.0 == -0.0.
true. % good
?- writeq(-0.0).
outputs("-0.0"), unexpected.
outputs("0.0"). % expected, but not found
- 14: *
number_chars/2 different to read-syntax
-
?- writeq(010).
10 true. % nice
?- number_chars(N,"010").
N = 8, unexpected.
?- number_chars(N,"08").
N = 8. % expected, but not found
syntax_error(...), unexpected.
- 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
(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.
- 6: *
writeq ignores operators
- Before improving
read-ing, consider writeq-ing. Such that
you always write valid syntax. So the first to address would be:
s#1,
s#13,
- s#27,
s#35,
- s#36
- 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.
Installation: