a-yiorgos/wambook
View on GitHub ↗ ★ 118 PostScript
Warren's Abstract Machine: A Tutorial Reconstruction by Hassan Ait-Kaci
3 mentions on Hacker News by 3 people: 1 story, 2 comments · first 2024-07-01 · latest 2026-06-05
20082026
-
▲ 52
Warren's Abstract Machine: A Tutorial Reconstructionstory by nextos · 2026-06-05 · 6 comments
-
…If you want to dive into how Prolog works under the hood I can recommend https://github.com/a-yiorgos/wambook I terms of Prolog implementations I played a bit with https://www.scryer.pl but it still feels rough around the edges. SW
comment by aktuel · 2025-01-26 · in The Simplicity of Prolog -
…( https://okmij.org/ftp/ML/generalization/sound_eager.ml ) or the Warren Abstract Machine ( https://github.com/a-yiorgos/wambook/blob/master/wambook.pdf ). Of course, there are times where you would want to reify substitutions as a data…
comment by contificate · 2024-07-01 · in Unification in Elixir