ノイマン型
高級言語計算機（こうきゅうげんごけいさんき、高水準言語マシンなどとも）は、高水準プログラミング言語の持つ言語機能やデータベースへのクエリなどを直接ないし直接に近い水準でハードウェアが支援するコンピュータである。Prologマシンの推論支援機構などは少しその範囲を越えるが、基本的にノイマン型の範囲内であり、「ノイマン型コンピュータに代わるもの」という認識は間違いである。