Opps the example should read: occurences(V1, List, 1), occurences(V2, List, 1) The question remains the same! Sorry, Karen >Date: Wed, 2 Oct 2002 16:42:03 +0100 (BST) >From: Karen E Petrie <scomkep@zeus.hud.ac.uk> >Subject: [eclipse-users] occurences >To: eclipse-users@icparc.ic.ac.uk >MIME-Version: 1.0 >Content-MD5: buQbCrQeUIgn/Ddv80FMaA== > >Dear all, > >How does the occurrences predicate propagate? > >I want to have a List of N variables, and say that one of these N >variables takes a specific value V. So I could use: > >occurences(V, List, 1). > >I would need two of these relations to say that two different variables >appear in the list at least once. > >occurences(V1, List, 1), >occurences(V2, List, 2) > >So I am interested in knowing how this would propagate? Is there a better >way? > >Karen > >Received on Wed Oct 02 17:10:17 2002
This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:07:17 PM GMT GMT