Mercurial > hg > plcrp
diff crp.pl @ 3:974d7be8eec4 tip
Update to pack-based dcg utilities
| author | samer |
|---|---|
| date | Tue, 03 Oct 2017 11:52:23 +0100 |
| parents | 2c8a10d9e3cb |
| children |
line wrap: on
line diff
--- a/crp.pl Fri Feb 24 18:08:40 2012 +0000 +++ b/crp.pl Tue Oct 03 11:52:23 2017 +0100 @@ -34,7 +34,9 @@ :- meta_predicate seqmap_classes(4,+,?,?). :- use_foreign_library(foreign(crp)). -:- use_module(library(dcgu)). +:- use_module(library(dcg_core)). +:- use_module(library(dcg_pair)). +:- use_module(library(dcg_macros)). :- use_module(library(math)). :- use_module(library(eval)). :- use_module(library(lazy)). @@ -170,10 +172,10 @@ % construction. lazy_dp(A,H,P0,Vals,Probs) --> - spawn(S0), { lazy_unfold(unfold_dp(A,H),Vals,Probs,(P0,S0),_) }. + spawn(S0), { lazy_unfold(unfold_dp(A,H),Vals,Probs,P0-S0,_) }. lazy_dp_paired(A,H,P0,ValsProbs) --> - spawn(S0), { lazy_unfold(unfold_dp(A,H),ValsProbs,(P0,S0),_) }. + spawn(S0), { lazy_unfold(unfold_dp(A,H),ValsProbs,P0-S0,_) }. unfold_dp(A,H,V,X) --> \> call(H,V), unfold_gem(A,X). unfold_dp(A,H,V:X) --> \> call(H,V), unfold_gem(A,X).