Title: An introduction to the use of logic programming in spatial analysis