논리형 프로그래밍: 두 판 사이의 차이

'''논리형 프로그래밍'''(論理型 프로그래밍, {{llang|en|Logiclogic programming}})은 논리 문장을 이용하여 프로그램을 표현하고 계산을 수행하는 개념에 기반을 둔다.<ref>{{서적 인용|author=John LLoyd|제목=Foundations of Logic Programming (2nd edition)|publisher= Springer-Verlag |year=1987}}</ref> 논리형 프로그래밍에서 볼 수 있는 일종의 논리 문장들은 (반드시 그런 것은 아니지만) [[혼 문절|절대 문절]] 형태로 되어 있다: