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

introduce and use nonterminal list//1

Browse Source 
Example:

    ?- phrase(list(Ls), Ls0).
       Ls = [], Ls0 = []
    ;  Ls = [_A], Ls0 = [_A]
    ;  Ls = [_A,_B], Ls0 = [_A,_B]
    ;  Ls = [_A,_B,_C], Ls0 = [_A,_B,_C]
    ;  ...
This commit is contained in:
Markus Triska
2020-03-31 01:28:16 +02:00
parent a89f03f27d
commit 11a616917a
1 changed files with 5 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
src/prolog/examples/bimetatrans_ruleml.pl
View File

@@ -283,10 +283,13 @@ sign('+') --> "+".
double_quote('"') --> "\"". double_quote('"') --> "\"".
list_ws(String) --> list_ws(Ls) -->
partial_string(String), list(Ls),
ws. ws.
list([]) --> [].
list([L|Ls]) --> [L], list(Ls).
/* /*
* ruleml_assert_item//1 specifies the elements of RuleML that may * ruleml_assert_item//1 specifies the elements of RuleML that may
* appear as items in a RuleML Assert performative, an implicitly * appear as items in a RuleML Assert performative, an implicitly