kif-to-prolog