[vram22]

Thanks, will check that too. I remember The Art of Prolog coming up here on HN a while ago.