論理型

ろんりがた

布尔类型

宣言型言語

せんげんがたげんご

陈述性语言

述語論理

じゅつごろんり

谓词逻辑，谓词演算

コンパイラ型言語

コンパイラかたげんご

编译器语言

インタプリタ型言語

インタプリタかたげんご

解释性语言

インタープリタ型言語

インタープリタかたげんご

解释性语言

インタプリータ型言語

インタプリータかたげんご

解释性语言

言語地理

げんごちり

语言地理学

会話型言語

かいわけいげんご

会话语言

関数型言語

かんすうがたげんご

功能语言

記号型言語

きごうかたげんご

符号语言

解釈型言語

かいしゃくかたげんご

解释性语言

対話型言語

对话式语言，会话型语言。

心理言語学

しんりげんごがく

心理语言学

言語地理学

げんごちりがく

语言地理学

言語心理学

げんごしんりがく

语言心理学，心理语言学（尤其是从心理学的角度来看）

数理言語学

すうりげんごがく

数学语言学

言語処理系

げんごしょりけい

语言处理器

言語処理プログラム

话言处理程序，语言加工程序。