Refrigerator in Prelog