Attachment 'base2.pl'
Download 1 /* exemple avec les r�gles
2 r1: quadrup�de & mammif�re & avec_poils & ongles_r�tractiles -> chat
3 r2: bip�de & ovipare & cr�te -> coq
4 r3: bip�de & sans_plume_ni_poils -> homme
5 r4: poss�de_mamelles -> mammif�re
6 r5: pond_des_oeufs -> ovipare
7 r6: bip�de & mammif�re & avec_poils -> singe
8 r7: quadrup�de & mammif�re & avec_poils & sabots -> cheval
9 r8: quadrup�de & mammif�re & sans_plumes_ni_poils -> porc
10 r9: quadrup�de & mammif�re & avec_poils & ongles_non_r�tractiles -> chien
11
12 */
13 :-dynamic(fait/5).
14 fait(chat, [r1], [], absent, []).
15 fait(coq, [r2], [], absent, []).
16 fait(homme, [r3], [], absent, []).
17 fait(singe, [r6], [], absent, []).
18 fait(cheval, [r7], [], absent, []).
19 fait(porc, [r8], [], absent, []).
20 fait(chien, [r9], [], absent, []).
21 fait(sabots, [r7], [], absent, []).
22 fait(quadrupede, [r1, r6, r7, r8, r9], [], absent, []).
23 fait(bipede, [r2, r3, r6], [], absent, []).
24 fait(crete, [r2], [], absent, []).
25 fait(mammifere, [r1, r6, r7, r8, r9], [r4], absent, []).
26 fait(possede_mamelles, [r4], [], absent, []).
27 fait(ovipare, [r2], [r5], absent, []).
28 fait(pond_des_oeufs, [r5], [], absent, []).
29 fait(avec_poils, [r1, r6, r7, r9], [], absent, []).
30 fait(sans_plumes_ni_poils, [r3, r8], [], absent, []).
31 fait(ongles_retractiles, [r1], [], absent, []).
32 fait(ongles_non_retractiles, [r1], [], absent, []).
33
34 demandable(sabots, 'L''animal possede t-il des sabots ? ', [vrai, faux, nsp]).
35 demandable(quadrupede, 'L''animal est-il un quadrupede ? ', [vrai, faux, nsp]).
36 demandable(bipede, 'L''animal est-il bipede ? ', [vrai, faux, nsp]).
37 demandable(crete, 'L''animal a-t-il une crete ? ', [vrai, faux, nsp]).
38 demandable(possede_mamelles, 'L''animal possede t-il des mamelles ? ', [vrai, faux, nsp]).
39 demandable(pond_des_oeufs, 'L''animal pond il des oeufs ? ', [vrai, faux, nsp]).
40 demandable(avec_poils, 'L''animal a des poils ? ', [vrai, faux, nsp]).
41 demandable(sans_plumes_ni_poils, 'L''animal n''a ni plumes, ni poils ? ', [vrai, faux, nsp]).
42 demandable(ongles_retractiles, 'L''animal a-t-il des ongles retractiles ? ', [vrai, faux, nsp]).
43 demandable(ongles_non_retractiles, 'L''animal a-t-il des ongles non retractiles ? ', [vrai, faux, nsp]).
44
45
46
47 :-dynamic(regle/4).
48 regle(r1, [quadrupede, mammifere, avec_poils, ongles_retractiles], [chat], non).
49 regle(r2, [bipede, ovipare, crete],[coq], non).
50 regle(r3, [bipede, sans_plumes_ni_poils], [homme], non).
51 regle(r4, [possede_mamelles], [mammifere], non).
52 regle(r5, [pond_des_oeufs], [ovipare], non).
53 regle(r6, [bipede, mammifere, avec_poils], [singe], non).
54 regle(r7, [quadrupede, mammifere, avec_poils, sabots], [cheval], non).
55 regle(r8, [quadrupede, mammifere, sans_plumes_ni_poils], [porc], non).
56 regle(r9, [quadrupede, mammifere, avec_poils, ongles_non_retractiles], [chien], non).
Attached Files
To refer to attachments on a page, use attachment:filename, as shown below in the list of files. Do NOT use the URL of the [get] link, since this is subject to change and can break easily.- [get | view] (2014-02-19 20:37:52, 6821.9 KB) [[attachment:ASP1.pdf]]
- [get | view] (2014-02-19 20:40:35, 15244.5 KB) [[attachment:ASP_fin.pdf]]
- [get | view] (2014-01-30 06:10:01, 5494.8 KB) [[attachment:CLIPS.pdf]]
- [get | view] (2014-02-07 18:26:18, 6258.3 KB) [[attachment:ModelRaisonnement.pdf]]
- [get | view] (2014-01-30 06:12:52, 12888.5 KB) [[attachment:RETE.pdf]]
- [get | view] (2014-04-05 04:52:48, 20016.3 KB) [[attachment:RaPC.pdf]]
- [get | view] (2014-02-07 18:26:37, 5059.6 KB) [[attachment:RaisonnementNonMonotone.pdf]]
- [get | view] (2014-01-24 07:56:33, 957.4 KB) [[attachment:ResPbs.pdf]]
- [get | view] (2014-03-12 16:40:37, 2.8 KB) [[attachment:STRIPS_druide.pl]]
- [get | view] (2014-01-24 08:28:42, 10777.8 KB) [[attachment:SysProdMIA1.pdf]]
- [get | view] (2014-01-20 16:33:54, 24.7 KB) [[attachment:UPMCp.jpg]]
- [get | view] (2014-01-30 06:57:09, 0.8 KB) [[attachment:aristote.clp]]
- [get | view] (2014-01-24 09:44:07, 0.9 KB) [[attachment:base1.pl]]
- [get | view] (2014-01-24 09:44:26, 2.8 KB) [[attachment:base2.pl]]
- [get | view] (2014-01-30 06:07:39, 2.6 KB) [[attachment:base2plus.pl]]
- [get | view] (2014-03-28 20:59:38, 1.0 KB) [[attachment:blocs.sm]]
- [get | view] (2014-03-29 16:49:03, 1.0 KB) [[attachment:blocsASP.sm]]
- [get | view] (2014-01-30 06:57:24, 1.8 KB) [[attachment:copernic.clp]]
- [get | view] (2014-01-30 06:57:48, 2.0 KB) [[attachment:galilee.clp]]
- [get | view] (2014-01-24 07:51:58, 2099.8 KB) [[attachment:introduction.pdf]]
- [get | view] (2014-03-12 12:57:56, 3426.8 KB) [[attachment:jeux.pdf]]
- [get | view] (2014-01-24 09:43:52, 4.6 KB) [[attachment:moteur0.pl]]
- [get | view] (2014-01-30 06:07:14, 6.8 KB) [[attachment:moteur0plus.pl]]
- [get | view] (2014-01-30 06:10:31, 3.0 KB) [[attachment:nombres.clp]]
- [get | view] (2014-03-28 20:52:21, 2965.7 KB) [[attachment:planificationAction.pdf]]
- [get | view] (2014-03-12 16:36:02, 23015.4 KB) [[attachment:planification_1.pdf]]
- [get | view] (2014-03-28 20:38:14, 9302.0 KB) [[attachment:planification_fin.pdf]]
- [get | view] (2014-03-28 21:03:12, 11612.6 KB) [[attachment:raisonnementQualitatif.pdf]]
- [get | view] (2014-03-12 16:38:07, 2.4 KB) [[attachment:singe.pl]]
- [get | view] (2014-03-28 20:39:16, 3.6 KB) [[attachment:situation1.pl]]
- [get | view] (2014-03-28 20:39:38, 3.6 KB) [[attachment:situation2.pl]]
- [get | view] (2014-03-12 16:36:36, 2.9 KB) [[attachment:strips1.pl]]
- [get | view] (2014-03-12 16:36:52, 3.0 KB) [[attachment:strips2.pl]]
- [get | view] (2014-03-12 16:37:10, 3.1 KB) [[attachment:strips3.pl]]
- [get | view] (2014-03-12 16:37:32, 3.2 KB) [[attachment:strips4.pl]]
You are not allowed to attach a file to this page.