Warren Abstract Machine — the standard virtual machine architecture for executing Prolog and logic programming languages efficiently.

← Back to the Glossary