Translation to DCG Semicontext not working...

Applying semicontext for passing additional arguments...

Translation to DCG Semicontext not working - follow on...

Extension to CFG, what is it?...

Dcg state implementation of algorithm...

breadth first on binary tree - using Semicontext notation...