%A Yossi Lichtrenstein %T Algorithmic debugging of Flat Concurrent Prolog %R M.Sc. thesis %I Department of Computer Science, Weizmann Institute of Science %C Rehovot, Israel %D August 1987 %P 55 %A C. Mierowsky %T Design and implementation of Flat Concurrent Prolog %R M.Sc. thesis %I Department of Computer Science, Weizmann Institute of Science %C Rehovot, Israel %D November 1984 %A E. Yardeni %T A type system for logic programs %R M.Sc. thesis %I Department of Computer Science, Weizmann Institute of Science %C Rehovot, Israel %D 1987