]> AND Private Git Repository - cours-maths-dis.git/blob - tpProlog/tp2/exo4.txt
Logo AND Algorithmique Numérique Distribuée

Private GIT Repository
modifs main et arithmétiques
[cours-maths-dis.git] / tpProlog / tp2 / exo4.txt
1 word : predicat à deux parametre. le second paramètre est un mot dont 
2 le type est donné en premier paramètre
3
4 sentence : une phrase composé 
5          1) d'un article
6          2) d'un nom commun
7          3) d'un verbe
8          4) d'un article 
9          5  d'un nom commun
10
11
12 a criminal eats a criminal
13 a criminal eats a 'big kahuna burger' 
14 a criminal eats every criminal
15 a criminal eats every 'big kahuna burger' 
16 a criminal likes a criminal
17 a criminal likes a 'big kahuna burger' 
18 a criminal likes every criminal
19 a criminal likes every 'big kahuna burger' 
20 a 'big kahuna burger' eats a criminal
21 a 'big kahuna burger' eats a 'big kahuna burger' 
22 a 'big kahuna burger' eats every criminal
23 a 'big kahuna burger' eats every 'big kahuna burger' 
24 a 'big kahuna burger' likes a criminal
25 a 'big kahuna burger' likes a 'big kahuna burger' 
26 a 'big kahuna burger' likes every criminal
27 a 'big kahuna burger' likes every 'big kahuna burger' 
28 every 'big kahuna burger' eats a criminal
29 every 'big kahuna burger' eats a 'big kahuna burger' 
30 every 'big kahuna burger' eats every criminal
31 every 'big kahuna burger' eats every 'big kahuna burger' 
32 every 'big kahuna burger' likes a criminal
33 every 'big kahuna burger' likes a 'big kahuna burger' 
34 every y'big kahuna burger' likes every criminal
35 every 'big kahuna burger' likes every 'big kahuna burger' 
36