rules.pro

与数据库连接

noncetemp(normaltemp):-mostate(headtemp,godown),mostate(coolcurrent,godown),mostate(hostcurrent,goup),lasttemp(lowtemp).
noncetemp(normaltemp):-mostate(headtemp,immove),mostate(coolcurrent,immove),mostate(hostcurrent,immove),lasttemp(normaltemp).
noncetemp(normaltemp):-mostate(headtemp,goup),mostate(coolcurrent,goup),mostate(hostcurrent,godown),lasttemp(nearhightemp).
noncetemp(nearhightemp):-mostate(headtemp,goup),mostate(coolcurrent,goup),mostate(hostcurrent,immove),lasttemp(normaltemp).
noncetemp(nearhightemp):-mostate(headtemp,godown),mostate(coolcurrent,godown),mostate(hostcurrent,immove),lasttemp(normaltemp).
noncetemp(lowtemp):-mostate(headtemp,goup),mostate(coolcurrent,goup),mostate(hostcurrent,godown),lasttemp(nearlowtemp).
noncetemp(hightemp):-mostate(headtemp,godown),mostate(coolcurrent,godown),mostate(hostcurrent,immove),lasttemp(nearhightemp).
noncetemp(hightemp):-mostate(headtemp,godown),mostate(coolcurrent,godown),mostate(hostcurrent,goup),lasttemp(nearhightemp).
noncetemp(lowtemp):-mostate(headtemp,goup),mostate(coolcurrent,goup),mostate(hostcurrent,immove),lasttemp(nearlowtemp).

givspeed(godown):-noncetemp(normaltemp),mostate(firetemp,goup).
givspeed(goup):-noncetemp(normaltemp),mostate(firetemp,godown).
givspeed(immove):-noncetemp(nearhightemp),mostate(firetemp,godown).
givspeed(immove):-noncetemp(nearlowtemp),mostate(firetemp,goup).
givspeed(godown):-noncetemp(nearlowtemp),mostate(firetemp,immove).
givspeed(immove):-noncetemp(normaltemp),mostate(firetemp,immove).