identify ground partial strings under (==) (#269)

diff --git a/src/prolog/machine/machine_state_impl.rs b/src/prolog/machine/machine_state_impl.rs
index 82c0c4f2daa224c6a6b7c7624715ada405d6c745..998f325250402cfceb90dec2ab41404c3a0774e2 100644 (file)
--- a/src/prolog/machine/machine_state_impl.rs
+++ b/src/prolog/machine/machine_state_impl.rs
@@ -2201,6 +2201,9 @@ impl MachineState {
                     if ar1 != ar2 || n1 != n2 {
                         return true;
                     },
+                (HeapCellValue::Addr(Addr::PStrLocation(..)),
+                 HeapCellValue::Addr(Addr::PStrLocation(..))) =>
+                    continue,
                 (HeapCellValue::Addr(Addr::Lis(_)), HeapCellValue::Addr(Addr::Lis(_))) =>
                     continue,
                 (HeapCellValue::Addr(Addr::Con(Constant::EmptyList)),