📄 rencontres.txt
字号:
% Programmation Multi-Styles : approche relationnelle (Alain Lucci IUT de Valence)
%----------------------------------------------------------------------------------
/*---------------------------*/
/* base agence de rencontres */
/*---------------------------*/
/* homme( pseudo , taille , type_cheveux , type_age ) */
/*-----------------------------------------------------*/
homme(paul,grande,brun,mur).
homme(pierre,moyenne,blond,jeune).
homme(jean,petite,brun,mur).
/* femme( pseudo , taille , type_cheveux , type_age ) */
/*-----------------------------------------------------*/
femme(marie,moyenne,blond,moyen).
femme(michele,petite,blond,jeune).
femme(aline,petite,brun,mur).
/* gouts( pseudo , type_musique , type_lecture , sport ) */
/*-------------------------------------------------------*/
gouts(paul,classique,aventure,natation).
gouts(pierre,pop,science-fiction,tennis).
gouts(jean,jazz,policier,tennis).
gouts(marie,m,aventure,natation).
gouts(michele,pop,science-fiction,S) :- dif(S,jogging).
gouts(aline,classique,aventure,natation).
/* recherche( pseudo , taille, type_cheveux, type_age ) */
/*------------------------------------------------------*/
recherche(paul,grande,roux,jeune).
recherche(pierre,T,blond,jeune) :- dif(T,grande).
recherche(jean,petite,blonde,moyen).
recherche(marie,grande,brun,moyen).
recherche(michele,moyenne,blond,jeune).
recherche(aline,moyenne,brun,mur).
/* utilitaires */
/*-------------*/
dif(X,Y):- X \==Y.
/*--------------------------------------------------------------*/
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -