guitarvydas04/11/2023, 9:22 AM
. Then, I will need to figure out what
are ... Aside: I’m using Nils Holm’s “Prolog ... in 6 Slides” (Scheme code ported to CL (and JS)).
Nick Smith04/11/2023, 11:28 PM
guitarvydas04/12/2023, 3:38 AM
needs to be declared as a backward chaining predicate. I don’t know why
is different. I can tell that I don’t understand something here, and, I can’t evern formulate a coherent question.
Nick Smith04/13/2023, 8:18 AM
tuples can't be generated using forward chaining, because there are infinitely-many of them, right? So backward chaining is the only evaluation scheme that makes sense.
guitarvydas04/13/2023, 10:34 AM