LÓGICA DE PRIMER ORDEN, LÓGICA COMPUTACIONAL y AMPLIACIÓN DE LÓGICA
3UiFWLFDVGH/yJLFD
Faraón Llorens LargoMª Jesús Castel de Haro
D
EPARTAMENTO DE
C
IENCIA DE LA
C
OMPUTACIÓN E
I
NTELIGENCIA
A
RTIFICIAL
Universidad de Alicante
PROLOG © 1996-2001 Fara
ó
n Llorens P
á
gina
i
Contenido
1.
PROGRAMACIÓN LÓGICA.........................................................................................................1
2.
PROLOG Y EL LENGUAJE DE LA LÓGICA DE PRIMER ORDEN......................................3
2.1.
P
REDICADOS
..............................................................................................................................3
2.2.
T
É
RMINOS
..................................................................................................................................4
2.3.
C
ONECTIVAS
L
Ó
GICAS
...............................................................................................................6
3.
ESTRUCTURA DE UN PROGRAMA...........................................................................................9
3.1.
P
REGUNTAS
................................................................................................................................9
4.
SINTAXIS........................................................................................................................................12
4.1.
C
ARACTERES
............................................................................................................................12
4.2.
E
STRUCTURAS
..........................................................................................................................13
4.3.
O
PERADORES
...........................................................................................................................13
5.
ESTRUCTURAS DE DATOS........................................................................................................18
5.1.
Á
RBOLES
..................................................................................................................................18
5.2.
L
ISTAS
......................................................................................................................................18
6.
ESTRUCTURAS DE CONTROL .................................................................................................23
6.1.
R
ECURSI
Ó
N
..............................................................................................................................23
6.2.
U
NIFICACI
Ó
N
............................................................................................................................24
6.3.
R
EEVALUACI
Ó
N
........................................................................................................................25
6.4.
E
L
C
ORTE
.................................................................................................................................27
6.5.
P
REDICADOS DE
C
ONTROL
.......................................................................................................30
7.
PREDICADOS DE ENTRADA Y SALIDA.................................................................................32
7.1.
L
ECTURA
Y E
SCRITURA
D
E
T
É
RMINOS
....................................................................................32
7.2.
L
ECTURA
Y E
SCRITURA
D
E
C
ARACTERES
...............................................................................33
7.3.
L
ECTURA
Y E
SCRITURA
E
N
F
ICHEROS
.....................................................................................34
8.
MODIFICACIÓN DE LA BASE DE CONOCIMIENTOS........................................................37
8.1.
A
DICI
Ó
N
D
E
B
ASES
D
E
C
ONOCIMIENTO
E
XTERNAS
.................................................................37
8.2.
M
ANIPULACI
Ó
N
D
E
L
A
B
ASE
D
E
C
ONOCIMIENTOS
..................................................................38
8.3.
C
OMPONENTES
D
E
E
STRUCTURAS
...........................................................................................41
9.
DEPURACIÓN DE PROGRAMAS PROLOG............................................................................44
10.
PROGRAMACIÓN EN PROLOG...........................................................................................47
10.1.
E
NTORNO
D
E
T
RABAJO
............................................................................................................47
10.2.
E
STILO
D
E
P
ROGRAMACI
Ó
N
E
N
P
ROLOG
..................................................................................47
10.3.
I
NTERPRETACI
Ó
N
P
ROCEDIMENTAL DE LOS
P
ROGRAMAS
P
ROLOG
...........................................49
10.4.
V
ENTAJAS
D
E
P
ROLOG
.............................................................................................................50
11.
EJEMPLOS................................................................................................................................52
11.1.
F
ORMAS
N
ORMALES
................................................................................................................52
11.2.
Á
RBOL
G
ENEAL
Ó
GICO
..............................................................................................................55
Search History:
Result 00 of 00
00 results for result for
p.
BIBLIOGRAFÍA for Prolog
450
Reads
0
Readcasts
6
Embed Views
Get Scribd Mobile
To get Scribd mobile enter your number and we'll send you a link to the Scribd app for iPhone & Android.We've sent a link to the Scribd app. If you didn't receive it, try again.
We'll never share your phone number.
More From This User
Notes
Load more
