toTheory

Generate complete Prolog theory with all facts.