:- module(facts,[fact/1, flag/0, fact/2]).

:- dynamic fact/1, flag/0.
:- dynamic fact/2.
