Views expressed in these public forums are not endorsed by
NCTM or The Math Forum.
Notice: We are no longer accepting new posts, but the forums will continue to be readable.
LOGICAL NEGATION working in PROLOG! <<Using Peano Arithmetic>>
Dec 5, 2012 2:39 AM