Національний університет “Львівська політехніка”
Інститут комп’ютерних наук і технологій
Кафедра АСУ
Лабораторна робота №3
з курсу „Логічне програмування”
Тема: «Інтерпретація PROLOG-програм»
Виконав:
студент групи ІУС-51
Перевірив:
Львів-2006
Мета роботи: зрозуміти механізм виконання PROLOG-програм.
Теоретичні відомості
Процес отримання результату роботи PROLOG-програм зв'язаний з виконанням деякого алгоритму на комп'ютері. Оскільки PROLOG - не алгоритмічна, а декларативна мова програмування, то алгоритм її виконання залежить від алгоритму інтерпретації предикатів, з яких складається програма. В лабораторній роботі запропоновано закріпити лекційний матеріал і розглянути алгоритм інтерпретації предикату “sort” по кроках.
Хід роботи
Завдання: Ввести ПІП, ІКНІ, АСУ, КН-51. Вивести у зворотньому порядку.
Predicates
a
Clauses
a :- write("Input:"),
readln(X),
fronttoken(X,Y,Z),
fronttoken(Z,K,L),
fronttoken(L,M,N),
fronttoken(N,A,B),
fronttoken(B,P,Q),
concat(Q," ",Q1),
concat(Q1,P,C),
concat(C," ",C1),
concat(C1,A,R),
concat(R," ",R1),
concat(R1,M,S),
concat(S," ",S1),
concat(S1,K,T),
concat(T," ",T1),
concat(T1,Y,W),
write(W).
Goal
a.
Висновок: в даній лабораторній роботі зрозумів механізм виконання PROLOG-програм, створив програму на мові PROLOG згідно завдання з використанням списків та їх сортуванням.