If anybody reading this branch of the discussion wants to investigate Logic Programming and Nondeterministic Computing further in the context of Racket/Scheme,

If anybody reading this branch of the discussion wants to investigate Logic Programming and Nondeterministic Computing further in the context of Racket/Scheme, it is discussed in §4.4 of SICP as a Scheme variant. A variant created by modifying the meta-circular evaluator -- as Ableson says, the real superpower of Lisp, and an excellent display of the usefulness of homoiconicity. 4.4 Logic Programming https://sarabander.github.io/sicp/html/4_002e4.xhtml#g_t4_002e4 https://sarabander.github.io/sicp/html/4_002e4.xhtml#g_t4_00... 4.3 Variations on a Scheme — Nondeterministic Computing https://sarabander.github.io/sicp/html/4_002e3.xhtml#g_t4_002e3 https://sarabander.github.io/sicp/html/4_002e3.xhtml#g_t4_00... 4.1 The Metacircular Evaluator https://sarabander.github.io/sicp/html/4_002e1.xhtml#g_t4_002e1 https://sarabander.github.io/sicp/html/4_002e1.xhtml#g_t4_00...