Text this: Prolog from the Beginning