برنامه‌نویسی منطقی: تفاوت میان نسخه‌ها

'''برنامه‌نویسی منطقی''' {{به انگلیسی|Logic Programming}} یک [[پارادایم برنامه‌نویسی]] است که به‌صورت عمده برپایهٔ [[منطق]] گسترش یافته‌است. هر برنامه در یک [[زبان برنامه‌نویسی]] منطقی، مجموعه‌ای از جملات منطقی‌ست که راستینه‌ها {{به انگلیسی|Facts}} و قوانین {{به انگلیسی|Rules}} یک مسألهمسئله را شرح می‌دهد. از رایج‌ترین زبان‌های برنامه‌نویسی منطقی می‌توان به [[پرولوگ]] و [[دیتالاگ]] اشاره کرد. در این زبان‌ها قوانین به شکل بند درج می‌شوند:<syntaxhighlight lang="prolog">

</syntaxhighlight>بند فوق به‌صورت «H صحیح است اگر A1 و A2 و ...… و An صحیح باشند» خوانده می‌شود. هر بند دارای یک ''راس'' و یک ''بدنه'' است. در بند بالا H راس و A1, ...… , An بدنه هستند. قوانینی که دارای بدنه نباشند، راستینه یا فکت نامیده می‌شوند:<syntaxhighlight lang="prolog">

* Robert Kowalski. [http://www.doc.ic.ac.uk/~rak/papers/the%20early%20years.pdf The Early Years of Logic Programming] CACM. Januaryژانویه ۱۹۸۸