Лифп / Экзамен ЛиФп

КЫРГЫЗСКИЙ ГОСУДАРСТВЕННЫЙ ТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ

ФАКУЛЬТЕТ ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ

КАФЕДРА ИНФОРМАТИКА И ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА

ОТЧЕТ

По дисциплине: ЛиФП

Бишкек 2020

Билет №10

1. Понятие рекурсии

2. Найти количество отрицательных элементов списка.

domains

int=integer.

int_s=int*.

predicates

nondeterm otr(int_s,int).

clauses

otr([],0).

otr([H|T],N) :- H<0, otr(T,N1), N=N1+1.

otr([H|T],N) :- H>=0, otr(T,N).

goal

otr([7,-2,3,-1,-8,-3,5,4,-9,10,-6],N),nl.