1986 | ||
---|---|---|
4 | Yonathan Malachi, Zohar Manna, Richard J. Waldinger: TABLOG: A New Approach To Logic Programming. Logic Programming: Functions, Relations, and Equations 1986: 365-394 | |
3 | Yonathan Malachi, Zohar Manna, Richard J. Waldinger: Tablog: Functional and Relational Programming in One Framework. IEEE Software 3(1): 75-76 (1986) | |
2 | Yonathan Malachi: Nonclausal Logic Programming Stanford University, Department of Computer Science 1986 | |
1984 | ||
1 | Yonathan Malachi, Zohar Manna, Richard J. Waldinger: TABLOG: The Deductive-Tableau Programming Language. LISP and Functional Programming 1984: 323-330 |
1 | Zohar Manna | [1] [3] [4] |
2 | Richard J. Waldinger | [1] [3] [4] |