quote single dots only

diff --git a/src/prolog/heap_print.rs b/src/prolog/heap_print.rs
index c9cd42a5edab10dfa8438e01f72c47d5d545e970..a57be201cb354cd65c411572599c42f3b12969ce 100644 (file)
--- a/src/prolog/heap_print.rs
+++ b/src/prolog/heap_print.rs
@@ -442,7 +442,9 @@ fn non_quoted_token<Iter: Iterator<Item = char>>(mut iter: Iter) -> bool {
     if let Some(c) = iter.next() {
         if small_letter_char!(c) {
             iter.all(|c| alpha_numeric_char!(c))
-        } else if c != '.' && graphic_token_char!(c) {
+        } else if c == '.' {
+            iter.next().is_some()
+        } else if graphic_token_char!(c) {
             non_quoted_graphic_token(iter, c)
         } else if semicolon_char!(c) {
             iter.next().is_none()

diff --git a/src/prolog/toplevel.pl b/src/prolog/toplevel.pl
index e9057b0c0f6bdeb7f0afd09d9d6e0c5297d63e2b..27bf71f5ff2b44a00e354df0294915ef3d074ac5 100644 (file)
--- a/src/prolog/toplevel.pl
+++ b/src/prolog/toplevel.pl
@@ -123,7 +123,7 @@
     atom(Value),
     atom_chars(Value, ValueChars),
     '$list_last_item'(ValueChars, Char),
-    Char \== '.',
+    ValueChars \== ['.'],
     '$graphic_token_char'(Char).
 
 '$write_eqs_and_read_input'(B, VarList) :-