Restore experimental support for Lean Prolog