Basic support for Prolog