Automatic spatial layout planning system using a second-generation constraint logic programming language