 SLD-resolution in Simply Logical

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.