{
BlackBoard ktable = overwrite ? (BlackBoard) Init.default_db.clone() : null;
// Clause Err=new Clause(new Const("error"),new Var());
try
{
Parser p = new Parser(sname, builtins);
applyParser(p, fname, ktable);
}
catch (Exception e)
{ // already catched by readClause
IO.errmes("unexpected error in streamToProg", e);