| Author | Hoang Le Tien |
| Call Number | AIT RSPR no. CA-85-09 |
| Subject(s) | Algebraic logic
|
| Note | A Research Study submitted in partial fulfillment of the requirements for the degree of Master of Engineering, School of Engineering and Technology |
| Publisher | Asian Institute of Technology |
| Abstract | 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. |
| Year | 1985 |
| Type | Research Study Project Report (RSPR) |
| School | School of Engineering and Technology (SET) |
| Department | Other Field of Studies (No Department) |
| Academic Program/FoS | Computer Application (CA) |
| Chairperson(s) | Vila s Wuwongse |
| Examination Committee(s) | Huynh Ngoc Phien ;Sadananda, Ramakoti |
| Scholarship Donor(s) | The Government of Australia |
| Degree | Research Studies Project Report (M. Eng.) - Asian Institute of Technology, 1985 |