Horn clauses and the fixpoint query hierarchy

• 1 January 1982
• proceedings article
• Published by Association for Computing Machinery (ACM)
• p. 158-163
• https://doi.org/10.1145/588111.588137

Abstract

Keywords

• PROLOG
• HORN CLAUSE
• LOGIC PROGRAM
• QUERY LANGUAGE
• RELATIONAL DATA BASE