From 5fd78320dde69162bedd976388176d0b7d844368 Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Fri, 10 Jul 2020 15:22:15 -0600 Subject: [PATCH] slight update to the BiMetaTrans README --- src/examples/bimetatrans/README.md | 15 ++++++++------- 1 file changed, 8 insertions(+), 7 deletions(-) diff --git a/src/examples/bimetatrans/README.md b/src/examples/bimetatrans/README.md index d47e5e13..2f876545 100644 --- a/src/examples/bimetatrans/README.md +++ b/src/examples/bimetatrans/README.md @@ -49,9 +49,9 @@ Loading BiMetaTrans from the Scryer REPL: ?- use_module('src/examples/bimetatrans/bimetatrans'). ``` -Using `write/1` to print the string to standard output (`write/1` is used -because it does not print strings with escape characters (ie. `\"` for -double quote)): +Using `write/1` to print the string to standard output, capturing the +`Prolog->RuleML` direction (`write/1` is used because it does not +print strings with escape characters, ie., `\"` for double quote): ``` ?- parse_ruleml([people('Alex',male),people('Alex',female),people('Siri',female)], [], XML), @@ -65,8 +65,8 @@ BiMetaTrans is always Ruleml/xmL). `\` is used to continue ISO Prolog strings to the next line but is never stored to the string by the Prolog reader. -Performing the inverse translation of the previous example, in -RuleML/Xml: +Performing the inverse translation of the previous example +(`RuleML->Prolog`), in RuleML/Xml: ``` ?- parse_ruleml(AssertItems, QueryItems, @@ -90,8 +90,9 @@ RuleML/Xml: AssertItems = [people('Alex',male),people('Alex',female),people('Siri',female)], QueryItems = []. ``` -Non-empty AssertItems and QueryItems lists generated to RuleML/xmL -simultaneously: +Double quote characters within strings must be escaped as in +`\"`. Non-empty AssertItems and QueryItems lists generated to +RuleML/xmL simultaneously: ``` ?- parse_ruleml([a(item), b(item), c(item)], [(?- p, q, r(1), s(-2.222342432), t("attached")), (?- u, v('$V'(q)))], XML), -- 2.54.0