Careful with subtract/3

3 posts were split to a new topic: Prolog PEP/RFC/…?