Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Conciencia Tecnolgica,
ISSN (Versin impresa): 1405-5597
contec@correo.ita.mx
Instituto Tecnolgico de Aguascalientes
Mxico
Cmo citar?
Fascculo completo
Pgina de la revista
www.redalyc.org
Proyecto acadmico sin fines de lucro, desarrollado bajo la iniciativa de acceso abierto
Facultad de Informtica
Universidad Politcnica de Madrid
Madrid - Espaa
RESUMEN
INTRODUCCION
se resuelve encontrando el camino que lleva desde el
La programacin lgica constituye una herramienta
CONCEPTOS PREVIOS
Qu es un Paradigma de Programacin?
4fl^^^^W5 ^06A
programa
definicin.
lgica.
Deduccin
Qac^^oao6A ^
Preguntas
fundamentales :
Procedimiento de
Inferencia
independiente
de la aplicacin
Hech os y Reglas
Base de
Conocimiento
nmero 2.
Fig. N 2: Enfoque de desarrollo propuesto
establecer una
Esta
Descripcin
t.l^eio
amiiioc
Aplicarn
Hncednieio
Inferenia
n:
l-biTsy
Pdacia^es
LlsebdeuB
I n1 a
c^laaiican
anian,
Qnomeno
fdns,
Pdaciaresy
1 a
Traciix n
Qac^ca^a^ ^a^A ^
ejemplo:
Y:
Parecido ( X, Y ) :- Madre( X, Y)
QQ^aod^o6a ^
el final deseado.
cabra)".
Qmc^ca^a^^a^a^ ^
A6: seguro( X, X, X)
A7. seguro( X, Y, Z ) :- opuesto( X, Y)
banana?.
QQ6aodo6ra
PuedeCoger(Estado)
Donde, el argumento Estado es un estado del mundo del mono.
Mover(Estadol,Mover,Estado2)
Estado 1
Estado2
Mover
Estado 1, es el estado antes de la movida, Mover es la
Estado 1
Estadon
Mover
..o^.^i~nnnr
Estado2
Qa^m^db^oc^a^ ^
PuedeCoger(Estado2)
continuacin:
M5: puedecoger(estado,,tiene)).
3. Traduccin
Legibilidad ,
Modificabilidad,
Algunos
El correcto uso de la
4. Evaluacin
Se trata de evaluar el programa lgico en sus aspectos
de correccin (sintaxis), validez (semntica) y
10
Qac^aodo^a^
[7]Gelfond M .;
CONCLUSION
pp, p.355-69
Programming",
Communivations
Of The CM,
Jun; p.3-42
REFERENCIAS
"Entornos y
[13]Rolston, D. (1990): "Principios de Inteligencia
Logic
11
Sistemas Expertos" ,
McGraw-Hill,