Αποστολή με SMS: Structured systems analysis through Prolog /