Paulo Moura
Paulo Moura
The top-level interpreter is a special case. There, I fully support expanding queries. The main reason is that you frequently see users and even Prolog implementers (!) completely oblivious of...
Logtalk supports Tau Prolog and provides a `csv` library. But the this [bug](https://github.com/tau-prolog/tau-prolog/issues/265) is in the way of using it as it causes a compilation error.
Correct. P.S. It's spelled "Logtalk", not "LogTalk".
> The following script creates a simple REPL that will allow you to execute goals as you do in your video. Maybe provide this simple script emulating a REPL as...
The following tests are based on the common de facto standard for the `succ/2` predicate: https://github.com/LogtalkDotOrg/logtalk3/blob/master/tests/prolog/predicates/succ_2/tests.lgt
Btw, this is a main issue preventing using the new Logtalk portable [`packs`](https://github.com/LogtalkDotOrg/logtalk3/discussions/118) tool with Ciao.
> Btw, this is a main issue preventing using the new Logtalk portable [`packs`](https://github.com/LogtalkDotOrg/logtalk3/discussions/118) tool with Ciao. Pushed a workaround today: https://github.com/LogtalkDotOrg/logtalk3/commit/51781ba996a59c5589ec8e247396fc3c90027edd It allows using the `packs` tool with the...
There are certainly common elements not only between these pack systems but with pack systems in general for other languages. Logtalk's [`packs`](https://logtalk.org/manuals/devtools/packs.html) tool was designed to take into account industry...
Thanks for the links. I understand the motivation for all the features in Ciao's packs tool. Notably, being able to download and build source packages in foreign languages (SWI-Prolog packs...
Yesterday, I created a [`setup-ciao-prolog`](https://github.com/logtalk-actions/setup-ciao-prolog) GitHub action. Together with a [compliance testing workflow](https://github.com/logtalk-actions/workflows), it's now possible and easy to create a setup for this repo where Logtalk's standards compliance test...