Applying Logical Knowledge
Exercise
- Create a directory flights
- Copy samples/singles/flight_data.pro to your flights
directory
Eclipse (Amzi! specific)
- Create a project flights in the flights directory
- Run as interpreted project
- List all predicates:
?- listing.
- List flight predicate:
?- listing(flight).
Command Line (Common to most Prologs)
- Open the command/console window
- Change to the flights directory
- Type:
>alis
- Consult the flight_data.pro file:
?- consult(flight_data).
- List the dynamic database:
?- listing.
- Quit the listener:
?- quit.
