Документ взят из кэша поисковой машины. Адрес оригинального документа : http://www.intsys.msu.ru/magazine/archive/v3(1-2)/presic2.pdf Дата изменения: Mon Dec 24 19:44:00 2001 Дата индексирования: Mon Oct 1 23:24:41 2012 Кодировка:

.

.

A1 _ ::: _

>

FAn, (" ,

")

A

i

),

?

("

").

?

.

-

,

(

, :

(1)

F` p
-

F (p). F (p) ` p () F (?) `?
.
1.

.

F

-

(2)

(i)

(ii)

F (p) `:p () F (>) `?

1,

(2)

1].

p _:q _ r _ s q _:p _ s s _ p _ t q _:r _ t :p _ s ` p

,

> >, , p _:q _ r _ s s _ p _ t,

:q _ r _ s q _ s q _:r _ t `? q _:p _ s :p _ s
.

,


278

.

.

p ;!?,
, (2)

.

:q_r_s q_s.

p _ A1 p _ A2 ::: :p _ B1 :p _ B2 ::: C1 C2 ::: ` p p _ A1 p _ A2 ::: :p _ B1 :p _ B2 ::: C1 C2 ::: `:p ABC{ , p :p,
i j k

A1 A2 ::: C1 C2 ::: `?
, (1) . 1] ( (1) ). (3) 2]) PL,

B1 B2 ::: C1 C2 ::: `? A1 A2 ::: B1 B2 :::
. , , .
2

(

.

,

,

-

F A1 _ A2 _ ::: _ A `? () F ` :A1 F` :A F{ ,A { .
k

...

F` A

k

2].

,

PL-

i

. 1, (2), (3)

(4)

F ?`? () `> F ?`?
.

1])

( 1, 2,

F{ ?.
,

:

-

-

, (2), (3), (4)

F F`

`>.

,


279 : . . (jj )

(5)

PL

`?
,
2

-

, ,

.

F`
. (j ) (

:
(

p`p

p`q

jjj ) p _:q _ r q _ r :r ` p p _:q :p _ q :p _:q p _ q `?
(2),

jv) q _ r p _:q p _:r ` p . (j ) , . (jj )

(v ) (2),

?`?.
.

`?

.

:q _ r
,

(3) , (2)

(5), .

`:p
:

p `?

,

:q _ r q _ r :r `?
(3)

. (jjj )

(2)

. . -

AB q _ r :r ` q B
. : , (2)

A

:

q _ r :r `:r
(2), . -

?`?

.

.

B

(2) (3) ,A{ : .

A

r :r `? r :r `:r, ,
( (2), , ,

:q :r :r q _ r ` q ?`?
A
: .

(2)

jjj ) . (jv ) :q :r q _ r `?,
. , (3)

?`?.

,

B r :r `?, r`r (v )

(3), .

.

,

r
(3)

p _:q

:p _ q :p _:q p _ q `:p
, ,

B

:

:p _ q :p _:q p _ q ` q
AB
, . .

AB

(v ) {


280
3.

.

.

: (x) _ (f (x
x{
.

))

: (x) _ (g(x))
.
" :

(c)

: (x) `?
F (x).
: -

{

,c{

,f g{
,

F (x) F (x), x" c f (c) g(c) f (g(c)) :::
(c) (3)

.

F (x).
))

,

: (x) _ (f (x)) : (x) _ (g(x
, (f (c)) (2), (f (c)),

: (x) `: (c

) . -

: (x) _ (f (x
(3) ))

))

: (x) _ (g(x
:

))

: (x) `? :

: (x) _ (f (x
(2) (g (f (c))

: (x) _ (g(x)) : (x) `: (f (c)):
: ))

: (x) _ (f (x)) : (x) _ (g(x
(3) : ))

: (x) `? :

: (x) _ (f (x
,

: (x) _ (g(x)) : (x) `: (f (g(c))):
(2), :

? : (x) _ (f (x)) : (x) _ (g(x)) : (x) `: ? : , ?, ,
.

-


281

1] S. B. Presic How to generalize logic programming to arbitrary set clauses, Publ. de l' Inst. Math. NS 61(75), Belgrade, 1997, p 137-152 2] S. B. Presic Generalizing logic programming Sci. Rev. Belgrade, 19/29, 1996, p 75-81

of

to arbitrary set of clauses,