Path: ...!eternal-september.org!feeder2.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Aleks Grabowski <prolog@asap.mozmail.com>
Newsgroups: comp.lang.prolog
Subject: ANN: Common CLI to quickly check Prolog snippets across many engines
Date: Sun, 10 Nov 2024 13:13:24 -0000 (UTC)
Organization: A noiseless patient Spider
Lines: 28
Message-ID: <vgqbhk$cqjs$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 10 Nov 2024 14:13:24 +0100 (CET)
Injection-Info: dont-email.me; posting-host="3841c5544fcbd098ba4e48e0d9761c6d";
	logging-data="420476"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19mdI5uZRd+NKyFYutUNdek"
User-Agent: Pan/0.161 (Chasiv Yar; df69451)
Cancel-Lock: sha1:8UH70FH5/sVx8ClHVX0dYw1tYL8=
X-Face: tg_L~Po5HWaXan;3r=>>djwTt]k/D@vwr[{_jY62s#b^t|/_b4F|XVVs{D_:j(,^
 0d[30d
Bytes: 2155

Dear All,

Up until now it was quite time consuming to run your code snippets across 
different Prolog engines. Imagine you want to test some corner case of 
goal expansion, but you would really like to know how other Prologs 
behave, and what is a common practice if any. That's why I wrote a simple 
program that will act as a common CLI for different engines. So now you 
can just call:

    prologs -g my_goal my_test.pl

And this will run `my_goal,halt` with all installed Prologs, so in a less 
of a second you can see how your code is handled by other engines.

My first release v.0.1 is available at <https://github.com/hurufu/prolog-
all>, but currently the only supported way of using it is via AUR 
repository (https://aur.archlinux.org/packages/prologs) or a Docker 
container (https://github.com/hurufu/prolog-docker)

I hope my program will help at least a little bit with interoperability in 
the Prolog community.

P.S. I know that not a lot of people use Prolog and even less people use 
both Prolog and Arch Linux (and read Usenet), but I still hope that this 
project will be helpful for somebody else but me ;)

-- 
Alex