Disclaimer: Dieser Thread wurde aus dem alten Forum importiert. Daher werden eventuell nicht alle Formatierungen richtig angezeigt. Der ursprüngliche Thread beginnt im zweiten Post dieses Threads.
Solution Presence Problem I and Bonus Challenge
Dear all,
the solution to the first presence problem is available here: https://swish.swi-prolog.org/p/Presence%20Problem%20I%20Solution%20Students.swinb
Two bugs were discovered during the tutorials in the implementation of the integers:
- The test queries yield one additional wrong result (“false”) when clicking “next”.
- The query “nat(p(p(s(zero)))).” (and similar ones) succeeds.
The first bug is very easily fixed, the second one is a bit harder. 20 bonus-bonus points to the first three people who can fix the bugs. Submissions to me via email please.
(Bonus-bonus points can be used to compensate for bonus points you missed, however they cannot be used to get above 100% of the bonus points.)
Good morning,
the first two people have found a solution to the bonus problem. So one chance remains.
All the bonus-bonus points have now been claimed. Good job! This was unusually fast, so I will try to make the next challenge a little bit harder ^^.