php convertidor

TAREA 2 – LBC


% 3.1 jugador(nombre,apellido, edad)

domains
nombre=symbol
apellido=symbol
edad=integer

predicates
nondeterm jugador(nombre,apellido, edad).clauses
jugador(junior,papuico,26).
jugador(luia,galves,23).
jugador(abel,surco,35).
jugador(victor,cedron,27).
jugador(rony,sanchez,18).

goal
%JUGADORES QUE TIENEN MAS DE22 AÑOS DE EDAD
jugador(X,Y,Z),Z>22,nl.

%3.2 producto(código,descripción,stock,precio)

domains
codigo=integer
descripcion=symbol
stock=integer
precio=integerpredicates
nondeterm producto(codigo,descripcion,stock,precio).

clauses
producto(001,televisor,15,1700).
producto(002,lavavajilla,25,354).
producto(003,casaca,38,550).producto(004,refrigeradora,28,325).
producto(005,lavadero,80,100).

goal
%productos que cuesten entre 150 y 400
producto(X,Y,Z,W),W>150,W500,nl.









% 3.5empleado(código, nombre, ape_pat,ape_mat,sexo,estado_civil, edad, ojos,cabello)
domains
codigo=integer
nombre=symbol
ape_pat=symbol
ape_mat=symbol
sexo=symbol
estado_civil=symboledad=integer
ojos=symbol
cabello=symbol

predicates
nondeterm empleado(codigo,nombre,ape_pat,ape_mat,sexo,estado_civil,edad,ojos,cabello)

clausesempleado(1,"luisa","rodrigues","salcedo","F","D",20,"N","N").
empleado(2,"jorge","galves","vazques","M","V",45,"P","C").
empleado(3,"anabel","torres","zelada","F","D",36,"C","R").empleado(4,"americo","surco","nuñes","M","S",22,"C","R").
empleado(5,"josefina","suares","garcia","F","K",27,"C","C").

goal
empleado(X,Y,Z,W,Q,M,N,L,S),Q="M";
empleado(X,Y,Z,W,Q,M,N,L,S),M="D";empleado(X,Y,Z,W,Q,M,N,L,S),Q="F",M="S",N18;
empleado(X,Y,Z,W,Q,M,N,L,S),Q="M",M="V",N35;
empleado(X,Y,Z,W,Q,M,N,L,S),Q="F",M="D",N30;
empleado(X,Y,Z,W,Q,M,N,L,S),Q="F",M="K",M="C",N25.