Un compilador para la programación en lógica rebatible

Texto completo

(1)

8Q FRPSLODGRU SDUD

OD SURJUDPDFLuRQ HQ OuRJLFD UHEDWLEOH

$OHMDQGUR - *DUFurD

*XLOOHUPR 5 6LPDUL

*UXSR GH ,QYHVWLJDFLuRQ HQ ,QWHOLJHQFLD $UWLnFLDO *,,$ 'HSDUWDPHQWR GH &LHQFLDV GH OD &RPSXWDFLuRQ

8QLYHUVLGDG 1DFLRQDO GHO 6XU

$Y$OHP ^ %DKurD %ODQFD $5*(17,1$ ID[

HPDLO FFJDUFLD#FULEDHGXDU JUV#FULEDHGXDU

#08:203

/D SURJUDPDFLuRQ HQ OuRJLFD UHEDWLEOH HV XQD H[WHQVLuRQ GH OD SURJUDPDFLuRQ HQ OuRJLFD TXH FDSWXUD DVSHFWRV GHO UD]RQDPLHQWR GHO VHQWLGR FRPuXQ TXH VRQ GLIurFLOHV GH H[SUH VDU HQ OD SURJUDPDFLuRQ HQ OuRJLFD WUDGLFLRQDO /RV SURJUDPDV OuRJLFRV UHEDWLEOHV SOU SHUPLWHQ UHSUHVHQWDU LQIRUPDFLuRQ LQFRPSOHWD \ SRWHQFLDOPHQWH LQFRQVLVWHQWH \ XWL OL]DQ ORV FRQFHSWRV GH OD DUJXPHQWDFLuRQ UHEDWLEOH D nQ GH SRGHU GHFLGLU HQWUH PHWDV FRQWUDGLFWRULDV

(O REMHWLYR GH HVWH WUDEDMR HV SUHVHQWDU XQ FRPSLODGRU TXH VH GHVDUUROOuR SDUD ORV SURJUDPDV OuRJLFRV UHEDWLEOHV 'LFKR FRPSLODGRU WRPD FRPR HQWUDGD XQ SOU \ SURGXFH FRPR VDOLGD XQ SURJUDPD HQ LQVWUXFFLRQHV GH XQD PuDTXLQD DEVWUDFWD SDUD OD SURJUDPDFLuRQ UHEDWLEOH OODPDGD MDP

3DUD UHDOL]DU HVWH WUDEDMR VH FRPELQDURQ WuHFQLFDV FRQYHQFLRQDOHV GH FRPSLODFLuRQ FRPR HO DQuDOLVLV UHFXUVLYR GHVFHQGHQWH FRQ WuHFQLFDV HVSHFLDOHV SDUD OD SURJUDPDFLuRQ HQ OuRJLFD 'H HVWD IRUPD FDGD FOuDXVXOD GH SURJUDPD SXHGH FRPSLODUVH SRU VHSDUDGR H LQWHJUDUVH D XQ uXQLFR FuRGLJR HMHFXWDEOH (VWR SHUPLWH TXH HO SURJUDPD HVWH GLYLGLGR HQ YDULRV DUFKLYRV R DJUHJDU QXHYDV FOuDXVXODV DO SURJUDPD VLQ QHFHVLGDG GH UHFRPSLODU HO SURJUDPD HQWHUR (O FRPSLODGRU DGHPuDV SHUPLWH OD JHQHUDFLuRQ GH FuRGLJR SDUD SUHGLFDGRV SUHGHnQLGRV GHO OHQJXDMH

(O FRPSLODGRU FRQVWUXurGR SXHGH XWLOL]DUVH WDPELuHQ SDUD WUDGXFLU SURJUDPDV HQ 3URORJ D FuRGLJRZDP :DUUHQV $EVWUDFW 0DFKLQH \ SRGUurD PRGLnFDUVH IuDFLOPHQWH SDUD SURGXFLU FRPSLODGRUHV SDUD RWUDV H[WHQVLRQHV GH OD SURJUDPDFLuRQ HQ OuRJLFD

)LQDQFLDGR SDUFLDOPHQWH SRU OD 6HFUHWDUurD GH &LHQFLD \ 7uHFQLFD 8QLYHUVLGDG 1DFLRQDO GHO 6XU

(2)

,QWURGXFFLuRQ

1 ' 2 / 7 3 ' 4 ' 8 ( 4 4 5 1 / 78 5 6 15'4 => = > 5 6 9 = > =" ,> 6 ? =!> 7 2 6 5 7 7 3

1 SURJUDPDFLuRQ HQ OuRJLFD UHEDWLEOH =. - $> 2 3 4 DUJXPHQWDFLuRQ UHEDWLEOH 4 77 1 SURJUDPDV OuRJLFRV UHEDWLEOHV SOU 5 0 FOuDXVXODV GH SURJUDPD H[WHQGLGR 6 FOuDXVXODV GH SURJUDPD UHEDWLEOH 5 5 8 8 0 3 6 3 5 77 1 SOU 5 6 6 4 5

1 <3 7 : ZDP : ; 7 <' =$ -> ' / GH IDFWR 8 SURORJ 9 77 @ 3 7 MDP A 7 <' 2 ZDP 3 ZDP MDP 6 77 3 7 3 SOU 6 4 MDP

* 78 78 7 3 SOU 9 7 / 5 87 * / 3 ' * 8

* ( 4 7 9 ZDP 6 ( 5 2

3URJUDPDV /uRJLFRV 5HEDWLEOHV

(3)

* 8 77 3 SURORJ 6 7

7 5 IW WQ I (7

5 3 6 WL 7

* 7 5 8 6 * (7 5 4 5 5 5 * 3 I Q 5 5 (7 I 6 Q F % 6 5 F %

5 SW WN N w % S 7

6 WL 3 S

S 7 3 S 6 4 S N 3 S N E7 3 7 5 3 3 4 6 FOG FDG FzDG * (7 FzG 6 FG 5 *

(7 F G 7 4

LH D H zD 6 zD H D

SOU 8 FSH 6 FSU FSH 5

FO ‚ S SQG Q w % O 6 SL

(7 5 QH% FO ‚ G 6 3 O F G FSU 7

5 FO > P> S SQG SL 3 FSH *

(7 F> P> G 4 FSU FSH 3 FSU 4

77 LH 5 3

3 1 FO > P> $G 7 0 F4 /

$ 7 4 OG * FSU QH% FO > P> G 6 3 O 5 5

8 8 0 3 6 3 5 77

* FSU FSH FS SQG 8

FSLG + 7 /

1 I 7 5 6 5 ="> 0

* SOU '7 FOG 6 /

FS SQG ( (7 F > P> G 6 F ‚ G '7

5 6 74

(4)

3 4 ' 7JK '

0 4 6 *

>

> P > P>

z ‚ > P>

z > P> > P>

‚ ‚

DWHUUL]DU GHIHDVLEOH WU\ PH HOVH ( DOORFDWH

JHW VWUXFWXUH SLVWD $ XQLI\ YDULDEOH 9

SXW VWUXFWXUH SLVWD $ VHW YDOXH 9

FDOO OLEUH GHDOORFDWH SURFHHG

zDWHUUL]DU WU\ PH HOVH ( DOORFDWH

JHW VWUXFWXUH SLVWD $ XQLI\ YDULDEOH 9

SXW VWUXFWXUH SLVWD $ VHW YDOXH 9

FDOO RFXSDGD GHDOORFDWH SURFHHG

? 0 8

1 4 3 7 6 ' +7 3 * 3 ' 6 / * 3 * 7 3 780 6 ' * 5 7 3 ' 6 3 7 ' 7JJ 9 '/K 3 4 4

78

? 0 6

(5)

4 3 ' 7 6 1 7 (7 5 0 0 5

7

0 5 7

" 0 6

, ( 0 7 ! /

. 3

L 1 0 7 3

1 7 (7 4 7 9 0 74 4 ' 5 7JJ 5

0 1 " 5 3 7 (7 / 6 4 F R G

$W ,G $UL &DWHJRUurD $L ;M ,QVWUXFFLuRQ S IXQFWRU MXVW PH

DOORFDWH

; YDULDEOH $ < JHW YDULDEOH $< < YDULDEOH $ < JHW YDULDEOH $< I IXQFWRU $ ; SXW VWUXFWXUH $ ; YDULDEOH < VHW YDOXH <

D FRQVWDQWH $ SXW FRQVWDQW $ T IXQFWRU FDOO T

J IXQFWRU $ ; SXW VWUXFWXUH $ ; YDULDEOH < VHW YDOXH < < YDULDEOH < VHW YDOXH <

U IXQFWRU FDOO U GHDOORFDWH SURFHHG

,G $UL &ODVH 'LU S SUHGLFDGR I IXQFWRU D FRQVWDQWH T IXQFWRU J IXQFWRU U IXQFWRU

(6)

&RPSLODFLuRQ GH WuHUPLQRV

' $ MDP ZDP $ ZDP ( ZDP MDP

$ KHDS ' KHDS HWLTXHWDSRV SRV HWLTXHWD UHIHUHQFLD FRQVWDQWH HVWUXFWXUD IXQFWRU OLVWD % ) KHDS UHIHUHQFLDSRV SRV $ $ % KHDS FRQVWDQWHSRV SRV #

LGHQW % * IW WQ

I Q + + +Q +L

I Q % IW WQ Q , - KHDS

IXQFWRUSRV SRV * LGHQW Q * Q . I Q

(MHPSOR # / 0/ KHDS LGHQW #

0- *

-0" * -0" 0 * 0

0/ * "

00 * 0" 01

0-02

LGHQW - &3" " *3 34

/ KHDS

KHDS # && KHDS ZDP ! & * $ $ $ &&

ZDP $ * && . 5 & $ (

-( & . "

(7)

6 - 7

&&

&& !

&&

&& !

- 7

6 7

&&

&& !

" 7

5 8.9 :-; < * $ $ &&

( $ ! . $ $ # ' * I Q * Q , - . Q . 6 * ! G KHDS

IW WQ G * LGHQW

Q Q I Q KHDS ( KHDS & $ * # . < * ) !.

* ;=

;;; > ;= > ;= ;; > ;= ; > ;=

6 * ;L = ?

;L = I;S ;S3 ;SM ;L (

' & & * * * $ ( *

ISF ISF ! ;= > ;= > ;=

;; > ;= ; > ;= ;;;

(8)

6 * $ = > = > = >

( $ & ' $ # $ * % $ ) *

$ && < ! && ! ) ! & ! - $ && # " $ && # ( $ ! && B

# $ ( $ && $ * # ) * & . .B ) !

= > = * > = & > = * $

*

* " M

% ! # % @ "A # ! $ # @ "A ( $ ! # @ "A ! @ "A $ # @ "A < @ "A *

(9)

* ! *

( & ! *. $ ) @ A @ ! #A @ ! #A @ A

( # * ! "- $ # $ # * & ) $ $ # # CC $ ) *

' $ $ $ # " & * $ " # ( # @ A $

( $ ( # ! * ) & # # # $ ( " $ # $ # ) # # " $

"

' $ $ # " $ # "

( !

!

!

!

D $ # 0 !

(10)

!

z "!

"

"!

#

$

$

!

$$

$

!

!%

0 '

$ * $

6 $ # ) ! $ % # $ & * ) $ $ $ * #

(11)

$ && $ ( *

# 1

) # $ # ( # @&A ) ! @ $ %A * @ $ % & z A> @z A * @z & A ( @&A @ A @& zA @ * * zA ( & $ $ # $ $ ! $ & !

6 ! ! . # 6 * $ ! @ A && $ . # # $ && :-4;

:-4; 7 @ ‚ L QA # .

&

! @L #_ QA <

@ #_A

< $ ( $ $ $ $ && $ &&

$ * ) $ $ $ ) # # (

( ! "- $

(12)

) ! ! ) ! ! ) ! ) !

*

( ! ! "- . ( $ !

& &'' > P> & &'' ( z& &''

z& &'' ‚ & &'' ( & &'' z& &'' > P> )& &'' ( & &''

& &'' ‚

& &' > P> ( z& &''

& &'' > P> ( z & &''

& &'' > P> ( z& &''

& &'' ‚

z & &'' *+ & &''

( # 1 ! "- #

! " "

# $% "

"%

#

z

! " "

# $% "

"%

#

1 ' !

/-) $ .

(13)

( * $ % # % @* +A @*,-.+A ) ! $ * , * , * , * + ++++ ) $ * *+ ( $ ! *,*++ ) ! * *$%/+ *+*+ +

@* +A < # * $ % * " * * ( & * & 6 * ( $ * $ * ) $ $ # 2 *+ $ *,*,*,*++++ $ -4"

-4"

-4 -4/

-4/

-40 -41

-41

-42

2 E *+ 5

(14)

) *

$ . F $

! '

- G " ' G )

/ <

0 ' 1 G )

6 ) & ( $ ( & # # & $ ' $ # ) & & $ (

'

! )

- G " '

H &

/ < & 0 < & #

" # I ZDP *, +

* ,+

(15)

"% ! 0$

*

! ,

! +

1

0$

*

! ,

! +

"%

1

I ' "%

( ) # $ ! 5 8.9 * # "$ "2 "2 ( # !

# "2

) && @ - A ( "2 $ && @A % "2 && < $ # ( $ # "2 #

"2

(16)

# $ "2

( "2 "2 * ( $ && $ ) $ # #

"2 )

))

6 )) $ & * CC. ) $ # "2 & $ )) $ "2

# "$

( "$ 3 $ * 3 % 3 & 3 4 " $ ( # *

( "$

"$

4 55

( $ $ ( 4 # & $ ! 4 & . $

$ .

< # * % # 4 $

#

' # $ * * ) @A * * @A

F $ # "$ 6 "2

#

(17)

, - $

- $

.. ,

J '

3-< # $ "$ ( # J

' @ "A @ "A @ "$A 6 * ! .

" $ *

* !# & :-1 -4; $ # -4 $ !# @>A $

& ' < '

$ < ' < ' $ < '

' !

'

$ ' ( ' )

/0 0 < ' /0 0 < '

'

' *

-4 '

(18)

$ $ * & * $ & 6 * & " " * & " ' * $"2 $ * :-4;

' # < # # ) $ $ $ ! $ 7 7 $

# #

@ ! 3 3A 3

3 # ' @7 7 3A

7 7 ! $ * ( # # < @ A < # !

(19)

+, -./ 0 :DUUHQV DEVWUDFW PDFKLQH D WXWRULDO UHFRQVWUXFWLRQ 0,7 3UHVV

>@ $OIHUHV -RVuH - 3HUHLUD /XLV 0 &RQWUDGLFWLRQ ZKHQ DYRLGDQFH HTXDOV UHPRYDO SDUW , DQG ,, 3URF RI ([W RI /RJLF 3URJUDPPLQJ WK ,QWHUQDWLRQDO :RUNVKRS (/3 6W $QGUHZV 8. 0DUFK >@ 'XQJ 3KDQ 0 1HJDWLRQV DV +\SRWKHVHV DQ $EGXFWLYH )RXQGDWLRQ IRU /RJLF 3URJUDPPLQJ 3URF

RI WK ,QW &RQI RQ /RJLF 3URJUDPPLQJ ,&/3

>@ 'XQJ 3KDQ 0 2Q WKH $FFHSWDELOLW\RI $UJXPHWV DQG LWV )XGDPHQWDO 5ROH LQ 1RQPRQRWRQLF 5HD VRQLQJ DQG /RJLF 3URJUDPPLQJ 3URF RI ,QW -RLQ &RQI RQ $UWLnFLDO ,QWHOOLJHQFH ,-&$, >@ )LOORWWUDQL 3DEOR 5 6LVWHPDV GH UD]RQDPLHQWR QR PRQuRWRQR \VX UHODFLuRQ FRQ OD VHPuDQWLFD GH

ODV EDVHV GH GDWRV GHGXFWLYDV 7HVLV GH 0DJLVWHU HQ &LHQFLDV GH OD &RPSXWDFLuRQ %DKurD %ODQFD 8QLYHUVLGDG 1DFLRQDO GHO 6XU 2FWXEUH GH

>@ *DUFurD $ - 8QD DSUR[LPDFLuRQ D OD SURJUDPDFLuRQ HQ OuRJLFD UHEDWLEOH GR :RUNVKRS HQ $VSHFWRV 7HRULFRV GH OD ,QWHOLJHQFLD $UWLnFLDO $7,$ %DKurD %ODQFD 2FWXEUH GH

>@ *DUFurD $ - \ 6LPDUL * 5 &RPSLODFLuRQ GH SURJUDPDV OuRJLFRV TXH XWLOL]DQ OD QHJDFLuRQ SRU IDOOD 8QD H[WHQVLuRQ GH OD PuDTXLQD DEVWUDFWD GH :DUUHQ HU &RQJUHVR $UJHQWLQR GH &LHQFLDV GH OD &RPSXWDFLuRQ %DKurD %ODQFD 1RYLHPEUH GH

>@ *DUFurD $ - \ 6LPDUL * 5 'LIHUHQWHV IRUPDV GH KLSuRWHVLV GH PXQGR FHUUDGR HQ OD SURJUDPDFLuRQ HQ OuRJLFD UHEDWLEOH 6HJXQGR &RQJUHVR $UJHQWLQR GH &LHQFLDV GH OD &RPSXWDFLuRQ &$&L& 8QL YHUVLGDG 1DFLRQDO GH 6DQ /XLV 1RYLHPEUH GH

>@ *DUFurD $ - \ 6LPDUL * 5 (O FULWHULR GH HVSHFLnFLGDG HQ OD SURJUDPDFLuRQ HQ OuRJLFD UHEDWLEOH 7HUFHU :RUNVKRS $UJHQWLQR VREUH $VSHFWRV 7HuRULFRV GH OD ,QWHOLJHQFLD $UWLnFLDO $7,$ 8QLYHUVLGDG 1DFLRQDO GH 6DQ /XLV 1RYLHPEUH GH

>@ *DUFurD $ - \ 6LPDUL * 5 8QD H[WHQVLuRQ GH OD PuDTXLQD DEVWUDFWD GH :DUUHQ SDUD OD DUJX PHQWDFLuRQ UHEDWLEOH &XDUWR :RUNVKRS $UJHQWLQR VREUH $VSHFWRV 7HuRULFRV GH OD ,QWHOLJHQFLD $U WLnFLDO $7,$ 8QLYHUVLGDG 1DFLRQDO GH OD 3ODWD

>@ *HOIRQG 0 DQG /LIVFKLW] 9 /RJLF 3URJUDPV ZLWK &ODVVLFDO 1HJDWLRQ 3URF RI WK ,QW &RQI RQ /RJLF 3URJUDPPLQJ ,&/3

>@ ,QRXH . ([WHQGHG /RJLF 3URJUDPPLQJ ZLWK 'HIDXOW $VVXPSWLRQV 3URF RI WK ,QW &RQI RQ /RJLF 3URJUDPPLQJ ,&/3

>@ /OR\G - : )RXQGDWLRQV RI /RJLFDO 3URJUDPPLQJ QG HGLWLRQ 6SULQJHU9HUODJ

>@ 6LPDUL * 5 &KHVaQHYDU & , DQG *DUFurD $ - 7KH 5ROH RI 'LDOHFWLFV LQ 'HIHDVLEOH $UJXPHQWDWLRQ ;,9 ,QW &RQI RI &KLOHDQ &RPSXWHU 6FLHQFH 6RFLHW\ 1RYHPEHU

>@ 6LPDUL * 5 DQG /RXL 5 3 $ 0DWKHPDWLFDO 7UHDWPHQW RI 'HIHDVLEOH 5HDVRQLQJ DQG LWV ,PSOHPHQ WDWLRQ $UWLnFLDO ,QWHOOLJHQFH ^

>@ 6LPDUL * 5 \ *DUFurD $ - $ .QRZOHGJH 5HSUHVHQWDWLRQ /DQJXDJH IRU 'HIHDVLEOH $UJXPHQWDWLRQ ;;, &RQIHUHQFLD /DWLQRDPHULFDQD GH ,QIRUPuDWLFD &DQHOD %UDVLO $JRVWR

>@ 9DQ 5R\ 3HWHU / &DQ /RJLF 3URJUDPPLJQ ([HFXWH DV )DU DV ,PSHUDWLYH 3URJUDPPLQJ" 3K' 7KHVLV %HUNHOH\ 8QLYHUVLW\

>@ :DUUHQ 'DYLG + ' &RPSLOLQJ 3UHGLFDWH /RJLF 3URJUDPV 9ROXPHQHV \ '$, 5HVHDUFK 5HSRUWV 1UR 0D\R GH

Figure

Actualización...

Referencias

Actualización...