Add functions for converting KIF into Prolog.