Access Restriction

Author Ibm, Michael Maher ♦ Maher, Michael J.
Source CiteSeerX
Content type Text
File Format PDF
Subject Domain (in DDC) Computer science, information & general works ♦ Data processing & computer science
Subject Keyword Single Rule ♦ Canonical Logic Program ♦ Definite Clause Logic Program ♦ Simple Proof
Abstract It has been conjectured [Blair] that every definite clause logic program containing exactly one rule is canonical. This note presents a simple proof of this conjecture.
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research
Education Level UG and PG ♦ Career/Technical Study
Publisher Date 1988-01-01