From: Mark Thom <markjordanthom@gmail.com>
Date: Mon, 13 Apr 2020 04:27:53 +0000 (-0600)
Subject: use partial_string/1 in place of the removed string/1 in bimetatrans_ruleml.pl
X-Git-Tag: v0.8.123~173
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=787fbe1bb61310e72d574e629d12e91b29ed7a0d;p=scryer-prolog.git

use partial_string/1 in place of the removed string/1 in bimetatrans_ruleml.pl
---

diff --git a/src/prolog/examples/bimetatrans_ruleml.pl b/src/prolog/examples/bimetatrans_ruleml.pl
index d33b5bd8..5ff1e207 100644
--- a/src/prolog/examples/bimetatrans_ruleml.pl
+++ b/src/prolog/examples/bimetatrans_ruleml.pl
@@ -1,6 +1,7 @@
 :- module(ruleml_xml_parser, [parse_ruleml/3]).
 
 :- use_module(library(dcgs)).
+:- use_module(library(iso_ext)).
 
 :- set_prolog_flag(double_quotes, chars).
 
@@ -498,7 +499,7 @@ ruleml_plex(Plex) -->
           list_ws("</Plex>")
        ;  list_ws("<Plex/>")
        )
-    ;  {  \+ string(Plex),
+    ;  {  \+ partial_string(Plex),
           acyclic_term(Plex) },
        (  {  functor(Plex, ('.'), 2) } ->
           {  split_plex(Plex, PlexItems, RepoVar) },