Manna and Waldinger 1971
Evolution of
TABLOG (2705)
The deductive table programming language