public Program()
{
_fileName = null;
_isModified = false;
Procedures = new ProgramProcedureList(this, new ObservableCollection <Procedure>());
_isOptimized = false;
Libraries = LibraryList.Create();
Libraries.Add(Library.Standard);
}
internal Procedure(ProgramProcedureList container, Functor functor)
{
if (container == null)
{
throw new ArgumentNullException("container");
}
if (functor == null)
{
throw new ArgumentNullException("functor");
}
Container = container;
Functor = functor;
Clauses = new ProcedureClauseList(this, new ObservableCollection <Clause>());
}