next up previous
Next: List Reverse Up: A COMPILER SYSTEM Previous: Resource Consumption

EXAMPLES

In this section, some example programs of LLP are described. Through these small programs, we would like to show programming techniques using resources, and usage of resources for constraint satisfaction problems.

Some other useful applications, such as a propositional theorem prover, a database query, and a natural language parser, are described in Hodas and Miller's paper [4]. In addition, current LLP distribution includes example programs, such as BIBD (Balanced Incomplete Design Block), pentomino puzzle solver, four color problem, etc.





Naoyuki Tamura
Thu May 8 20:39:01 JST 1997