Lecture 23: Imperative Logic Programming

Linear logic allows us to naturally model many domains and algorithms
that involve state and state transitions.  Facts may now be ephemeral,
whereas before they were always persistent.

    blocksworld.lob     blocks world/robot arm modeled with linear logic
    permute.lob         permute a list by decomposing and reconstructing
    permute-subset.lob  as above, but possibly drop some elements
    spanningtree.lob    compute a spanning tree for a graph