Next: Node Data Abstraction: Implementations Up: No Title Previous: Node Data Abstraction: Operations

Abstract Predicate Examples

node_new_state(S,N) :-
 node_new(N),
 node_state_of(N,S).

node_new_parent(P,N) :-
 node_new(N),
 node_parent_of(N,P).

node_new_state_parent(S,P,N) :-
 node_new(N),
 node_parent_of(N,P),
 node_state_of(N,S).

Mike Rosner
Fri Mar 5 16:50:53 MET 1999