МОВА PROLOG ЯК СЕРЕДОВИЩЕ ЛОГІЧНОГО ПРОГРАМУВАННЯ

Тут і далі використовується нотація мови SWI-Prolog. Запис виду р (? 1? T '}, tn) означає предикат, який має арность nf a tlt t2, ..., tn - аргументи предиката. Аргументи можуть бути константами або змінними. В останньому випадку вони повинні починатися з великої літери. Другий предикат тут реалізуетправіло. У правилі спочатку записується консеквент (результат логіческоговивода), а після символів «: -" список антецедентов (умов правила), що розділяються комою (кон'юнкція). Якщо необхідно розділити умови диз'юнкція, то використовуються крапка з комою і дужки. Символи «: -" відображають операціюлогіческого проходження I- і можуть записуватися словом «if».) (У цьому параграфі використані матеріали з курсів логічного програмування професора Франка пфеннинг з університету Карнегі -Меллон (http: //www.es.cmu. edu / ~ fp / courses / lp / lectures / lp-all.pdf), а такжепрофессора Алекса Сімпсона з університету Единбурга (www.inf.ed.ac.uk/teaching/courses/lp).