Simple Logical Language Library