This repository has been archived by the owner on May 31, 2020. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 0
/
p9.html
147 lines (141 loc) · 7.81 KB
/
p9.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
<!DOCTYPE HTML>
<html>
<head>
<meta charset="utf-8" />
<meta name="viewport" content="width=device-width, initial-scale=1, user-scalable=no" />
<title>Jorge González | Laboratorio de Lenguajes de Programación</title>
<link rel="stylesheet" href="css/main.css" />
<link rel="stylesheet" href="css/EnlighterJS.min.css" />
<meta name="EnlighterJS" content="Advanced javascript based syntax highlighting" theme="enlighter" data-indent="4" data-selector-block="pre" data-selector-inline="code" data-language="generic" />
</head>
<body class="is-preload">
<div id="wrapper">
<div id="main">
<div class="inner">
<header id="header">
<div class="align-center">
<ul class="pagination">
<li><a class="button" href="p8.html">Anterior</a></li>
<li><a class="page" href="p1.html">1</a></li>
<li><a class="page" href="p2.html">2</a></li>
<li><a class="page" href="p3.html">3</a></li>
<li><a class="page" href="p4.html">4</a></li>
<li><a class="page" href="p5.html">5</a></li>
<li><a class="page" href="p6.html">6</a></li>
<li><a class="page" href="p7.html">7</a></li>
<li><a class="page" href="p8.html">8</a></li>
<li><a class="page active">9</a></li>
<li><a class="page" href="p10.html">10</a></li>
<li><a class="button" href="p10.html">Siguiente</a></li>
</ul>
</div>
</header>
<section>
<header class="main">
<h1>Práctica #9</h1>
<h2>Lenguajes Lógicos</h2>
</header>
<ul>
<li>
<h4>¿Qué es un Lenguaje Lógico?</h4>
<p>
La programación lógica es un tipo de paradigmas de
programación dentro del paradigma de programación
declarativa. La programación lógica gira en torno al
concepto de predicado, o relación entre elementos. Se
basa en el concepto de función (que no es más que una
evolución de los predicados), de corte más matemático.
</p>
</li>
<li>
<h4>¿Para qué sirven?</h4>
<p>
La programación lógica encuentra su hábitat natural en aplicaciones de inteligencia artificial o relacionadas:
<ul>
<li>
Sistemas expertos, donde un sistema de información imita las recomendaciones de un experto sobre algún dominio de conocimiento.
</li>
<li>
Demostración automática de teoremas, donde un programa genera nuevos teoremas sobre una teoría existente.
</li>
<li>
Reconocimiento de lenguaje natural, donde un programa es capaz de comprender (con limitaciones) la información contenida en una expresión lingüística humana.
</li>
<li>
La programación lógica también se utiliza en aplicaciones más "mundanas" pero de manera muy limitada, ya que la programación tradicional es más adecuada a tareas de propósito general.
</li>
</ul>
</p>
</li>
<li>
<h4>Ejemplos de Lenguajes Lógicos</h4>
<p>
<ul>
<li>Prolog</li>
<li>CLP</li>
<li>CSP</li>
<li>Alma-0</li>
<li>CLAC</li>
</ul>
</p>
</li>
<li>
<h4>¿Qué significa Prolog?</h4>
<p>
Prolog (o PROLOG), proveniente del francés <strong>Pro</strong>grammation en <strong>Log</strong>ique,
es un lenguaje de programación lógico e interpretado usado habitualmente
en el campo de la Inteligencia artificial.
</p>
</li>
<li>
<h4>Ejemplo en Prolog</h4>
<p>
<pre data-enlighter-language="prolog">
my_factorial(1,F,F):- !.
my_factorial(N, T, F):-
N2 is N-1,T2 is T * N,
my_factorial(N2, T2, F).
</pre>
</p>
</li>
</ul>
</section>
</div>
</div>
<div id="sidebar">
<div class="inner">
<nav id="menu">
<header class="major">
<h2>Menu Principal</h2>
</header>
<ul>
<li><a href="index.html">Inicio</a></li>
<li>
<span class="opener active">Prácticas</span>
<ul>
<li><a href="p1.html">Práctica #1</a></li>
<li><a href="p2.html">Práctica #2</a></li>
<li><a href="p3.html">Práctica #3</a></li>
<li><a href="p4.html">Práctica #4</a></li>
<li><a href="p5.html">Práctica #5</a></li>
<li><a href="p6.html">Práctica #6</a></li>
<li><a href="p7.html">Práctica #7</a></li>
<li><a href="p8.html">Práctica #8</a></li>
<li><a>Práctica #9</a></li>
<li><a href="p10.html">Práctica #10</a></li>
</ul>
</li>
</ul>
</nav>
</div>
</div>
</div>
<script src="js/jquery.min.js"></script>
<script src="js/browser.min.js"></script>
<script src="js/breakpoints.min.js"></script>
<script src="js/util.js"></script>
<script src="js/main.js"></script>
<script src="js/MooTools.min.js"></script>
<script src="js/EnlighterJS.min.js"></script>
</body>
</html>