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

This commit is contained in:
Mark Thom
2020-04-12 22:27:53 -06:00
parent 7678858bab
commit 787fbe1bb6

View File

@@ -1,6 +1,7 @@
:- module(ruleml_xml_parser, [parse_ruleml/3]). :- module(ruleml_xml_parser, [parse_ruleml/3]).
:- use_module(library(dcgs)). :- use_module(library(dcgs)).
:- use_module(library(iso_ext)).
:- set_prolog_flag(double_quotes, chars). :- set_prolog_flag(double_quotes, chars).
@@ -498,7 +499,7 @@ ruleml_plex(Plex) -->
list_ws("</Plex>") list_ws("</Plex>")
; list_ws("<Plex/>") ; list_ws("<Plex/>")
) )
; { \+ string(Plex), ; { \+ partial_string(Plex),
acyclic_term(Plex) }, acyclic_term(Plex) },
( { functor(Plex, ('.'), 2) } -> ( { functor(Plex, ('.'), 2) } ->
{ split_plex(Plex, PlexItems, RepoVar) }, { split_plex(Plex, PlexItems, RepoVar) },