Text this: Prolog programming for arificial intelligence