Building Parsers with Java™

Chapter 13. Logic Programming

This book aims to show that you can create computer languages that differ radically from Java. Toward that end, Chapter 14 shows how to create a parser for a logic language. However, this book does not assume that you are familiar with logic programming. It is probably impossible to understand how to parse a logic programming language if you do not understand logic programming, so this chapter provides a rapid introduction to logic programming, using Logikus, a logic programming language developed for this book.

This chapter covers many of the same topics as Chapter 12, “Engines,” but does not assume that you have read that chapter. This repetition stems from the fact that Logikus is essentially an interface to the ...