Text this: Prolog ++