Re: Can we do this with ancestral cuts or something?

Liste des GroupesRevenir à cl prolog 
Sujet : Re: Can we do this with ancestral cuts or something?
De : julio (at) *nospam* diegidio.name (Julio Di Egidio)
Groupes : comp.lang.prolog
Date : 09. Dec 2024, 18:26:48
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vj798o$clr4$5@dont-email.me>
References : 1 2 3
User-Agent : Mozilla Thunderbird
On 09/12/2024 16:47, Julio Di Egidio wrote:

term rewriting also can do the trick and quite more simply so...
I take that back, too.  I cannot find a way out of ancestral cuts in the recursive case.  Some term rewriting could rather be useful *in conjunction* with that `scut`, since that as written messes up with the stack trace...  Anyway, that's another story.
-Julio

Date Sujet#  Auteur
9 Dec 24 * Can we do this with ancestral cuts or something?11Julio Di Egidio
9 Dec 24 `* Re: Can we do this with ancestral cuts or something?10Mild Shock
9 Dec 24  +* '$MARK' and '$CUT' (Was: Can we do this with ancestral cuts or something?)2Mild Shock
9 Dec 24  i`- Re: '$MARK' and '$CUT' (Was: Can we do this with ancestral cuts or something?)1Julio Di Egidio
9 Dec 24  `* Re: Can we do this with ancestral cuts or something?7Julio Di Egidio
9 Dec 24   +* Re: Can we do this with ancestral cuts or something?2Julio Di Egidio
9 Dec 24   i`- Re: Can we do this with ancestral cuts or something?1Julio Di Egidio
9 Dec 24   `* Re: Can we do this with ancestral cuts or something?4Julio Di Egidio
9 Dec 24    `* A Timeless Confluence [Term Rewriting] (Was: Can we do this with ancestral cuts or something?)3Mild Shock
9 Dec 24     `* Re: A Timeless Confluence [Term Rewriting] (Was: Can we do this with ancestral cuts or something?)2Mild Shock
9 Dec 24      `- Re: A Timeless Confluence [Term Rewriting] (Was: Can we do this with ancestral cuts or something?)1Mild Shock

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal