Malachi, Yonathan "Nonclausal Logic Programming," PhD dissertation, Computer Science Department, Stanford University, 1985.

Languages mentioned

• TABLOG {1984} The deductive table programming language