:- dynamic fact/1.


%fact(validRegNo(75)).
fact(validRegNo(76)).
fact(validRegNo(77)).
fact(accomInfo(cade,50)).
fact(hasAccom(_,cade,13)).

class(isabellePaperDvi,paperDvi).
class(isabellePaperPs,paperPs).
%class(lucas,confAgent).