package prolog.implementation;

import prolog.model.*;

/**
 * defines a listener to be infomed about changes in the fact db
 */
public interface IFactDbListener
{
	/**
	 * invoked when fact db completely changes
	 */
	public void onFactDbChanged();

	/**
	 * invoked when a fact list was added to the fact db
	 */
	public void onFactListAdded( IFactList f );

	/**
	 * invoked when a simple relation was added
	 */
	public void onRelationAdded( IRelation relation, int name );
}