Obra la fuerza de secchin

FACTS

tiene_nombre(string,string)

tiene_extension(string,string)

tiene_departamento(string,string)

tiene_provincia(string,string)

tiene_clima(string,string)

tiene_animales(string,string)

PREDICATES

nondeterm departamento(string,string)

nondeterm nombre(string,string)

nondeterm provincia(string,string)

nondeterm extension(string,string)

nondetermclima(string,string)

nondeterm animales(string,string)

CLAUSES

//ESQUEMA DE CLAUSES

tiene_nombre(tipo ecologico,nombre del lugar)

tiene_extension(nombre del lugar, extensión del lugar)

tiene_departamento(nombre del lugar,departamento del lugar)

tiene_provincia(departamento del lugar,provincia del departamento)

tiene_clima(departamento del lugar,clima del departamento)tiene_animales(nombre del lugar,animales del lugar)

//REGLAS

departamento(X,Y) : - tiene_nombre( X , A ) , tiene_departamento ( A , Y ) .

nombre(X,Y) : - tiene_nombre( X , Y) .

provincia(X,Z) : - tiene_nombre( X , A ) , tiene_departamento ( A , B ) ,

tiene_provincia ( B , Z ) .

extension(X,Y) : - tiene_nombre( X , A ) , tiene_extension ( A , Y ) .

clima(X,Z) :- tiene_nombre( X , A ) , tiene_departamento ( A , B ) ,

tiene_clima ( B , Z ) .

animales(X,Z) : - tiene_nombre( X , A ) , tiene_animales( A , Z ) .

GOAL

Departamento(X,Z)

DESARROLLADO EN ACTION SCRIPT

//FACTS

var tiene_nombre = new Array();

var tiene_departamento = new Array();

var tiene_clima = new Array();

var tiene_provincia = newArray();

var tiene_extension = new Array();

var tiene_animales = new Array();

//PREDICATES

var departamento = new Array();

var nombre = new Array();

var provincia = new Array();

var extension = new Array();

var clima = new Array();

var animales = new Array();

//CLAUSES

tiene_nombre.push({TIPO_ECOLOGICO: "PARQUES NACIONALES", NOMBRE: "CUTERVO"});tiene_nombre.push({TIPO_ECOLOGICO: "PARQUES NACIONALES", NOMBRE: "TINGO MARIA"});

tiene_nombre.push({TIPO_ECOLOGICO: "PARQUES NACIONALES", NOMBRE: "MANU"});

tiene_nombre.push({TIPO_ECOLOGICO: "PARQUES NACIONALES", NOMBRE: "HUASCARAN"});

tiene_nombre.push({TIPO_ECOLOGICO: "PARQUES NACIONALES", NOMBRE: "CERROS DE AMOTAPE"});

tiene_nombre.push({TIPO_ECOLOGICO: "PARQUES NACIONALES", NOMBRE: "RIO ABISEO"});tiene_nombre.push({TIPO_ECOLOGICO: "PARQUES NACIONALES", NOMBRE: "YANACHAGA"});

tiene_nombre.push({TIPO_ECOLOGICO: "PARQUES NACIONALES", NOMBRE: "BAHUAJA"});

tiene_nombre.push({TIPO_ECOLOGICO: "SANTUARIOS NACIONALES", NOMBRE: "HUAYLLAY"});

tiene_nombre.push({TIPO_ECOLOGICO: "SANTUARIOS NACIONALES", NOMBRE: "CALIPUY"});

tiene_nombre.push({TIPO_ECOLOGICO: "SANTUARIOS NACIONALES",NOMBRE: "LAGUNAS DE MEJIA"});

tiene_nombre.push({TIPO_ECOLOGICO: "SANTUARIOS NACIONALES", NOMBRE: "AMPAY"});

tiene_nombre.push({TIPO_ECOLOGICO: "SANTUARIOS NACIONALES", NOMBRE: "MANGLARES"});

tiene_nombre.push({TIPO_ECOLOGICO: "SANTUARIOS NACIONALES", NOMBRE: "TABACONAS"});

tiene_nombre.push({TIPO_ECOLOGICO: "SANTUARIOS HISTORICOS", NOMBRE: "PAMPA DE AYACUCHO"});tiene_nombre.push({TIPO_ECOLOGICO: "SANTUARIOS HISTORICOS", NOMBRE: "MACHUPICCHU"});

tiene_nombre.push({TIPO_ECOLOGICO: "SANTUARIOS HISTORICOS", NOMBRE: "CHACAMARCA"});

tiene_nombre.push({TIPO_ECOLOGICO: "COTOS DE CAZA", NOMBRE: "SUNCHUBAMBA"});

tiene_nombre.push({TIPO_ECOLOGICO: "COTOS DE CAZA", NOMBRE: "EL ANGOLO"});

tiene_nombre.push({TIPO_ECOLOGICO: "BOSQUES NACIONALES", NOMBRE: "PASTAZA"});tiene_nombre.push({TIPO_ECOLOGICO: "BOSQUES NACIONALES", NOMBRE: "MARISCAL CACERES"});

tiene_nombre.push({TIPO_ECOLOGICO: "BOSQUES NACIONALES", NOMBRE: "BIABO"});

tiene_nombre.push({TIPO_ECOLOGICO: "BOSQUES NACIONALES", NOMBRE: "ALEXANDER"});

tiene_animales.push({NOMBRE: "CUTERVO", ANIMAL: "JAGUAR"});

tiene_animales.push({NOMBRE: "CUTERVO", ANIMAL: "TIGRILLO"});

tiene_animales.push({NOMBRE:...