:- module(ix,[	is_a/2,
		property/3,
		class/1,
		instance_of/2,
		instance_att/3,
		static_constraint/2,
		dynamic_constraint/2
		]).
:- dynamic(is_a/2).
:- dynamic(property/3).
:- dynamic(class/1).
:- dynamic(instance_of/2).
:- dynamic(instance_att/3).
:- dynamic(static_constraint/2).
:- dynamic(dynamic_constraint/2).


:- include(jess).			%JC-B's IX ontology + instances
:- include(ix_background).		%missing IX background knowledge
:- include(ix_extra_object).		%extra IX objects to make up the config. problem

