Building Parsers with Java™

14.1. Building a Logic Language Environment

A logic language lets a user compose a logic program and pose queries against the program. Figure 14.1 shows the elements of a logic programming environment.

Figure 14.1. The elements of a logic programming environment. In a logic programming environment, the user supplies both the program and a query. The environment parses these and uses a logic engine to prove the query against the program.

Logic languages need an engine to do the work of determining which facts and rules can prove a user's query. The code for the engine used by Logikus lies within the package sjm.engine. You can write Java programs ...