Executing π-WAM with Dogelog Player

A π-WAM combines ideas from π-calculus and Warren Abstract Machine. We already made a compiler and emulator, 100% written in Prolog, and we…