property(all,_:ok). fact(0,'Clinton is president'). fact(1,'Clinton is happy'). fact(2,'Clinton is not happy').