On the other hand, there are also many programming languages that are declarative in style, including both functional and logic languages, and also including both general purpose and specialized ones.

另一方面，也有许多编程语言是 声明性样式，包括函数语言和逻辑语言，还包括通用语言和专用语言。

youdao

Courses in this field include computer architecture, logic, and the techniques of specific programming languages.

此领域课程有计算机结构，逻辑和特定编程语言的技术。

youdao

XYZ/E is a temporal logic system as well as a programming language. It can represent almost every kind of significant features in conventional imperative languages.

既是一个时序逻辑系统也是一个程序设计语言，它能表示普通高级语言中几乎所有的重要机制。

youdao