# HG changeset patch
# User samer
# Date 1507027943 -3600
# Node ID 974d7be8eec4aef210479e60094aaa357be795be
# Parent  2c8a10d9e3cb9e09eea4178146b4722017ec3e0f
Update to pack-based dcg utilities

diff -r 2c8a10d9e3cb -r 974d7be8eec4 crp.pl
--- 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).
diff -r 2c8a10d9e3cb -r 974d7be8eec4 test_crp.pl
--- a/test_crp.pl	Fri Feb 24 18:08:40 2012 +0000
+++ b/test_crp.pl	Tue Oct 03 11:52:23 2017 +0100
@@ -1,6 +1,6 @@
 :- use_module(library(plrand)).
 :- use_module(library(randbase)).
 :- use_module(library(randpred)).
-:- use_module(library(dcgu)).
-:- use_module(library(dcgshell)).
+:- use_module(library(dcg_core)).
+:- use_module(library(dcg_shell)).
 :- use_module(crp).