Hi everybody. I am feeling a bit puzzled. Part of my program involves asserting a bunch of things into the database. For example: assert(p(X)), or assert(p1(a)).
I noticed that every time I run my program without modifying the code, it gives different answers (for the same input). Are...
This site uses cookies to help personalise content, tailor your experience and to keep you logged in if you register.
By continuing to use this site, you are consenting to our use of cookies.