:- dynamic fact/1.

class(isabellePaperDvi,paperDvi).
class(isabellePaperPs,paperPdf).
class(blah,hello).