:- dynamic fact/1.


fact(location(cade,miami)).
fact(flight(edinburgh,miami,300)).
fact(hasTicket(_,4902)).
fact(registered(_,_,_)).

class(isabellePaperDvi,paperDvi).
class(isabellePaperPs,paperPs).