simplified again the interface; addition of facts/clauses/goals to the DB
does not return a seqence of results, but takes an optional handler for results