αρχείο Email: Structured systems analysis through Prolog /