SLE Prolog