Warren's Abstract Machine
Arquitectura da máquina WAM (usada na implementação de Prolog):
compilação, unificação, pilhas de execução, ambientes, pontos de
escolha, backtracking e indexação.
Tabulação em Programação Lógica
Modelo básico de execução, representação e organização da tabela,
suspensão/recuperação da computação, compilação de predicados
tabelados.