tp1

swipl ?-
halt. .
help
help(halt).
X Y
femme(?Prenom)
aime(?Prenom1,?Prenom2)
jaloux(?Prenom1,?Prenom2)
consult help(consult).
.pl consult(<nom de fichier>).
chdir ls pwd
[<nom de fichier>].
exemple.pl pwd.
?- consult(exemple).
?- consult(exemple.pl).
?- [exemple].
?- [’exemple.pl’].
consult
consult

?- listing.
listing(femme).
_
employe(Nom,Age,Sexe,Entree,Entreprise,Echelon)
salaire(Entreprise,Echelon,Salaire)

=<
jeune_employe(?Nom,?Entreprise)
cadre(?Nom)
collegues(?Nom1,?Nom2)
gagne_plus_que(?Nom1,?Nom2)
Nom1 Nom2