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