Malachi, Yonathan; Manna, Zohar and Waldinger, Richard "TABLOG: The deductive tableau programming language"

[ACM] (1984) [ACM] Logic and Functional Programming, 1984  

Languages mentioned OBJ {1976} TABLOG {1984} The deductive table programming language