Това е само предварителен преглед!
Лекции по Пролог - логическо програмиране
В своята същност логическото програмиране се основава на принципите на формалната логика и предикатното смятане. Съществен смисъл в този аспект имат понятията за предикат, клаузна форма, резолвента, метод на резолюцията...