Lecture 15
Resource Management

Sample code to illustrate linear logic programming
using the Lolli language.  See the Lolli distribution
at
    http://www.cs.cmu.edu/~fp/lolli/
for more information on syntax, etc.

dfs.pl -- depth-first search
perm.pl -- list permutation
queue.pl -- "imperative" queue