abdul@alberta.UUCP (Abdul Sattar) (11/19/87)
Following clause appears on page number 208 of ALGORITHMIC PROGRAM DEBUGGING by Ehud Y. Shapiro: forall(X,P,Y) <- setof(Y,X^P,S), forall1(S). Note: the symbol ^ is an arrow pointing upwards. Will somone explain me the meaning of this symbol? abdul@alberta.UUCP
abdul@alberta.UUCP (Abdul Sattar) (11/19/87)
Please do not take trouble to answer this question. I got it. Thanks.