Home

Warren Abstract Machine is a efficient way to compile PROLOG programs to stock hardware.

This is a simple implementation of first-order PROLOG programs and output the compiled program as WAM instructions. A runtime of wam instructions is also provided.

The implementation supports the below optimizations:

• Tail recursion
• Unsafe variables
• Specific commands for lists and constants

References

• Warren's Abstract Machine: A Tutorial Reconstruction
• A Verified Prolog Compiler for the Warren Abstract Machine