Paulo Moura

Results 129 comments of 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.

> 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...