Hoang Le Tien <br/><br/>
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 .
 - Asian Institute of Technology.  Research studies project report ;  no. CA-85-09 .
<br/><br/> A Research Study submitted in partial fulfillment of the requirements for the degree of Master of Engineering, School of Engineering and Technology 
<br/><br/>Research Studies Project Report (M. Eng.) - Asian Institute of Technology, 1985 
<br/><br/> 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. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Algebraic logic