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.