AI SearchAn algebraic approach to the unification problem of logic programming
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 . - Asian Institute of Technology. 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
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 .
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