A Haxe implementation of Prolog