| 
|
Quote: resolution combines substitution with truth-functional analysis; includes proof of completeness and discussion of efficient proof-procedures
Topic:
logic programming
Quotation Skeleton
Theorem-proving on the computer, using procedures based on … improving the efficiency and widening the range of … variables), and the process of truth-functional analysis of … process (called resolution), iterating which is vastly more … theory of resolution process is presented in the … completeness of the system is proved … [A direct implementation] is quite inefficient, and the paper concludes … [search principles] which are applicable to the design of efficient proof-procedures employing … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: logic programming (34 items)