Malachi, Yonathan; Manna, Zohar and Waldinger, Richard "TABLOG: The deductive tableau programming language" Stanford university Computer science department. Report STAN-CS-84-1012

Languages mentioned

• TABLOG {1984} The deductive table programming language