Markus Triska

> It seems like `,` is special syntax in functional notation like `a(b,c)` and in list expressions like `[a,b,c]` Yes exactly. `','` is heavily overloaded in Prolog, it is used...

`false/0` is the identity element of disjunction (`(;)/2`), so an answer such as `a ; b.` is semantically equivalent to `a ; b ; false.` The key information we get...

> And these are definitely semantically inequivalent! No, these are not equivalent: `true` means that there are **no further constraints on the solution** (in your example, it would mean: The...

> reimplement the parser in Prolog I think this would also be an **excellent** idea: It would provide a conforming parser for Prolog that can be freely used also by...

@aarroyoc: Can you use the newly available `library(process)` for this? For instance, to spawn additional Scryer processes?

Maybe these parameters can be specified, as for `make -j 4` for example?

One CI test failed with: Ign:10 http://security.ubuntu.com/ubuntu jammy-updates/main amd64 libc6-dbg amd64 2.35-0ubuntu3.7 Err:10 mirror+file:/etc/apt/apt-mirrors.txt jammy-updates/main amd64 libc6-dbg amd64 2.35-0ubuntu3.7 404 Not Found [IP: 52.252.75.106 80] Fetched 19.0 MB in 1s...

I get the same problems when trying to compile `rebis-dev` on Ubuntu 23.10, which previously worked. The CI tests managed to compile the latest `rebis-dev`? How?

For the time being, we can do: $ git checkout -b rebis-dev-pr-2967 origin/rebis-dev_opt-in-offset-tbl-concurrency This uses the really latest developments, and **they compile successfully**!

This feature was also mentioned in the course of a discussion about environments: https://github.com/mthom/scryer-prolog/discussions/2435