목록 구조(list structure)를 전문적으로 처리하기 위해 개발된 프로그램 작성 언어. 데이터 요소가 저장되어 있는 물리적 위치를 변경하지 않고 각 데이터 요소와 다른 데이터 요소를 연결하는 논리적 순서에 따라 데이터 요소를 삽입, 삭제, 분할, 결합 및 검색하거나 순서를 변경하는 등의 목록 처리는 PL/1이나 파스칼(Pascal), C 언어 등 다른 언어에서도 프로그램이 가능하다. 그러나 목록 처리 언어는 이들 전통적인 언어와는 구조와 구문(syntax)이 아주 다른 언어로, 목록 조작 명령과 재귀 호출(recursive call) 기능 등을 제공한다. 재귀 호출 기능은 하나의 데이터 요소군이나 문자열을 반복적으로 분석하기 위해 하나의 서브루틴이 자기 자신을 반복해서 호출하게 하는 기능이다. 리스프(LISP), 프롤로그(Prolog) 등이 대표적인 목록 처리 언어이다.