Summary Chapter/Koch Method #44
Description
I know you touched on this in a video, I think it would be helpful to have a chapter on legacy vs modern predicates, which legacy predicates we should take the time to understand, and when is the correct time to use them vs the newer ones. Since most prolog books are old, what to watch out for when reading them.
Is there ever a place for \+ or once? Or predicates which gather all solutions into a list?