DEAL

S. M. Deen, "DEAL: A Relational Language with Deductions, Functions and Recursions." Data and Knowledge Engineering, 1 (1985).