"programming language such as Prolog." . . . .