Yonathan Malachi

According to our database, Yonathan Malachi authored at least 4 papers between 1984 and 1986.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1986

Nonclausal Logic Programming.

Yonathan Malachi

PhD thesis, 1986

Tablog: Functional and Relational Programming in One Framework.

Yonathan Malachi, Zohar Manna, Richard J. Waldinger

IEEE Softw., 1986

TABLOG: A New Approach To Logic Programming.

Yonathan Malachi, Zohar Manna, Richard J. Waldinger

Proceedings of the Logic Programming: Functions, Relations, and Equations, 1986

1984

TABLOG: The Deductive-Tableau Programming Language.

Yonathan Malachi, Zohar Manna, Richard J. Waldinger

Proceedings of the 1984 ACM Conference on LISP and Functional Programming, 1984