I so wish there was a complete prolog implementation exactly like this in pretty much any language I use. Unfortunately they always end up being woefully incomplete.