forked from RalfvonderReith/cas-ws16
-
Notifications
You must be signed in to change notification settings - Fork 0
/
test.P
98 lines (76 loc) · 2.15 KB
/
test.P
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
%akteur(ID,double-Kontostand)
akteur(a01,152.6).
akteur(a02,0.8).
akteur(a03,99999.9).
%ort(ID)
ort(hamburg).
ort(gestacht).
ort(berlin).
%strasse(ID-Start,ID-Ende,int-kosten)
strasse(hamburg,gestacht,100).
strasse(gestacht,hamburg,200).
strasse(gestacht,berlin,500).
%ereignis(ID-ort,ID-ort,int-neukosten,long-timestemp).
ereignis(hamburg,gestacht,500,6521890).
%ereignisgen(ID,aktivitätsrate)
ereignisgen(ergen01,50).
zustaendig(ergen01,hamburg).
zustaendig(ergen01,gestacht).
%auftragsgen(ID,aktivitätsrate).
auftragsgen(agen01,100).
zustaendig(agen01,berlin).
zustaendig(agen01,hamburg).
zustaendig(agen01,gestacht).
%tankstelle(ID, double kosten, int tankdauer)
tankstelle(aral01, 30.5,7).
tankstelle(shell01, 25.0,8).
%linkLocal(ID-ort,ID-localService)
linkLocal(hamburg,aral01).
linkLocal(gestacht,shell01).
%handelregister(ID)
handelsregister(hr1).
handelsregister(hr2).
linkLocal(hamburg,hr1).
linkLocal(hamburg,hr2).
linkLocal(berlin,hr1).
%schwarzesbrett(ID)
schwarzesbrett(sb01).
linkLocal(hamburg,sb01).
linkLocal(gestacht,sb01).
linkLocal(berlin,sb01).
%sbnachricht(ID-schwarzesbrett,text-content,ID-ersteller,long-timestemp)
sbnachricht(sb01,"content000",a01,54862150).
sbnachricht(sb01,"content001",a02,54862550).
sbnachricht(sb01,"content002",a01,44862150).
%umladebucht(ID)
umladebucht(bucht01).
linkLocal(gestacht,bucht01).
%boerse(ID)
boerse(bo001).
boerse(bo002).
linkLocal(hamburg,bo001).
linkLocal(hamburg,bo002).
linkLocal(berlin,bo001).
%lkw(ID,ID-akteur,ID-ort-POS,int-Kapazität)
lkw(lkw0001,a01,gestacht,10).
lkw(lkw0002,a01,hamburg,10).
lkw(lkw0003,a02,berlin,20).
%auftrag(ID,ID-ort-Start,ID-ort-Ende,double-Gewinn,int-menge)
auftrag(auf0001,hamburg,berlin,540.6,8).
%storedIn(ID-auftrag,ID-auftragHalter)
storedIn(auf0001,lkw0003).
auftrag(auf0002,berlin,hamburg,100.0,2).
storedIn(auf0002,bo001).
auftrag(auf0002,gestacht,berlin,10.7,4).
storedIn(auf0002,lkw0001).
%funk(ID)
funk(radioA).
linkLocal(hamburg,radioA).
linkLocal(gestacht,radioA).
%konsortium(ID,ID-akteur-besitzer).
konsortium(kons01,a01).
%eingetragen(ID-konsortium,ID-handelregister).
eingetragen(kons01,hr1).
teilnehmer(a01,kons01).
teilnehmer(a02,kons01).
teilnehmer(a03,kons01).