A PARALLEL LOGIC PROGRAMMING SYSTEM BASED ON BALINDA LISP : AN IMPLEMENTATION OF FLAT GUARDED HORN CLASUES - LI ZHENPENG (2020)
Master's