instant-glue Continuing development of Kokkinidis' Instant Glue prover (in Prolog) for multiplicative linear logic (*, -o).