tirtow / cs373s-project4 Goto Github PK

oodb(contract,[Person,Contract,Company]).

table(Person,[id,name]).
table(Contract,[id,value,pid:option Person,cid:option Company]).
table(Company,[id,name]).


oodb(h1,[State,Arrow]).

table(State,[id,name,accepting]).
table(Arrow,[id,label,ends:State,starts:option State]).


oodb(Logic,[Gate,inputPin,Wire]).

table(Gate,[id,name,outPortName,gateType]).
table(inputPin,[id,inPortName,f1:Gate]).
table(Wire,[id,name,outputEnd:Gate,inputEnd:inputPin]).


oodb(schools,[University,Campus,City,Building]).

table(University,[id]).
table(Campus,[id,belongsTo:University,isIn:City]).
table(City,[id]).
table(Building,[id,isOn:Campus]).