First-order logic is sufficient for describing sequential programs. An architecture description in Prolog provides a simple introduction to the approach. The following are other examples of Prolog executable specifications covering several software requirements domains.

• Automated Teller Machine example
• Book Ordering Process
• Rate discount
• Digital logic
• Library checkout
• Medical registry
• Manufacturing system integration
• Meeting arrangement
• Paper submission
• Assembly of mechanical parts
• Car rental agency
• Product shipment
• Vending machine

The views and opinions expressed in this page are strictly those of the page author.
The contents of this page have not been reviewed or approved by the University of Minnesota.