- conso a d pprocedure
Goal that unifies two logic variables a and d, representing the car and cdr of a pair, with the logic variable representing the pair p.
Goal that unifies two logic variables a and d, representing the car and cdr of a pair, with the logic variable representing the pair p.