TD de programmation fonctionnelle et logique Corrigé du TD 9 ...

Corrigé du TD 9 : programmes Prolog et coupure. 1. Écrivez, sans utiliser la
primitive de division, un prédicat division(A,B,Q,R)o`u Q et R sont respectivement
.

Part of the document