. "Programming languages, especially logic and constraint logic programming." . . .