File "brainfog"

The library permits the execution of certain Prolog goals in a π-WAM backend. The concept of a π-WAM embraces a fusion of a processs (π) calculus a Warren Abstract Machine (WAM). Optimized for speed the WAM is very primitive and currently only supports the ‘$SEQ’/2 control construct, plus rudimentary 32-bit integer arithmethic and between/3.

The following brainfog predicates are provided:

emulate(G):

TThe predicate fails always. As a side effect it emulates G on an abstract π-WAM. The only side effects consumed or produced by the π-WAM is their input and output.

execute(G):

The predicate fails always. As a side effect it runs G on a CPU backend for π-WAM. The only side effects consumed or produced by the π-WAM is their input and output.