Backtrackable external predicates in C/C++

From: Eddie <>
Date: Sun 05 Oct 2003 07:22:45 PM GMT
Message-ID: <000001c38b76$17a02980$b54586c3@eddie>
I want to code a backtrackable (non-deterministic) external predicate in
(for example member(X,List)).
Although this was allowed in previous versions of eclipse (surely in
nothing is mentioned in the manual of version 5.5

In previous versions backtrackable predicates where declared with
In eclipse 5.5 the predicate b_external is mentioned as obsolete.

Can someone code a backtrackable external predicate in eclipse 5.5?
Received on Sun Oct 05 21:20:35 2003

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