Applying semicontext for passing additional arguments...

How to enumerate combinations using DCGs with CLP(FD) and multiple constraints...

Dcg state implementation of algorithm...