rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

slight update to the BiMetaTrans README

Browse Source
This commit is contained in:
Mark Thom
2020-07-10 15:22:15 -06:00
parent 3195042c7d
commit 5fd78320dd
1 changed files with 8 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

15
src/examples/bimetatrans/README.md
View File

@@ -49,9 +49,9 @@ Loading BiMetaTrans from the Scryer REPL:
?- use_module('src/examples/bimetatrans/bimetatrans'). ?- use_module('src/examples/bimetatrans/bimetatrans').
``` ```
Using `write/1` to print the string to standard output (`write/1` is used Using `write/1` to print the string to standard output, capturing the
because it does not print strings with escape characters (ie. `\"` for `Prolog->RuleML` direction (`write/1` is used because it does not
double quote)): print strings with escape characters, ie., `\"` for double quote):
``` ```
?- parse_ruleml([people('Alex',male),people('Alex',female),people('Siri',female)], [], XML), ?- 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 strings to the next line but is never stored to the string by the
Prolog reader. Prolog reader.
Performing the inverse translation of the previous example, in Performing the inverse translation of the previous example
RuleML/Xml: (`RuleML->Prolog`), in RuleML/Xml:
``` ```
?- parse_ruleml(AssertItems, QueryItems, ?- parse_ruleml(AssertItems, QueryItems,
@@ -90,8 +90,9 @@ RuleML/Xml:
AssertItems = [people('Alex',male),people('Alex',female),people('Siri',female)], QueryItems = []. AssertItems = [people('Alex',male),people('Alex',female),people('Siri',female)], QueryItems = [].
``` ```
Non-empty AssertItems and QueryItems lists generated to RuleML/xmL Double quote characters within strings must be escaped as in
simultaneously: `\"`. 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), ?- parse_ruleml([a(item), b(item), c(item)], [(?- p, q, r(1), s(-2.222342432), t("attached")), (?- u, v('$V'(q)))], XML),