A Linear Logic Prover based on llprover by Naoyuki Tamura that works under SWI Prolog.