Path: ...!eternal-september.org!feeder2.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: Julio Di Egidio Newsgroups: comp.lang.prolog Subject: Re: Waste of EU money / bread and butter of statistics (Was: failure of formal verification [software.imdea.org]) Date: Wed, 6 Nov 2024 10:43:26 +0100 Organization: A noiseless patient Spider Lines: 14 Message-ID: References: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Wed, 06 Nov 2024 10:43:27 +0100 (CET) Injection-Info: dont-email.me; posting-host="43a30352d6965cf427a2546b53acec2a"; logging-data="2166243"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18gZsL7Mci+rgNMu+580FaINAp2KSlPdUI=" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:6ZF4IhfRTPg4pV8KQ+5GLsF0xEk= In-Reply-To: Content-Language: en-GB Bytes: 1487 On 06/11/2024 09:51, Mild Shock wrote: > What the fuck does this mean: The Nazi-retarded shithole is all but going to fix itself. > Why is change_arg/3 not common among Prolog systems. Only poisoned meatballs for the public. https://github.com/SWI-Prolog/swipl-devel/issues/1328 -Julio