FIXED: beginning-of-clause detection with quoted head functors

* sweeprolog.el (sweeprolog-beginning-of-top-term): don't skip quoted
functors in clause heads.

diff --git a/sweeprolog.el b/sweeprolog.el
index 6bf7e5afb09b03a0de6702a51d85f7855d6eaee6..990c19fd41378679b25fad362e7d88fe688589c4 100644 (file)
--- a/sweeprolog.el
+++ b/sweeprolog.el
@@ -3073,17 +3073,20 @@ is the prefix argument."
             (setq times (1- times))
             (when-let ((safe-start (nth 8 (syntax-ppss))))
               (goto-char safe-start))
-            (re-search-backward (rx bol graph) nil t)
-            (let ((safe-start (or (nth 8 (syntax-ppss))
-                                  (nth 8 (syntax-ppss (1+ (point)))))))
-              (while (and safe-start (not (bobp)))
-                (goto-char safe-start)
-                (if (bobp)
-                    (setq safe-start nil)
-                  (backward-char)
-                  (re-search-backward (rx bol graph) nil t)
-                  (setq safe-start (or (nth 8 (syntax-ppss))
-                                       (nth 8 (syntax-ppss (1+ (point))))))))))
+            (unless (and (sweeprolog-at-beginning-of-top-term-p)
+                         (not (= p (point))))
+              (re-search-backward (rx bol graph) nil t)
+              (let ((safe-start (or (nth 8 (syntax-ppss))
+                                    (nth 8 (syntax-ppss (1+ (point)))))))
+                (while (and safe-start (not (bobp)))
+                  (goto-char safe-start)
+                  (if (or (bobp)
+                          (sweeprolog-at-beginning-of-top-term-p))
+                      (setq safe-start nil)
+                    (backward-char)
+                    (re-search-backward (rx bol graph) nil t)
+                    (setq safe-start (or (nth 8 (syntax-ppss))
+                                         (nth 8 (syntax-ppss (1+ (point)))))))))))
           (not (= p (point))))
       (sweeprolog-beginning-of-next-top-term (- times)))))