Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Julio Di Egidio <julio@diegidio.name>
Newsgroups: sci.logic
Subject: =?UTF-8?Q?Re=3A_can_=CE=BB-prolog_do_it=3F_=28Was=3A_How_to_prove_t?=
 =?UTF-8?Q?his_theorem_with_intuitionistic_natural_deduction=3F=29?=
Date: Wed, 27 Nov 2024 13:06:30 +0100
Organization: A noiseless patient Spider
Lines: 24
Message-ID: <vi7205$1n8$1@dont-email.me>
References: <vhgdq0$19evr$1@dont-email.me> <vhgemi$ca9e$1@solani.org>
 <vhgg23$19evr$2@dont-email.me> <vhhsit$d108$1@solani.org>
 <vhhuuf$1qic1$1@dont-email.me> <vhi5ch$d5rb$1@solani.org>
 <vhqemf$16mc2$1@dont-email.me> <vhqf2q$16mc2$2@dont-email.me>
 <lGqdneHEAMtEFtv6nZ2dnZfqn_WdnZ2d@giganews.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 27 Nov 2024 13:06:30 +0100 (CET)
Injection-Info: dont-email.me; posting-host="7d8de7bcf176d80ea4bce966f033d238";
	logging-data="1768"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/AibScpu3VgHWMWWaKW9fg7WcnkKJ8CvU="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:GM+xwkvsl71zt4DBG/5vh/OM5sE=
Content-Language: en-GB
In-Reply-To: <lGqdneHEAMtEFtv6nZ2dnZfqn_WdnZ2d@giganews.com>
Bytes: 2065

On 27/11/2024 04:02, Ross Finlayson wrote:
> On 11/22/2024 09:30 AM, Julio Di Egidio wrote:
>> On 22/11/2024 18:23, Julio Di Egidio wrote:
>>> On 19/11/2024 14:55, Mild Shock wrote:
>>> ```
>>> ?- solve_trace([p->q,r->s,p\/r]=>q\/s, Qs).
>>> ```
>>
>> Never mind, I have fixed it: just needed to get rid of those `once`!
>> Will update the Gist shortly.
>>
>> If you have any feedback already, it's very welcome: anyway, will keep
>> you guys posted.
> 
> Good afternoon, what is this about briefly?

Hi Ross, it's a little linear propositional solver at this stage, but 
with ambitions...

See here:
<https://gist.github.com/jp-diegidio/b6a7a071f9f81a469c493c4afcc5cb11>

Julio