برنامهنویسی منطقی: تفاوت میان نسخهها
محتوای حذفشده محتوای افزودهشده
اصلاح نویسههای عربی، اصلاح فاصلهٔ مجازی، اصلاح ارقام، اصلاح سجاوندی، اصلاح املا، ابرابزار |
بدون خلاصۀ ویرایش |
||
خط ۱:
{{شیوههای برنامهنویسی}}
'''برنامهنویسی منطقی''' {{به انگلیسی|Logic Programming}} یک [[پارادایم برنامهنویسی]] است که به صورت عمده مبتنی بر [[منطق صوری]] است. هر برنامه
{{چپچین}}
H :- B<sub>1</sub>, …, B<sub>n</sub>.
{{پایان چپچین}}
که به صورت اعلانی به صورت پیامد منطقی خوانده میشود:
{{چپچین}}
H if B<sub>1</sub> and … and B<sub>n</sub>.
{{پایان چپچین}}
به H «راس» یا «سر» قاعده گفته میشود، و به <kbd>B<sub>1</sub></kbd>, … , <kbd>B<sub>n</sub></kbd> «بدنه» گفته میشود. «واقعیت» قاعده ای است که بدنه ندارد، و به صورت سادهشده زیر نوشته میشود:
<syntaxhighlight lang="prolog">
|