Warren's Abstract Machine: A Tutorial Reconstruction by Hassan Ait-Kaci