Файл: Управлениелогическимвыводом.docx

СОДЕРЖАНИЕ

a(1,1). %(1)

b(3). %(3)

c(3). %(5)

a(X,Y):-b(X),!,c(Y). %(7)

?- a(N,M).

not(P) :- P,!,fail. not(_) :- true.

sign(X,-1):- X < 0,!.

sign(X,1). 1 % X > 0.

ЗАДАНИЕ 4.1

?- factorial(3,F).

ЗАДАНИЕ 4.2

размер(2,R):- R >= 164, R < 170.

A:- B,fail.

a:- write(1).

d:- a,fail.

?-c.

ЗАДАНИЕ 4.3

ЗАДАНИЕ 4.4

country('England','London'). country('Russia','Moscow'). country('France','Paris').

country('China','Pekin').

country('Italy','Rome').

repeat.

ЗАДАНИЕ 4.5

?- repeat,a,fail.

r:- repeat, read(X), write(X), X=stop.

ЗАДАНИЕ 4.6

цель:- подцель1,[! подцель2,подцель3 !],подцель4.

A :- B, [!C, D!], E.

A:-B, T, E.

b(2). %(1)

c(2). %(3)

d(4). %(5)

e(10). %(7)

e(12). %(9)

/* В SWI-Prolog надрез можно реализовать через отсечение следующим образом: */

f(Y,Z):-C(Y),d(Z),!.

ЗАДАНИЕ 4.7

животное(X).

цель(X):- животное(X),[!живет(X,Y),живет(X,Z),Y\=Z!].