Node Data Abstraction:
Implementations

• Implementation 1

  node_state_of( n(X,_),  X).
  node_parent_of( n(_,X),  X).
  
  node_new( n(_,_) ).

• Implementation 2

  node_state_of(   [node,X,_],  X).
  node_parent_of(  [node,_,X],  X).
  
  node_new( [_,_,_] ).