Programacion+logica++prolog

„ h f ‰ f g  „ ™ ’ ˜ g g f ˆ e d „ ™ ˜ † —  –†  ”† ’  ‘†   ‰ ˆ † … … … „ „ ‚  y y ap€VQ4r111VrYa'aYaSƒ€V2•w`“'w`ƒ¥a€!‡VV'€PƒY€x

B £ ¢ % ( 6 B C  6 %  D 6 B 6 5 v @ u t f   £  # 7 6 5 ¦  B C ( s " A  ¦ 9       ¨ ¦ £ £ '&bw§¥§'§8¤0§¤¥&r8¥&48§¤¤!§pGF¤bi!rb1r3Hd8$T&¤¢
´ Prolog de libre distribucion, para WINDOWS 95, NT, etc. y MS-DOS):

6 ( 9  q B £ ¢h # % C 9  6 ( 9 g  # 5 (  £ ) 6 f   # ¦ " 9 ) ( 9 % ¦ 9 B      ¨ ¦ £ £ ¥¤p&bi¤P¤¥¥&¤¥¥§0§§&¥¤$©¥G4UQ4e©S¤¥2d8$T&¤¢  D 6 B D 6 5 ¦ c   # ¦ " 9 ) ( 9 % ¦ 9 B      ¨ ¦ £ £ 0§4¤S¤§©¥¥WV'UQ4UTS©¥¥©§¥¤¢ B £ ¢  # 9 5 6 £ 9  6 ¦ # 5 X D C 9 ( 5 D 6 5 ¦ X  9 D 6 B   # ¦ " 9 ) ( 9 % ¦ 9 B      ¨ ¦ £ £'§ba&4&¤3¤4!&¤¤`Y¥!8¤¤!¥&'§§©¥¥WV'UQ4UTS©¥¥©§¥¤¢  D 6 5 ¦ @  9 D 6 B  R "  ( " I  ) (     ¨ ¦ £ £ 0¤!§§4&§¤¤GQ$©¥PH©§$©¥¥©§¥¤¢ B £ ¢ E  D 6 B 6 5 ¦  D C ( B  9 (  A 5 6 £ 9  6 ¦ # 5 @ 9 (  £  # 7 6 5 ¦  " % # "      ) (  " % # "        ¨ ¦ £ £ '&¤GF¥¤¥¥¤¤!¤!¥0§0§&¤3¤4!&0§08¥0!4&&$©¥321&0§§'&$©¥!©¥¥©§¥¤¢
Ciao Prolog:

Bibliograf´a y enlaces ı

´´ Programacion Logica ´ ´ Programacion Logica

Transparencias, tarjeta de referencia de Emacs, etc.:

Enlaces

´ Bratko, I. “Prolog Programming for Artificial Intelligence” (Segunda edici on) Addison-Wesley Ltd. 1990.

´ Sterling, L. y Shapiro, E. “The Art of Prolog” (Segunda edici on) MIT Press, 1994.

Repositorios, bibliograf´a, compiladores, etc.: ı

Jesus Correas Fern´ ´ andezjcorreas@fi.upm.es Despacho D-2205 Departamento de Inteligencia Artificial Facultad de Inform´ atica ´ Universidad Politecnica de Madrid 28660-Boadilla del Monte, Madrid 17 de julio de 2002

´ ´ Programacion Logica Prolog

PROLOG PROLOG 1



¡ ¡

¡

INTRODUCCION ´ ´ Logica y Computacion
programming logic algorithms verification logic programming constraints logic and AI knowledgerepresentation logic of programming

declarative programming

Logic of Computation program verification proving properties

Computational Logic direct use of logic as a programming tool

´ ´ Programacion Logica

PROLOG

3

´ Uso de la logica (I)

?


´ ´ Uso convencional de los ordenadores – No es f acil determinar la correcci on de los programas
PROLOG

´ ´ ProgramacionLogica

´ Uso de la logica (II)

Logic


? YES / NO

´ ´ ´ Vision tradicional de la logica: nos permite razonar sobre la correcci on de los programas
PROLOG

´ ´ Programacion Logica

5

´ Uso de la logica (III)
But, it would be interesting to also improve:

Logic

? YES / NO

´ La logica nos permite representar problemas ´ Pero tambien resolverlos!

´ ´ ProgramacionLogica

PROLOG

´ Aproximaciones a la computacion


´ Aproximacion imperativa

Lenguaje natural ´ En principio es la aproximaci on ideal, pero:

´ ´ ´ La logica: utilizada tradicionalmente por fil osofos y matematicos para representar y formalizar los razonamientos

´ ´ Programacion Logica

´ ´ Ejemplo de logica simbolica

´ ´ Se puede representar mediante l ogicasimbolica como:

´ Elementos fundamentales de la l ogica:

´ Sintacticos: conectivas, cuantificadores, constantes, variables, s´mbolos de ı ´ funcion, s´mbolos de predicado ı ´ ´ Axiomaticos: axiomas, reglas de inferencia, demostraci on ´ Semanticos

´ ´ Programacion Logica

ff PQr Cp a U v©utsqXiW

¨ ('  ¡  ¦  ¦ '  54 0)!&©#8!7¥( 6¥¡ 2 3

permite deducir que:

 6B¢A@©#8!7¥( 6¥¡2    ¡  $ 9 ¦  ¦ '  54 3 ¦ ¨ ('  ¡  $ ¡ ¦ ¦    ¡  ¦ ¡¨ ¦ ¡ £ ¡ !10)!&%#"! ¢§©§¥¤¢

´ ´ Ejemplo clasico de logica:

D ‘§‰!C bD C †„ p  ˆw ‡ … f  cp C a U Qr Cp a U Xiƒ6€b‚ Xt!ƒiX`W F D p fXiƒ6€b‚ X1#€biyx!C  cp C a U Q c a Y W U S F w h f PQ c a Y W U SQ P H F D @ge6db`XVTR¥IGEC

’ ’ ’ ’ ’ ’ ’ ’ ’

Basada en secuencias de instrucciones a ejecutar ´...