Chapter 13 explains logic programming, giving examples in the Logikus programming language. This chapter explains how to construct a Logikus parser.