register(new SetMaxAnswers());
register(new SetTrace());
register(new StackDump());
register(new Consult());
register(new Reconsult());
register(new ReconsultAgain());
// database
register(new AtKey());
register(new PredToString());
register(new DbToString());