New! A manual for drawing Prolog search trees, with lots of examples, covering variable renaming, disjunction, cut, and negation, and the complete search trees of Learn Prolog Now: arxiv.org/abs/2001.08133
0
2
8
0
0