DSL.DatalogSourceval premises :
rel:'a ->
args:'b Forester_core.Datalog_expr.term list ->
('a, 'b) Forester_core.Datalog_expr.propval prop :
('a, 'b) Forester_core.Datalog_expr.prop list ->
('a, 'b) Forester_core.Datalog_expr.prop ->
('a, 'b) Forester_core.Datalog_expr.sequent