Path: ...!eternal-september.org!feeder2.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Julio Di Egidio <julio@diegidio.name>
Newsgroups: comp.lang.prolog
Subject: Re: Is it that worse with GNU Prolog? (Was: Affero General Public
 License (AGPL))
Date: Sun, 24 Nov 2024 11:54:07 +0100
Organization: A noiseless patient Spider
Lines: 9
Message-ID: <vhv0kf$26k7d$1@dont-email.me>
References: <vhtjdo$1mdu7$1@dont-email.me> <vhtojb$j823$1@solani.org>
 <vhtpbg$j8c6$1@solani.org> <vhtqmm$1mdu7$3@dont-email.me>
 <vhu6ai$jeq3$1@solani.org> <vhum2q$24tp6$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sun, 24 Nov 2024 11:54:08 +0100 (CET)
Injection-Info: dont-email.me; posting-host="1045a476187720f3feaedd26e00d99ce";
	logging-data="2314477"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/X7P+5GJYCSdFigE9bkZVc5vqSl6chxtY="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:HZa+CXYpop1oVRn2kFWqLGDy/XE=
In-Reply-To: <vhum2q$24tp6$1@dont-email.me>
Content-Language: en-GB
Bytes: 1366

On 24/11/2024 08:54, Julio Di Egidio wrote:

> Or maybe I'll just switch to Mizar...

Eh, I meant Mercury, not Mizar:
<https://github.com/Mercury-Language/mercury>

Julio