clam2 A Prolog implementation of the proof planner Clam (in the clam2 development branch) and the associated theorem prover, oyster. Install/Build To build the system, follow the instructions in clam/README