⭐ 欢迎来到虫虫下载站! | 📦 资源下载 📁 资源专辑 ℹ️ 关于我们
⭐ 虫虫下载站

📄 rencontres.txt

📁 A usefull introduction of basic usage, and problems solving in prolog
💻 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 + -