Structured Systems Analysis through Prolog