Td corrigé TD2 : Aspects avancés de Prolog pdf

TD2 : Aspects avancés de Prolog

Traduire en français les commandes Prolog suivantes et dire quel est le résultat de leur exécution (en se basant sur l'énoncé de l'exercice 1 du TD précédent) :.




part of the document



n individu n’est pas son propre frère ou sa propre sœur.


Exercice 3 :
Une agence de voyages propose à ses clients des séjours de une ou deux semaines à Rome, Londres ou Tunis.
Le catalogue de l’agence contient, pour chaque destination, le prix du transport (indépendant de la durée) et le prix d’une semaine de séjour qui varie selon la destination et le niveau de confort choisi : hôtel, chambre chez l’habitant ou camping.

Ecrire l’ensemble des assertions (règles) qui décrivent ce catalogue (les prix sont laisses à votre appréciation).
Exprimer la relation voyage(V, D, H, S) qui s’interprète par : le voyage dans la ville V pendant D semaines avec l’hébergement H coûte S francs.
Compléter par voyage-economique(V, D, H, S, SMAX) qui exprime que le coût de ce voyage est inférieur à SMAX francs.
On utilisera les règles annexes :
multiplier(P, N, Q) :- val(mul(P, N), Q).
additonner(P, R, Q) :- val(add(P, R), Q).
inferieur(P, Q) :- val(inf(P, Q), 1).
interprétées respectivement par P*N=Q, P+R=Q, P