#!/usr/local/bin/himmlrun ;HimML compiled module. * gclause_h term_h |base&&&&&)))*$@N$@'@@true@false&&&) @) @) @@*/@gclause_h-1%gclause@*,@ term_h-1%term @) @) @@@1@-@+@''var&@*+@/@2@% ->@@./@7@%list4@G/@,-&3@.&@F/@/-&0@GCLAUSE/@@1 @ @) @@/@2@@6/@@%string&34'@$@/@2@+45@V),&&)))E @ @) @@_/@2@@6;@:/@78@>/@,<@9@''a&&&8'@]/@2=@985@/@2@@:;@B/@/<&0) @) @ @@U/@2@/@D@% -m>=@/@2@>8&T@tsubst@@/@2@A@ @@/@2@6?@&&@put@@'b&@/@2@9@6&&@/@2@>?&V@ print_term @ @ @ @ @@@W@ print_atom@C/@2@A@/@2@B?&M@print_gclause_pl)@CO@ print_gclause)@R/@2@>@/@D@9?&Q@tvarsE @) @@@1F@gclause@@1G@term)&&))) @ @) @@I@@H@'@K@@H5@L@@H0&& @ @@I@K@0L& @) @) @@0/@J$@'@'5&&,&@ gclause_h @H'& @ @) @@( @'@(5@(0&$@J&$@J& `)X @@S@@^$@N&Y @USZ @RS& ]_a@ gclause_h.ml ^`.print_atomprint_termtsubsttvarsV$~!"ssss~r> sst s 30    2 # %G  G OQ&*M[@ *anonymous*\) ]@ term_h.ml^LNv-Vtsts3   &&p`a88@X~3    &(@*O&&[N\J88B x3&N\J88B x3&,(@*Q&&MP @CS,(@*TOP,(@*V&QZ,(@*WTY,(@VX,WX