equalp(expression,expression) → boolean
The equalp subroutine checks whether two expressions are structurally identical.
Call: equalp(read('p(a,b)'),read('p(a,b)'))
Exit: true
Call: equalp(read('p(a,b)'),read('p(b,a)'))
Exit: false
Call: equalp(read('p(a,b)'),read('p(a,b,c)'))
Exit: false
Call: equalp(read('p(X,Y)'),read('p(a,b)'))
Exit: false
|