Primary source: book.simply-logical.space/src/text/1_part_i/3.1.html
Verified locator: §3.1, selection rule, linear resolution for definite clauses, search trees and Prolog traversal. No personal byline exposed on inspected section.
Articles by others on the same topic
There are currently no matching articles.