. . ILP . , Prolog.
, ( ) . , . ( ) , , ( ) , . , , .
Prolog. , parent (X, Y), male(X) female(X),
(. . 1.1 1). has_daughter (X), , , . , .
has daughter(torn), has daughter(bob)
:
has daughter(pam), has_daughter(jim)
, has_daughter(X) parent, male female , , . ILF has_daughter:
has daughter! X):-parent< Xr Y), female (Y>.
.
, { ) . has daughter X X. has daughter , Y, X, .
, ILP. , , has_daughter, . parent, male female (Background Knowledge - ), . - , . , , , .
ILP, .
|
|
:
1. Ef .;
2. , , , .
: , , ,
1. + ;
2. - .
, . ( ) ( , .. ).
, - Prolog, , Prolog. Prolog . , <] :..: (). :
?- (). -
%
?- {). %
%
19.
, ILP, . , , :
?- (). %
yes %
?-(). %
%
ILP Prolog . , , , . 1LP HYPER .
, ILP , , , , . ILP , . , . .
ILP , , Prolog. . , . , , . , ILP . , , , . , , . , , , . , ILP . ILP .
|
|
ILP . , . , , JLP. , , .
ILP, HYPER (HYPothesis refinER), Prolog . , MINTHYPER. HYPER.
II. Prolog