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

한자 병기 및 영문 병기에 틀:Lang 대신 틀:Llang 사용
잔글 (봇: 위키공용분류 틀 추가)
(한자 병기 및 영문 병기에 틀:Lang 대신 틀:Llang 사용)
 
{{프로그래밍 패러다임}}
'''논리형 프로그래밍'''(論理型 프로그래밍, {{llang|en|Logiclogic programming}})은 논리 문장을 이용하여 프로그램을 표현하고 계산을 수행하는 개념에 기반을 둔다.<ref>{{서적 인용|author=John LLoyd|제목=Foundations of Logic Programming (2nd edition)|publisher= Springer-Verlag |year=1987}}</ref> 논리형 프로그래밍에서 볼 수 있는 일종의 논리 문장들은 (반드시 그런 것은 아니지만) [[혼 문절|절대 문절]] 형태로 되어 있다:
 
::<code>G if G<sub>1</sub> and … and G<sub>n</sub></code>