Re: Backtrackable external predicates in C/C++

From: Joachim Schimpf <j.schimpf_at_imperial.ac.uk>
Date: Tue 07 Oct 2003 03:44:30 PM GMT
Message-ID: <3F82DF5E.1050205@imperial.ac.uk> 
Eddie wrote:
> I want to code a backtrackable (non-deterministic) external predicate in
> C/C++ 
> (for example member(X,List)).
> Although this was allowed in previous versions of eclipse (surely in
> 3.5.2), 
> nothing is mentioned in the manual of version 5.5
> 
> In previous versions backtrackable predicates where declared with
> b_external. 
> In eclipse 5.5 the predicate b_external is mentioned as obsolete.
> 
> Can someone code a backtrackable external predicate in eclipse 5.5?


For a discussion of this topic, please see

http://www.icparc.ic.ac.uk/eclipse/archive/eclipse-users/0197.html


-- 
   Joachim Schimpf              /             phone: +44 20 7594 8187
   IC-Parc                     /      mailto:J.Schimpf@imperial.ac.uk
   Imperial College London    /    http://www.icparc.ic.ac.uk/eclipse
Received on Tue Oct 07 16:48:33 2003

This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:07:26 PM GMT GMT