Urban domain: experimental results.

 
1. downtown(X1) =. true :- onthesea(X1) =. true,high_business_activity(X1) =. true.
2. residential(X1) =. true :- close_to(X2,X1) =. true,low_business_activity(X1) =. true,downtown(X2) =. true.
3. residential(X1) =. true :- close_to(X2,X1) =. true,low_business_activity(X1) =. true,residential(X2) =. true.