02687nas|a2200469 i 4500 20260817162107.0 241198s1985 th uzm rtt 00| a1eng d .b10068983 AIT RSPR no. CA-85-09 Hoang Le Tien An algebraic approach to the unification problem of logic programming Bangkok : Asian Institute of Technology, 1985 42 p. Research studies project report ; no. CA-85-09 A Research Study submitted in partial fulfillment of the requirements for the degree of Master of Engineering, School of Engineering and Technology Research Studies Project Report (M. Eng.) - Asian Institute of Technology, 1985 This study formulates the unification problem of logic programming as an algebraic problem in which the minimal solution has to be found to satisfy a system of equations with variables ranging over a power set . Conditions for the solution to exist are examined and a procedure to obtain it is developed. Algebraic logic Vila s Wuwongse, Chairpeson Huynh, Ngoc Phien, Examination Committee Sadananda, Ramakoti, Examination Committee The Government of Australia, Scholarship Donor Asian Institute of Technology. Research studies project report ; no. CA-85-09 Full-Text http://203.159.5.9/ait-thesis/detail.php?q=B19825 .b10068983 mnait y 240409 2 951012 m a y 3 mnait mnait mnarc mnarc mnarc 20 40 21 Barcode : 30050003120432 CREATED : 1995-10-13 RECORD # : i10066615 LPATRON : 0 LCHKIN : - # RENEWALS : 0 # OVERDUE : 0 IUSE3 : 0 TOT CHKOUT : 0 TOT RENEW : 0 Barcode : 30050003120424 CREATED : 1995-10-13 RECORD # : i10066627 LPATRON : 0 LCHKIN : - # RENEWALS : 0 # OVERDUE : 0 IUSE3 : 0 TOT CHKOUT : 0 TOT RENEW : 0 Barcode : 30050160005186 CREATED : 2016-03-24 RECORD # : i12908733 LPATRON : 0 LCHKIN : - # RENEWALS : 0 # OVERDUE : 0 IUSE3 : 0 TOT CHKOUT : 0 TOT RENEW : 0 Barcode : 30050120931026 CREATED : 2019-11-29 RECORD # : i13235291 LPATRON : 0 LCHKIN : - # RENEWALS : 0 # OVERDUE : 0 IUSE3 : 0 TOT CHKOUT : 0 TOT RENEW : 0 Barcode : 30050120930945 CREATED : 2019-11-29 RECORD # : i13235345 LPATRON : 0 LCHKIN : - # RENEWALS : 0 # OVERDUE : 0 IUSE3 : 0 TOT CHKOUT : 0 TOT RENEW : 0 3837 3837 0 0 0 0 MAIN MAIN mnait 2026-08-17 10.00 0 AIT RSPR no. CA-85-09 30050003120432 2026-08-17 16:21:07 1 2026-08-17 20 0 0 0 0 MAIN MAIN mnait 2026-08-17 10.00 0 AIT RSPR no. CA-85-09 30050003120424 2026-08-17 16:21:07 2 2026-08-17 20 0 0 0 0 MAIN MAIN mnarc 2026-08-17 0 AIT RSPR no. CA-85-09 30050160005186 2026-08-17 16:21:07 2026-08-17 40 0 0 0 0 MAIN MAIN mnarc 2026-08-17 0 AIT RSPR no. CA-85-09 30050120931026 2026-08-17 16:21:07 3 2026-08-17 21 0 0 0 0 MAIN MAIN mnarc 2026-08-17 0 AIT RSPR no. CA-85-09 30050120930945 2026-08-17 16:21:07 4 2026-08-17 21