Text this: Prolog from the beginning