19.2. ,
.
MINIHYPER , , . . , , . .
MINIHYPER HYPER . MINIHYPER predecessor . ( "" , ) , parent (X,Y) predecessor Y) X. , , X , .. :
backliteraK [atom(X), parent (X, Y) ], [X,Y]). backliteraK [atom(X), predecessor (X, Y) ], [X,Y]). prolog_predicate(parent(X,Y)). prolog_predicate(atom(X)).
, atom(X).
19. 457
, X ( atom(X)). , . , , , Prolog. induce (H) :
= [[predecessor(,), [atom(A),parent(,)], [atom(),predecessor <,)]] / [, , ], Ipredecessor(D,E), [atom(D), parent(D,EJ ] ]/[D,E])
, predecessor.
, MINIHYPER , . .