ENHANCED: allow Roman numerals in strings

Example:

    ?- X = "ↁ".
       X = "ↁ".

This addresses #1790.

diff --git a/src/parser/macros.rs b/src/parser/macros.rs
index 27b106fc7a516a8137f7be5a96aae84cc1392306..3e6826c9355cf319bc42fac90136c7c0ec8b5f40 100644 (file)
--- a/src/parser/macros.rs
+++ b/src/parser/macros.rs
@@ -20,7 +20,7 @@ macro_rules! alpha_char {
 #[macro_export]
 macro_rules! alpha_numeric_char {
     ($c: expr) => {
-        $crate::alpha_char!($c) || $crate::decimal_digit_char!($c)
+        $crate::alpha_char!($c) || $c.is_numeric()
     };
 }