Extended Example (2)


Rule asserting that if a map:Location is the sameLocation as another location, then it has the same values for latitude and longitude:

 

Implies(
  Antecedent(map:Location(I-variable(maploc))
             sameLocation(I-variable(loc) I-variable(maploc))
	     latitude(I-variable(loc) I-variable(lat))
	     longitude(I-variable(loc) I-variable(lon)))
  Consequent(map:latitude(I-variable(maploc) I-variable(lat))
             map:longitude(I-variable(maploc) I-variable(lon))))