Estudiante

Predicados conjuntuales
Las implementaciones actuales de PROLOG incorporan predicados conjuntuales. Muchas de ellas como por ejemplo, Arity-PROLOG y Win- Prolog contienen como primitivas:setof/3 bagof/3 findall/3
Estas primitivas no son verdaderas extensiones de PROLOG dado que pueden definirse en el mismo PROLOG utilizando algunos de sus rasgos extralógicos.
bagof(Término,Condición, Lista). Colecciona en la lista Lista todas las instancias de Término tales que Condición es verdadera.
Observaciones: – Las variables en Término sólo deben ocurrir en Condición. – Lasvariables en Condición ocurren en Término, son libres o están acotadas por el cuantificador existencial.
Una variable es libre en Condición si: a) No está instanciada cuando es llamado bagof. b) Noocurre en Término. c) No está cuantificada existencialmente (no está acotada).
– Falla si no existen instancias de Término que satisfacen a Condición. El cuantificador existencial ( ^ ) se usa sobrevariables no instanciadas para hacerlas aparecer en bagof como si estuvieran acotadas:
X ^ P : X está acotada existencialmente en P. X ^ Y ^ P ó (X, Y) ^ P: X y Y están acotadas.
Para cadainstancia de las variables libres, bagof suministra todas las instancias de Término en una lista no ordenada que puede contener instancias duplicadas.
Ejemplo: Dado el programa lógico: estudia(ana,musica). estudia(ana, baile). estudia(andres, ingenieria). estudia(andres, musica).
?- bagof(X, estudia(Y,X), Estudia). X = _0034 Y = ana Estudia = [musica, baile] ; X = _0034 Y = andres Estudia =[ingenieria, musica]
El cuantificador existencial anuncia que para cualquier instanciación de Y en la condición, bagof suministra todas las instancias de X. ?- bagof(X, Y ^ estudia(Y,X), L). X.= _0034 Y =_0048 L = [musica, baile, ingenieria, musica].
-setof(Termino, Condición, Lista). Semejante a bagof, pero suministra una lista ordenada que no contiene duplicados.
Ejemplos. ?- setof(X,...