Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Julio Di Egidio <julio@diegidio.name>
Newsgroups: comp.lang.prolog
Subject: Re: '$MARK' and '$CUT' (Was: Can we do this with ancestral cuts or
 something?)
Date: Mon, 9 Dec 2024 15:38:05 +0100
Organization: A noiseless patient Spider
Lines: 21
Message-ID: <vj6vce$cigu$1@dont-email.me>
References: <vj6rmq$clr4$1@dont-email.me> <vj6u0o$l219$1@solani.org>
 <vj6uf8$l2as$1@solani.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Mon, 09 Dec 2024 15:38:06 +0100 (CET)
Injection-Info: dont-email.me; posting-host="7790aa2e18bcf5e7788978594a704952";
	logging-data="412190"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18fCCUh+d34I5aZmvcAiX2g+JWD4ybu3Qs="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:yYkkdbNWVfjqFN+L8IlmjQkAZVs=
Content-Language: en-GB
In-Reply-To: <vj6uf8$l2as$1@solani.org>
Bytes: 1700

On 09/12/2024 15:22, Mild Shock wrote:
> Or use Dogelog Player:
> 
> /* Dogelog Player */
> '$MARK'(CP) : Get a choicen point.
> '$CUT'(CP) : Cut to a choice point.
> 
> But I don't have soft cut. But you can do
> ancestral cut with it. SWI-Prolog has something
> similar burried somewhere, they are called:

<https://www.swi-prolog.org/pldoc/man?section=ancestral-cut>

Not per chance I have mentioned SWI-Prolog in the OP.  I have also 
mentioned that I cannot seem to do it with ancestral cuts (only).

But thanks for mentioning soft-cuts, I had completely forgotten about 
those...

-Julio