]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a89f03f) | patch
introduce and use nonterminal list//1
authorMarkus Triska <[email protected]>
Mon, 30 Mar 2020 23:28:16 +0000 (01:28 +0200)
committerMarkus Triska <[email protected]>
Mon, 30 Mar 2020 23:28:16 +0000 (01:28 +0200)
commit11a616917af37e485d466144733ccf6760c5e192
treefad4b6c18f13a29eb8c5062d0e07e04ffe91857btree | snapshot
parenta89f03f27d2d8dfcdaa1693bab7e9cf05aee39c3commit | diff
introduce and use nonterminal list//1

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]
    ;  ...
src/prolog/examples/bimetatrans_ruleml.pl diff | blob | history
FORK: A modern Prolog implementation written mostly in Rust