תכנות לוגי
פרדיגמת השמה מבוססת על לוגיקה פורמלית / ויקיפדיה האנציקלופדיה encyclopedia
תכנות לוגי הוא פרדיגמת תכנות השמה דגש על יחסים ככלי הפשטה עיקרי. יחסים הם כלי המאפשר לקשר בין ערכים שונים באמצעות עובדות המוגדרות מראש.
ערך ללא מקורות | |
תכנות לוגי מבוסס על תחשיב הפרדיקטים ושונה מפרדיגמות התכנות המקובלות, המבוססות על ארכיטקטורת פון נוימן. התכנות הלוגי מבוסס בראשיתו על האקסיומה: . רוברט קוואלסקי הסיק שאקסיומה זו יכולה להיקרא כפרוצדורה רקורסיבית, כך ש A הוא הראש של הפונקציה וכל הוא חלק מהגוף. כלומר, כדי לפתור (להריץ) את A, יש לפתור (להריץ) את .