"Languages such as Prolog and" . . . .