Prolog as a Host Language