Abstractions for Concurrency in Prolog...

Skip/pass non-standard prolog code...

Creating a dynamic rule in prolog...

Erlog returning strange values to erlang...