1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144
| :- use_module(library('http/thread_httpd')).
:- use_module(library('http/html_write')).
:- use_module(library('http/http_session')).
:- use_module(library('http/http_error')).
:- dynamic systeme/1.
:- dynamic panne/1.
:- dynamic procedure/1.
:- dynamic genere/1.
ref(reference1):-panne(panne1).
ref(reference2):-panne(panne2).
ref(reference3):-panne(panne3).
ref(reference4):-panne(panne4).
tool(tool1):-panne(panne1).
tool(tool2):-panne(panne2).
tool(tool3):-panne(panne3).
tool(tool4):-panne(panne4).
procedure(procedure1):-panne(panne1).
procedure(procedure2):-panne(panne2).
procedure(procedure3):-panne(panne3).
procedure(procedure4):-panne(panne4).
panne(panne1):-systeme(systeme1).
panne(panne2):-systeme(systeme1).
panne(panne3):-systeme(systeme2).
panne(panne4):-systeme(systeme2).
systeme(systeme1) :- genere(debut).
systeme(systeme2) :- genere(debut).
/*<html>
<title>Interrogation Prolog</title>
<head></head>
<body>
<?, (member(p=Sys,Get),Pan='';
member(ps=Pan, Get), Sys='';
assert(genere(debut)), Pan='', Sys=''),?>
<!-- Show the query -->
Facts :
<pre>
<?= Sys ?>
<?=Pan ?>
</pre>
<table><tr><td>
<?,forall(systeme(X),?>
<ul ><li>
<a href="accueil2.prolog?p=<?=X?>"><?=X?></a>
</li></ul>
<br><?),?>
</td>
<td>
<a name="accueil2.prolog?p=<?=X?>">
<?,retractall(systeme(_)), assert(systeme(Sys)), forall(panne(P),?>
<ul> <li> <a href="accueil2.prolog?ps=<?=P?>"> <?=P?> </a>
<br> </li> </ul> <?),?>
</a>
</td>
<td>
<a name="accueil2.prolog?ps=<?=P?>">
<table min-width="400px">
<tr><td>
<?,retractall(panne(_)), assert(panne(Pan)),
forall(procedure(Pro),?> <a href="accueil2.prolog?pro=<?=Pro?>">Procedure<?),?><br></a>
</td>
<td><?,retractall(panne(_)), assert(panne(Pan)),
forall(tool(Outil),?> <a href="accueil2.prolog?outil=<?=Outil?>">Outillage</a><br>
<?),?></td><td>
<?,retractall(panne(_)), assert(panne(Pan)),
forall(ref(Ref),?> <a href="accueil2.prolog?ref=<?=Ref?>">Reference</a><br>
<?),?></td></tr></table>
</a></td>
<td>
<a name="accueil2.prolog?pro=<?=Pro?>">
<label>
<?,retractall(panne(_)), assert(panne(Pan)),forall(procedure(Pro),?><?=Pro?><?),?>
</label>
<br>
</a>
<a name="accueil2.prolog?outil=<?=Outil?>">
<label>
<?,retractall(panne(_)), assert(panne(Pan)),forall(tool(Outil),?><?=Outil?><?),?>
</label>
<br>
</a>
<a name="accueil2.prolog?ref=<?=Ref?>">
<label>
<?,retractall(panne(_)), assert(panne(Pan)),forall(ref(Ref),?><?=Ref?><?),?>
</label>
<br>
</a>
</td>
</tr></table>
</body>
</html>*/ |
Partager