%%% ========================================================================= %%% FLORID Example: INFORMATION INTEGRATION: %%% %%% Author: Wolfgang May %%% %%% mondial-make-dump.flp: dumping OM (FL and XML) %%% ========================================================================= %%% WORLD ?- sys.echo@("*** loading all facts ***"). ?- sys.load@("../Mondial-facts/mondial-oo-facts.flp"). ?- sys.load@("mondial-sig.flp"). D:date :- _:country[indep_date->D]. N:name :- _:country.ethnicgroups@(N). N:name :- _:country.religions@(N). N:name :- _:country.languages@(N). date::string. name::string. year::numeric. Y:year :- _:city.population@(Y). T:type :- _:organization..members@(T). type::string. "Mondial":doctype[system->"mondial-flat.dtd"]. ?- sys.strat.doIt. ?- sys.theOMAccess.export@("xml","../Mondial-XML/mondial-flat.xml","Mondial"). ?- sys.theOMAccess.export@("flogic","../Mondial-facts/mondial-frames.flp"). ?- sys.forgetIDB. %%% EUROPE ?- sys.echo@("*** loading europe facts ***"). ?- sys.load@("../Mondial-facts/mondial-europe-oo-facts.flp"). ?- sys.load@("mondial-sig.flp"). D:date :- _:country[indep_date->D]. N:name :- _:country.ethnicgroups@(N). N:name :- _:country.religions@(N). N:name :- _:country.languages@(N). date::string. name::string. year::numeric. Y:year :- _:city.population@(Y). T:type :- _:organization..members@(T). type::string. "Mondial":doctype[system->"mondial-flat.dtd"]. restriction[continent=>string]. x:restriction[continent->"europe"]. ?- sys.strat.doIt. ?- sys.theOMAccess.export@("xml","../Mondial-XML/mondial-europe-flat.xml","Mondial"). ?- sys.theOMAccess.export@("flogic","../Mondial-facts/mondial-europe-frames.flp").