From 787fbe1bb61310e72d574e629d12e91b29ed7a0d Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Sun, 12 Apr 2020 22:27:53 -0600 Subject: [PATCH] use partial_string/1 in place of the removed string/1 in bimetatrans_ruleml.pl --- src/prolog/examples/bimetatrans_ruleml.pl | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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("") ; list_ws("") ) - ; { \+ string(Plex), + ; { \+ partial_string(Plex), acyclic_term(Plex) }, ( { functor(Plex, ('.'), 2) } -> { split_plex(Plex, PlexItems, RepoVar) }, -- 2.54.0