just started the tute for this more out of curiosity than anything else – was pleasantly surprised how prolog-like it was in syntax. Then i read its a descendant of prolog – makes me want to study it more seriously