prec: true book_plane(depature_place, date_leave, arrive_place, date_back) output:...
TRANSCRIPT
![Page 1: Prec: true book_plane(depature_place, date_leave, arrive_place, date_back) Output: success_plane_booking Eff: plane_booked= true book_plane Prec: true](https://reader036.vdocuments.us/reader036/viewer/2022082917/5513ffb6550346e2488b483a/html5/thumbnails/1.jpg)
Prec: true
book_plane(depature_place, date_leave, arrive_place, date_back)
Output: success_plane_booking
Eff: plane_booked= true
book_plane
Prec: true
book_plane(depature_place, date_leave, arrive_place, date_back)
Output: failure_plane_booking
Eff: plane_booked= false
![Page 2: Prec: true book_plane(depature_place, date_leave, arrive_place, date_back) Output: success_plane_booking Eff: plane_booked= true book_plane Prec: true](https://reader036.vdocuments.us/reader036/viewer/2022082917/5513ffb6550346e2488b483a/html5/thumbnails/2.jpg)
register_event
Prec: true
register_event (event_name, start_registr_date, end_registr_date)
Output: success_registration_notification
Eff: registered_event = true
Prec: true
register_event (event_name, start_registr_date, end_registr_date)
Output: failure_registration_notification
Eff: registered_event = false
![Page 3: Prec: true book_plane(depature_place, date_leave, arrive_place, date_back) Output: success_plane_booking Eff: plane_booked= true book_plane Prec: true](https://reader036.vdocuments.us/reader036/viewer/2022082917/5513ffb6550346e2488b483a/html5/thumbnails/3.jpg)
Prec: true
book_hotel(name_hotel, place_hotel, date_arrive, date_back)
Output: success_plane_booking
Eff: booked_plane = true
book_hotel
Prec: true
book_hotel(name_hotel, place_hotel, date_arrive, date_back)
Output: failure_plane_booking
Eff: booked_plane = false
![Page 4: Prec: true book_plane(depature_place, date_leave, arrive_place, date_back) Output: success_plane_booking Eff: plane_booked= true book_plane Prec: true](https://reader036.vdocuments.us/reader036/viewer/2022082917/5513ffb6550346e2488b483a/html5/thumbnails/4.jpg)
Prec: true
register_event (WWW04, 17 May 2004, 22 May 2004)
Output: success_registration_notification
Eff: registered_event = true
Prec: true
book_plane (Rome, date_leave, New York, date_back)
Output: success_plane_booking
Eff: booked_plane = true
Prec: true
book_hotel (hotel_name, New York, date_leave, date_back)
Output: success_hotel_booking
Eff: booked_hotel = true
Prec: true
register_event (WWW04, 17 May 2004, 22 May 2004)
Output: failure_notification
Eff: registered_event = false
Daniela’s eService
Prec: true
book_plane (Rome, date_leave, New York, date_back)
Output: failure_notification
Eff: booked_plane = false
Prec: true
book_hotel (hotel_name, New York, date_leave, date_back)
Output: failure_notification
Eff: booked_hotel = false
the parameters hotel_name, date_leave, date_back are instantiated with valid values
![Page 5: Prec: true book_plane(depature_place, date_leave, arrive_place, date_back) Output: success_plane_booking Eff: plane_booked= true book_plane Prec: true](https://reader036.vdocuments.us/reader036/viewer/2022082917/5513ffb6550346e2488b483a/html5/thumbnails/5.jpg)
Prec: true
register_event (Data Grid Net, 01 June 2004, 02 June 2004)
Output: success_registration_notification
Eff: registered_event = true
Prec: true
book_plane (Newark, 01 June 2004, Atlanta, 02 June 2004)
Output: success_plane_booking
Eff: booked_plane = true
Prec: true
book_hotel (Marriot, Atlanta, 01 June 2004, 02 June 2004)
Output: success_hotel_booking
Eff: booked_hotel = true
Prec: true
register_event (Data Grid Net, 01 June 2004, 02 June 2004)
Output: failure_notification
Eff: registered_event = false
Prec: true
book_plane (Newark, 01 June 2004, Atlanta, 02 June 2004)
Output: failure_notification
Eff: booked_plane = false
Prec: true
book_hotel (Marriot, Atlanta, 01 June 2004, 02 June 2004)
Output: failure_notification
Eff: booked_hotel = false
Rick’s eService
![Page 6: Prec: true book_plane(depature_place, date_leave, arrive_place, date_back) Output: success_plane_booking Eff: plane_booked= true book_plane Prec: true](https://reader036.vdocuments.us/reader036/viewer/2022082917/5513ffb6550346e2488b483a/html5/thumbnails/6.jpg)
Prec: true
book_hotel (hotel_name, Venice, 10 February 2004, 25 February 2004)
Output: success_hotel_booking
Eff: booked_hotel = true
Prec: true
book_hotel (hotel_name, Venice, 10 February 2004, 25 February 2004)
Output: failure_notification
Eff: booked_hotel = false
Prec: true
register_event (Venice Carnival, start_registr_date, end_registr_date)
Output: success_registration_notification
Eff: registered_event = true
Prec: true
register_event (Venice Carnival, start_registr_date, end_registr_date)
Output: failure_notification
Eff: registered_event = false
Maria’s eService
the parameters hotel_name, start_registr_date, end_registr_date are instantiated with valid values
Prec: true
book_plane (Madrid, 10 February 2004, 25 February 2004)
Output: success_plane_booking
Eff: booked_plane = true
Prec: true
book_plane (Madrid, 10 February 2004, 25 February 2004)
Output: failure_notification
Eff: booked_plane = false