Quiz
Declarativa
Create a free account to finish this quiz
Save your progress and see your final score.
Already have an account? Sign in
Questions in this quiz (52)
1Dado un programa lógico Π y un objetivo G, indicad cuál de las siguientes
afirmaciones es cierta:- Atoda respuesta correcta para Π ∪ {G} es una respuesta computada para Π ∪
{G}. - Btoda respuesta computada para Π ∪ {G} es una respuesta correcta para Π ∪
{G}. - Clas respuestas correctas para Π ∪ {G} son un subconjunto del conjunto de las
respuestas computadas para Π ∪ {G}. - Dsi se usa la regla de computación de Prolog, los conjuntos de respuestas
computadas y correctas para Π ∪ {G} coinciden.
- Atoda respuesta correcta para Π ∪ {G} es una respuesta computada para Π ∪
2Una sustitución es idempotente si θθ = θ. Indicad cúal de las siguientes
sustituciones no es idempotente: Seleccione una:- A{X/Y, Z/a}.
- B{X/f(a)}.
- C{X/Y,Y/a}.
- D{X/Y }.
3La Programación Lógica es:
- Aun tipo de programación con funciones.
- Blo contrario de la Programación Algebraica.
- Cparadigma de programación en el que computación en la máquina, deducción en
una lógica y satisfacción en un modelo del programa resultan equivalentes. - Dúnica y exclusivamente, programación en cláusulas de Horn definidas.
4Una de las condiciones que debe cumplirse para que, dado un lenguaje de primer
orden L, una interpretación I del lenguaje sea de Herbrand es que:- Aninguna de las anteriores.
- Bsu dominio sea la base de Herbrand BL.
- Csu dominio sea un modelo ML .
- Dsu dominio sea el universo de Herbrand HL .
5Dado un programa lógico Π y un objetivo G, la propiedad de “independencia de la
regla de computación” asegura que: Seleccione una:- Ano existen ramas infinitas en el árbol de derivaciones SLD para Π ∪ {G}.
- Bel conjunto de respuestas computadas para Π ∪ {G} no depende de la regla de
computación - Cla selección de las cláusulas del programa debe hacerse de forma indeterminista
"don’t know". - Dtodas las ramas del árbol de derivaciones SLD para Π ∪ {G} son de éxito.
6Indicad cuál de las siguientes afirmaciones es falsa: Seleccione una:
- Asi el unificador más general de dos átomos A y B es θ = {X/t}, entonces θ(A) =
θ(B). - BDado el programa lógico Π = {p(a), q(b)}, se cumple que Π |= p(b).
- CNinguna de las anteriores.
- Dsi θ = {X/t} entonces θ(X) = t
- Asi el unificador más general de dos átomos A y B es θ = {X/t}, entonces θ(A) =
7Indicad cuál de las siguientes interpretaciones representa el conjunto de éxitos del
programa lógico Π = {p(X) ← p(f(X)). p(f(X))}: [Observación: fn ( ) simboliza la
aplicación de f sobre un argumento n veces.] Seleccione una:- A{p(X ), p(f (X ))}.
- B{p(f(a)), . . . , p(fn (a)), . . .}.
- C{p(f(a))}.
- D{p(a), p(f (a)), . . . , p(fn (a)), . . .}
8Dado un programa lógico y un subobjetivo seleccionado, la regla de negación como
fallo permite dar un paso de inferencia si: Seleccione una:- Ael subobjetivo es un átomo básico negado y es posible establecer una refutación para el programa y el átomo básico (sin negar) cuando se toma como objetivo.
- Bel subobjetivo es un átomo básico negado y es posible obtener un árbol de fallo
finito para el programa y el átomo básico (sin negar) cuando se toma como
objetivo. - Cel subobjetivo es un átomo básico negado y es posible establecer una refutación
para el programa y el átomo básico negado tomado como objetivo. - Del subobjetivo es un átomo negado y es posible obtener un árbol de fallo finito
para el programa y el átomo (sin negar) cuando se toma como objetivo.
9Indicar cuál de las siguientes características no es de la programación imperativa:
Seleccione una:- Aprograma = transcripción de un algoritmo.
- Bmodelo computacional = máquina de inferencias lógicas.
- Cvariables del programa = referencias a memoria.
- Dinstrucciones = órdenes a la máquina.
10Sea I una interpretación cuyo dominio son los números naturales, y en la que el
predicado p se interpreta como la relación ≤ de los naturales. Indicad cuál de las
siguientes afirmaciones es cierta: Seleccione una:- AI es modelo de la fórmula (∀X)(∀Y ) (p(X, Y ) ∨ p(Y, X)).
- Bla fórmula (∃X)(∃Y)(p(X,Y)∧¬p(X,Y)) es satisfacible.
- CI es modelo de la fórmula (∀X)(∀Y ) p(X, Y ).
- DI no será modelo de ninguna fórmula de la lógica de primer orden
11Indicad cuál de los siguientes conjuntos es el modelo mínimo de Herbrand del
siguiente programa lógico Π = {p(f(X)) ← q(X), q(a) ← p(a)}: [Observación: fn ( )
simboliza la aplicación de f sobre un argumento n veces.] Seleccione una:- A{}
- B{p(a), q(a)}
- C{p(a), q(a), p(f(a))}
- D{p(a), q(a), p(f(a)),..., p(f (a)),... }
12Indicad cúal de las siguientes sustituciones es un unificador del par de átomos
p(f(X,X), g(Y), Z) y p(f(a,V),g(b),h(W)): Seleccione una:- A{X/a,V/a,Y/b,Z/h(W)}.
- B{X/a, X/V, Y /b, Z/h(W )}.
- C{X/a,V/a,Y/b,W/h-1 (Z)}.
- D{X/a, V /X, Y /b, Z/h(W )}.
13¿Cuál es la esencia de la resolución lineal? Seleccione una:
- Aque se prueban de forma secuencial las cláusulas del programa al intentar
encontrar una refutación con éxito. - Bque la regla de computación sigue una estrategia de selección lineal de los
átomos del objetivo. - Cque no se puede aplicar consecutivamente dos pasos de resolución sin un paso de
bactracking intermedio. - Dque, una vez iniciado el proceso, no se pueden resolver entre sí dos cláusulas del
programa.
- Aque se prueban de forma secuencial las cláusulas del programa al intentar
14Indicad cúal de las siguientes afirmaciones es falsa: Seleccione una
- ADado un conjunto de cláusulas Δ, que representa una forma estándar de una
fórmula A, A es insatisfacible si y sólo si Δ es insatisfacible. - BToda fórmula de la lógica de predicados puede transformarse en una fórmula en
forma clausal lógicamente equivalente a la original. - CToda fórmula de la lógica de predicados admite una fórmula en forma normal
prenexa lógicamente equivalente a la original. - DUna forma normal disyuntiva es una fórmula A ∨ A ∨ ... ∨ A en la que cada
A , con 1 ≤ i ≤ n, es una conjunción de literales
- ADado un conjunto de cláusulas Δ, que representa una forma estándar de una
15Un intérprete para Programación Lógica con regla de computación left-to-right y
estrategia de búsqueda depth-first: Seleccione una- Aes incapaz de computar respuestas correctas.
- Bes incapaz de encontrar ninguna respuesta que, en el árbol de búsqueda, se
encuentre a la derecha de la primera rama infinita. - Ces correcto y completo.
- Des incapaz de fracasar finitamente.
16Considerar el siguiente programa Prolog, P ={maximo(X, Y, X):− X ≥ Y.
maximo(X, Y, Y).}, correspondiente a la siguiente especificación
maximo(X, Y, Max) ⇔ Max es el máximo de X e Y.
Indicad cuál de las siguientes afirmaciones es cierta: Seleccione una:- AP es correcto sólo si X e Y no son ambos estrictamente positivos.
- BP es correcto sólo si el orden en que se prueban las cláusulas es el orden en que
están escritas en el texto del programa. - CP es correcto, es decir, satisface su especificación.
- DP es incorrecto.
17Indicad cuál de las siguientes afirmaciones es cierta: Seleccione una:
- Auna refutación se dice la más general si subsume a cualquier otra derivación que
conduce a la cláusula vacía. - Bla propiedad de intersección de modelos no es válida para cláusulas generales;
sólo vale para cláusulas definidas. - Cuna derivación se dice de Herbrand si las sustituciones que se aplican en cada
paso reemplazan variables por términos del Universo de Herbrand sin variables. - Duna sustitución se dice lineal si no contiene dos componentes con el mismo
símbolo de variable a reemplazar por el correspondiente término.
- Auna refutación se dice la más general si subsume a cualquier otra derivación que
18Sea el siguiente programa lógico Π ≡ {p(X,Y ) ← q(X) ∧ q(Y ). q(a). r(b).} y el
objetivo G ≡← p(Z1,Z2). Indicad cuál de las siguientes sustituciones no es una
respuesta computada para Π ∪ {G}: Seleccione una:- A{Z1/a}◦{Z2/Z1}.
- B{Z2/a}◦{Z1/Z2}.
- C{Z1/Z2}.
- D{Z1/a,Z2/a}.
19Dado el programa lógico Π = {p ← ¬q} (asumiendo que se permite la negación en
el cuerpo de las cláusulas), indicad cúal de los siguientes conjuntos no es modelo de
Π: Seleccione una:- A{p, q}.
- B{q}.
- C{p}.
- D0
20Considerar el siguiente programa lógico: Π ≡ {p(Y). p(a).}, cuya semántica
operacional (conjunto de éxitos básicos) EB(P) = {p(a)}. El objetivo G ≡← p(X)
tiene dos respuestas computadas con respecto a Π: θ1 = {X/Y } y θ2 = {X/a}.
Indicad cuál de las siguientes afirmaciones es cierta: Seleccione una:- Aθ1 y θ2 son ambas respuestas correctas para Π ∪ {G}.
- Bθ1 es una respuesta computada incorrecta para P ∪ {G}, ya que θ1(p(X)) no
pertenece a EB(P). - Cθ1 es una respuesta computada pero no es una respuesta correcta para Π ∪
{G}. - Dθ1 no es una respuesta computada por SLD-resolución, ya que es más general
que θ2.
21Indicad cuál de las siguientes afirmaciones es cierta: Seleccione una:
- Ael concepto de verdad está asociado a la teoría de la demostración.
- Bun sistema formal es correcto si toda fórmula demostrable con el método de
cálculo es válida según la noción de verdad. - Cun sistema formal es completo si toda fórmula demostrable con el método de
cálculo es válida según la noción de verdad. - Dexisten dos tipos de cláusulas de Horn: hechos y ecuaciones condicionales.
22Indicad cuál de las siguientes afirmaciones referentes a los términos f(g(X),Y),
f(g(V), h(a)) y f (Z, h(Y)) es cierta: Seleccione una:- Ano unifican.
- Bunifican con la sustitución {Y/a}◦{V/X, Z/g(V), Y/h(Y)}.
- Cunifican con la sustitución {W/a}◦{X/b, Y/h(W), Z/g(b)}.
- Dunifican con la sustitución {X/V, Z/g(V ), Y /a}.
23Indicad cuál de las siguientes ideas no pertenece al estilo de programación
declarativa: Seleccione una:- Aprograma = lógica + control.
- Bprogramación = lenguaje de la lógica de primer orden como notación para los
programas e inferencia lógica como mecanismo de computación. - Cprograma = secuencia de instrucciones que alteran el estado de la computación.
- Dprogramación = demostración de teoremas + técnicas de extracción de
respuestas
24Considerar el siguiente programa lógico Π≡{p(f(X))←p(X). p(X)←q(X). q(a).}
¿Qué relación existe entre el conjunto C ≡ {q(a), p(a), p(f(a)), p(f(f(a))), . . . , p(f n
(a)) . . .} y el programa Π? [Observación: f ( ) simboliza la aplicación de f sobre un
argumento n veces.] Seleccione una:- AC es el modelo mínimo de Herbrand de Π.
- BC es una interpretación de Herbrand que no es modelo de Π.
- CC es el universo de Herbrand de Π.
- DC es la base de Herbrand de Π.
25¿Cuál de las siguientes características se asocia con un lenguaje de programación
declarativo? Seleccione una:- ANinguna de las anteriores frases puede relacionarse con un lenguaje declarativo.
- BExiste una separación entre el componente lógico del problema y el de control.
- CSon los lenguajes preferidos para la gestión y tratamiento de la información.
- DUn programa es una secuencia de instrucciones que operan sobre un estado no
explícitamente declarado
26Indicad cuál de las siguientes afirmaciones es falsa: Seleccione una:
- Ael significado operacional de un programa lógico es el conjunto de términos
ground para los que existe una refutación. - Bel conjunto de los modelos de Herbrand de un programa lógico constituido por
cláusulas de Horn definidas es no vacío. - Cel significado declarativo de un programa lógico es el conjunto de átomos
ground que son consecuencia lógica de él. - Dun programa lógico constituido por cláusulas de Horn definidas es una teoría
formal de primer orden.
- Ael significado operacional de un programa lógico es el conjunto de términos
27Indicad cuál de las siguientes afirmaciones referentes a la Programación Lógica es
cierta: Seleccione una:- ALa regla de computación indica el orden en que se seleccionan las cláusulas del
programa en la computación. - BEl conjunto de éxitos, obtenido por resolución SLD, para un programa lógico y
un objetivo dados no depende de la regla de computación adoptada. - CLa función de selección indica qué derivación, de entre todas las del árbol de
derivaciones SLD, se sigue en una computación dada. - DLa estrategia de búsqueda indica el orden en que se seleccionan los átomos del
objetivo en una computación.
- ALa regla de computación indica el orden en que se seleccionan las cláusulas del
28¿Cuál de las siguientes afirmaciones es falsa?: Seleccione una:
- AEl modelo mínimo de Herbrand de un programa lógico de cláusulas definidas se
puede obtener como la intersección de todos sus modelos de Herbrand. - BEl Universo de Herbrand para un programa lógico está formado por todos los
términos básicos que se pueden formar con las constantes y los símbolos de
función del lenguaje. - CUna interpretación de Herbrand para un programa lógico es un subconjunto de
la Base de Herbrand formado por aquellos átomos que son ciertos según esa
interpretación. - DUna interpretación de Herbrand para un programa lógico es un subconjunto de
la Base de Herbrand que contiene aquellos elementos de la base que hacen
ciertas las cláusulas del programa.
- AEl modelo mínimo de Herbrand de un programa lógico de cláusulas definidas se
29Indicad cuál es el mgu del siguiente conjunto de expresiones: {p(f(Y),W,g(Z)),
p(V,U,V)}. Seleccione una:- A{f(Y)/V, U/W, g(Z)/V}.
- B{V/f(Y), W/U, V/g(Z)}.
- C{V/f(Y), W/U, V/g(Z), f(Y)/g(Z)}.
- Dno existe.
30Dada la fórmula (∀X)(∃Y)(p(X)∧q(Y)→r(Y)), le corresponde como representación
en notación clausal: Seleccione una:- A{p(X), r(f(X))← q(f(X)}.
- Br(f(X))← q(f(X))∧p(X).
- Cr(a)← q(a)∧p(X).
- Dr(X)← q(X)∧p(X).
31Indicad cúal de las siguientes afirmaciones es falsa: Seleccione una:
- Aun programa lógico es una teoría de primer
- Bel significado declarativo de un programa lógico es el conjunto de términos
básicos que son consecuencia lógica de él. - Cel significado operacional de un programa lógico es el conjunto de átomos
básicos para los que existe una refutación. - Dla semántica operacional de un programa lógico admite una interpretación
procedural según la cual cada uno de los literales de un objetivo puede verse
como la llamada a un subprograma.
32Indicad cuál es el resultado de la composición de las siguientes sustituciones (se
emplea la notación usual en Programación Lógica para representar la composición
de sustituciones):
θ = {Z/W, W/g(a)} y σ = {W/h(b)}- Aθσ = {Z/h(b), W/g(a)}.
- Bθσ = {Z/g(a), W/g(a)}.
- Cθσ = {Z/W, W/g(a)}.
- Dθσ = {W/h(b)}.
33Indicar cuál de los siguientes conjuntos es el conjunto de respuestas computadas
para el siguiente programa con el objetivo: ← p(X, Y ).
{p(X, Y ) ← q(Y ), r(X, Y ). q(a). q(b). r(X, X) ← q(X).} Seleccione
una:- A{{X/a,Y/a},{X/a,Y/b}}.
- B{{X/a,Y/a},{X/b,Y/a},{X/b,Y/b}}.
- C{{X/a,Y/a},{X/a,Y/b},{X/b,Y/a},{X/b,Y/b}}
- D{{X/a,Y/a},{X/b,Y/b}}.
34Sea el programa lógico Π≡{q(a)←p(b)∧q(b). p(b)←q(b).}. La semántica de la
negación para el programa Π, empleando la regla de NAF, es el conjunto:
Seleccione una:- A{¬p(a), ¬q(b)}.
- B{¬p(a), ¬p(b), ¬q(a), ¬q(b)}.
- C{¬p(a), ¬q(a), ¬q(b)}.
- D{¬p(b), ¬q(a)}.
35Indicad cuál de las siguientes sustituciones no es un unificador de p(X,f(a)) y
p(Y,Y): Seleccione una:- A{X/f(a), Y/f(a), Z/a}.
- B{Y/f(a), X/f(a)}.
- C{Z/a}◦{X/f(Z), Y/f(a)}.
- D{X/f(Z), Y/f(a), Z/a}.
36El Universo de Herbrand para el siguiente programa lógico
Π = {p(X). p(f(Y )) ← p(Y ).} es el siguiente: [Observación: f ( ) simboliza la
aplicación de f sobre un argumento n veces.] Seleccione una:- A{X,f(X),f(f(X)),...,fn (X),...}.
- B{X, Y, f(X), f(Y ), f(f(X)), f(f(Y )), . . . , fn (X), fn (Y ), . . .}.
- C{X,Y,f(Y ),f(f(Y )),...,fn (Y ),...}.
- D{a,f(a),f(f(a)),...,fn(a),...}.
37Indicad cuál de las siguientes afirmaciones es cierta para cualquier programa lógico
Π: Seleccione una:- AEl número de respuestas correctas para Π es mayor o igual que el número de
respuestas computadas para Π. - BCada respuesta correcta para Π es una respuesta computada para Π.
- CExiste el mismo número de respuestas correctas y de respuestas computadas
para Π. - DEl número de respuestas correctas para Π es menor o igual que el número de
respuestas computadas para Π.
- AEl número de respuestas correctas para Π es mayor o igual que el número de
38Indicad cuál de los siguientes conjuntos representa el conjunto de éxitos básicos del
siguiente programa lógico Π = {p(X) ← p(f(X)). p(f(0)).} [Observación: f ( )
simboliza la aplicación de f sobre un argumento n veces.] Seleccione una:- A{p(f(0))}.
- B{p(f(0)),...,p(f (0)),... }.
- C{p(0), p(f(0)),..., p(f (0)),... }.
- D{p(f(0)), p(0)}.
39Indicad cuál de las siguientes afirmaciones es verdadera: Seleccione una:
- AUn intérprete para Programación Lógica con regla de computación left-to-right
y estrategia de búsqueda depthfirst es correcto y completo. - BUn intérprete para Programación Lógica con regla de computación right-to-left
y estrategia de búsqueda depthfirst es correcto y completo. - CLa mayoría de las implementaciones de Prolog incorporan un sistema de
comprobación de tipos de datos - DDado un programa y un objetivo, el árbol de búsqueda de Prolog es único.
- AUn intérprete para Programación Lógica con regla de computación left-to-right
40Dado el siguiente programa lógico Π = {p(X, Y ) ← q(X), r(Y ). q(a). q(b).
r(a).}, indicad cuál de los siguientes conjuntos es un modelo de Herbrand de Π:
Seleccione una:- A{a, b, r(a), q(a), q(b), p(a,a), p(b,a)}.
- B{r(a), q(a), q(b), p(a,a)}.
- C{r(a), q(a), q(b), p(a,a), p(b,a), p(b,b)}.
- D{r(a), q(a), q(b), p(a,a), p(b,a), p(c,a)}
41Indicad cuál de las siguientes afirmaciones es cierta para cualquier programa lógico
Π: Seleccione una:- ACada respuesta correcta para Π es una respuesta computada para Π.
- BEl número de respuestas correctas para Π es mayor o igual que el número de
respuestas computadas para Π. - CEl número de respuestas correctas para Π es menor o igual que el número de
respuestas computadas para Π. - DExiste el mismo número de respuestas correctas y de respuestas computadas
para Π.
42Dado el siguiente programa lógico Π = {natural(s(X))←natural(X), natural(0)} y el
objetivo G ≡ ←natural(X), indicad cuál de las siguientes afirmaciones es cierta:
Seleccione una:- Aθ = { } es una respuesta correcta para G con respecto a Π.
- Bno existen respuestas computadas para G con respecto a Π ya que su árbol de
derivaciones SLD tiene una rama infinita a la izquierda. - Cel árbol de derivaciones SLD para G con respecto a Π tiene infinitas ramas de
fallo. - Dhay infinitas respuestas correctas para G con respecto a Π.
43¿Cuál de los siguientes lenguajes podría ser considerado tanto un lenguaje de
especificación ejecutable como un lenguaje de programación de alto nivel?
Seleccione una:- AC++
- BAda.
- CPascal.
- DProlog.
44Indicad cuál de los siguientes conjuntos de fórmulas representa el significado del
siguiente programa lógico: {p(Y ) ← q. q ← r(Y ). r(f(0)).}
[Observación: fn( ) simboliza la aplicación de f sobre un argumento n veces.]
Seleccione una:- A{p(f(0)),q,r(f(0))}
- B{p(Y),q,r(f(0))}
- C{q,r(f(0)),p(0),p(f(0)),...,p(fn (0)),...}
- D{q(f(0))}
45El lenguaje Prolog: Seleccione una
- Alas instrucciones se consideran como un conjunto de cláusulas sin tener en
cuenta el orden de ejecución. - Bimplementa un algoritmo de búsqueda en profundidad con vuelta atrás en el
que las variables, una vez instanciadas, no se desinstancian hasta que se produce
la vuelta atrás. - Ccomprueba la ocurrencia de variables cuando realiza la unificación de dos
expresiones. - Dno presenta problemas en el tratamiento de la igualdad.
- Alas instrucciones se consideran como un conjunto de cláusulas sin tener en
46Indicad cuál de las siguientes fórmulas es la expresión en notación clausal de la
fórmula: ∀X ∀Y (p(X,Y) v ¬q(X) v ¬q(Y) v p(Y,X)). Seleccione una:- AP(X,Y) ∧ p(Y,X) ← q(X) v q(Y)
- BP(X,Y) v p(Y,X) ← q(X) ∧ q(Y)
- CP(X,Y) ∧ p(Y,X) ← q(X) ∧ q(Y)
- Dq(X) ∧ q(X) ← p(X,Y) ∧ p(Y,X)
47Indicad cuál de las siguientes afirmaciones es cierta: Seleccione una:
- ASi un conjunto de cláusulas es incompleto, aplicando unificación se puede llegar
a deducir la cláusula vacía. - BSi un conjunto de cláusulas es consistente, aplicando resolución se puede llegar a
deducir la cláusula vacía. - CSi un conjunto de cláusulas es insatisfacible, aplicando resolución se puede llegar
a deducir la cláusula vacía. - DSi un conjunto de cláusulas es incomparable, aplicando resolución se puede
llegar a deducir la cláusula vacía.
- ASi un conjunto de cláusulas es incompleto, aplicando unificación se puede llegar
48El modelo mínimo del programa lógico Π = {nat(s(s(s(0)))). nat(X) ← nat(s(X)).}
es: Seleccione una:- A{0,s(0),s(s(0)),…,s(…(0)…),…}
- B{0, s(0), s(s(0)), s(s(s(0)))}.
- C{nat(0), nat(s(0)), nat(s(s(0))),…,nat(s(…(0)…),…}
- D{nat(0), nat(s(0)), nat(s(s(0))), nat(s(s(s(0))))}
49Dados los siguientes programas lógicos: Π1 = {p←q.}, Π2 = {p←r.} y los
programas que se obtienen como unión de Π1 y Π2 con un tercer programa Δ
={q.} ,es decir, Π1 U Δ={p←q. q.} y Π2 U Δ={p←r. q.}. Indicad, a la vista del
ejemplo anterior, cuál de las siguientes afirmaciones es cierta: Seleccione una:- AExisten programas Π1 y Π2 tales que M(Π1)=M(Π2) y, para algún programa
Δ, M(Π1 U Δ) ≠ M(Π2 U Δ). - BPara cualesquiera programas Π1 y Π2, si M(Π1) = M(Π2) entonces, para
cualquier programa Δ, M(Π1 U Δ) = M(Π2 U Δ). - CPara cualesquiera programas Π1, Π2 y Δ, M(Π1 U Δ) = M(Π2 U Δ) su y sólo
si M(Π1)=M(Π2). - DNinguna de las anteriores
- AExisten programas Π1 y Π2 tales que M(Π1)=M(Π2) y, para algún programa
50Considerar el siguiente programa lógico Π = {p(a)←p(f(a)), p(f(X))←p(X)} y el
objetivo G ≡ ← p(Y). Indicad cuál de las siguientes afirmaciones es cierta:
Seleccione una:- ATodas las ramas del árbol SLD para Π U {G} son ramas de fallo
- BTodas las ramas del árbol SLD para Π U {G} son infinitas
- CTodas las ramas del árbol SLD para Π U {G} fallan finitamente
- DTodas las ramas del árbol SLD para Π U {G} son de éxito
51¿Cuál de las siguientes características se asocia con un lenguaje de programación
imperativo? Seleccione una:- ASon los lenguajes preferidos para la gestión y acceso a la información de una
base de datos. - BExiste una separación entre el componente lógico del problema y el control.
- CNinguna de las anteriores frases puede relacionarse con un lenguaje imperativo
- DUn programa es una secuencia de instrucciones que operan sobre un estado no
explícitamente declarado
- ASon los lenguajes preferidos para la gestión y acceso a la información de una
52Indicad cuál de las siguientes afirmaciones es falsa: Seleccione una:
- AEn general, la programación declarativa es fácilmente paralelizable
- BEl modelo de computación de la programación declarativa se basa en una
máquina de estados. - CEn el paradigma de programación declarativa los programas expresan cuál es la
solución al problema y no cómo computarla. - DLas instrucciones de un programa declarativo son fórumlas bien formadas de
algún sistema lógico.
Information
- Description
- Informática Quiz on Declarativa, created by Maria B on 15/11/2022.
- Author
- Maria B
- Language
- Español
- Views
- 2
- Tags
- Rating
- No ratings yet Rate this quiz