Markus Triska

@Mousaka: Thank you for sharing this, and for your interest! @aarroyoc: I hope you are OK with discussing these points in the issue tracker! The tracker works nicely because we...

I think a good approach keeps everything as pure as possible. For instance, here is a quick draft for today's puzzle: game(Ls0, I, N) :- length(Ls0, L), ht_new(A0), starting_numbers(Ls0, Ls1,...

To come back to the actual issue I filed here, let me be more explicit: load_data(Lines) :- read_file_to_string('day18/input.dat', String, []), string_chars(String, Chars), phrase(lines(Lines), Chars). can be written as: load_data(Lines) :-...

To make this work correctly in SWI-Prolog, I think you have to use a more recent version of `library(pio)`: http://www.complang.tuwien.ac.at/ulrich/Prolog-inedit/swi/pio.pl

A key attraction of tabling is that it *memoizes* logical consequences that have already been computed. This can be used to dramatically speed up computation time without changing the code...

Syntactically, Datalog is essentially the functor-free subset of pure Prolog. Semantically, Datalog and Prolog differ only in that they use different default execution strategies to evaluate programs. However, we can...

In Scryer Prolog, I currently also get: ?- List = [Alice, Bob, Carla, David], Alice*5-Bob*3+Carla*7-David*9 #

Thank you, this is certainly worth considering! Do you have any concrete use case in mind? In my experience, this need arises quite rarely. Maybe it would be even more...

OK! Please let's leave this issue open for now, and implement it when there is a clear need for it. One reason why I do not immediately add it is...

As a first step, I have added the current development version of CLP(Z) to the repository and will periodically synch it. Does this help?