Re: [eclipse-clp-users] Copying domain and delayed goals

From: Joachim Schimpf <jschimpf_at_coninfer.com>
Date: Wed, 24 Apr 2013 21:04:47 +0100
On 24/04/2013 01:05, Sergii Dymchenko wrote:
> Hello Joachim,
>
> Thanks, that approach with undo query constraints using fail totally
> makes sense.
> I've just implemented it for my problem and for the problem it works
> 200 times faster than doing large set of constraints from scratch for
> every query.
>
> As far as I understand, 'report_answer' and 'report_no_answer' are
> required to do something extra-logical, like writeln or setting
> non-logical variable, right? (I've implemented it using non-logical
> variables.)

Correct.  I was a bit vague here because I didn't know how you
receive your queries, and what you wanted to do with the answers.
If you simply had a list of queries, and wanted to compute a list
of corresponding answers, you could probably use findall/3 (which
does the non-logical bits internally).


-- Joachim
Received on Wed Apr 24 2013 - 20:04:57 CEST

This archive was generated by hypermail 2.2.0 : Fri May 03 2013 - 18:24:43 CEST