Refined doc.
projectionFromGoal()
Now java-implemented count/2, instead of prolog-implemented countall/2
Testing count/2
Implementation and test of once/1 (in Prolog, no added value to do it in Java since the cut will stop generation).
Fix
exists/1 now in CoreLibrary.
Watch out: contrary to once/1, will NOT bind any variables!
Comments