백과

대상으로 하는 문제를 해결하는 알고리즘을 기본적인 요소로부터 구성되는 절차로서 기술하기 위한 프로그램 언어의 총칭. 이것은 문제에 적합한 언어(특수목적언어)에 대한 반의어로서 일반적으로는 쓰이고 있다.

통상, 범용언어에서는 데이터간의 관계를 나타내는 데이터 구조, 계산의 순서와 논리판단에 의거하는 순서를 나타내는 제어구조, 부품화의 기능으로서의 절차, 함수 또는 모듈의 정의기능, 입출력에 대표되는 실행환경과의 인터페이스 지정 기능 등을 제공한다.

역사적으로는 Fortran, Algol(Algol 60, Algol 68)에 대표되는 절차형 범용언어가 있으며, 또 Pascal, Modula-2, Ada에 대표되는 새 기능을 갖춘 절차형 범용언어가 보급되어 있다. 더욱이, 함수형 팔라듐용 또는 기호처리의 기능을 중심으로 설계된 Lisp, 논리형 팔라듐용인 Prolog는, 각각 범용 언어로서 인공지능의 분야에서 쓰이고 있다. 그 의미에서는, 범용과 특수의 구별은 상대적인 것이다.