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

add bimetatrans README

Browse Source
This commit is contained in:
Mark Thom
2020-07-09 20:53:13 -06:00
parent 2a629fee37
commit b0234fa8b7
2 changed files with 220 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/examples/bimetatrans/bimetatrans.pl
View File

@@ -19,8 +19,8 @@
* all indentation stripped out. "Indented XML" contains indentation
* and newlines, and is usually formatted for human readers.
*
* parse_ruleml/3 is the sole public predicate of BiMetaTrans(RuleML,
* Prolog), a bidirectional translator capable of parsing well-formed
* parse_ruleml/3 is the sole public predicate of BiMetaTrans(Prolog,
* RuleML), a bidirectional translator capable of parsing well-formed
* RuleML/XML (valid w.r.t. a proposed anchor schema nafhornlogeq
* defining a sublanguage of the existing anchor schema naffologeq) to
* an equivalent Prolog/'$V' term and back to RuleML/xmL. It has the