14.5 Next (Ad)

We have come to the end of Part III on general Prolog. The advanced material continues with Peirce's rules of inference.


Prev: 14.4 Meta-goals (Ad)
Up: 14 Prolog+CG (Ad)
Next: Part IV: Peirce's rules (Ad)