Added readme description.
Added initial solution (not working).
Added neighbor rule (not working - infinite recursion).
Added lives_left_to and lives_right_to rules (not working - infinite recursion).
Removed lives_left_to rule; lives_right_to rule represented in terms of neighbor rule.
Removed redundant neighbor terms.
Removed house order variables.
Removed unnecessary terms for attributes.
Created 'inhabits' rule for houses' order.
Created 'is_left_to' and 'is_right_to' rules for houses. 'lives_left_to' and 'lives_right_to' is now implemented in these terms.
Removed unnecessary 'person' terms. Added all possible permutations of attribute terms.
Added connditions on not equality for neighborhood and other attributes.