Hi,
Maybe its not clear to the Prolog community
what Problems string lists can create, and what
potential solutions exists. This complete
unawareness, leads to funny results:
?- test(X), X = [A|_].
X: abc, A: _13 (3.6ms)
?- test(X), X == [a,b,c].
No results
So what is going on? Any clues?
Basically entering the rabit hole that Atom
type CharList requires all code places that use
CONS Cells to have scrutinized and possibly changed .
A rabit hole that lets Scryer Prolog already
suffer as Markus Triska has expressed.
Bye
Sysop: | DaiTengu |
---|---|
Location: | Appleton, WI |
Users: | 1,073 |
Nodes: | 10 (0 / 10) |
Uptime: | 216:33:21 |
Calls: | 13,783 |
Calls today: | 1 |
Files: | 186,987 |
D/L today: |
427 files (128M bytes) |
Messages: | 2,434,687 |