:- module(rules,
          [ rule/1
          ]).
:- use_module(oo).

rule(X) :-
    ::fact(X).
