Este es el codigo ksl de prolog

1. frame nematoda;
default tipocuerpo is alargado
and default tipocuerpo is liso
and default tipo is elque_sea .
frame adenophorea is a nematoda
default parasito is endocelular
and default cavidad_bucal is 1 .
frame secernentea is a nematoda
default parasito is pluricelular
and default cavidad_bucal is 2 .
frame dorylaimida is a adenophorea
default esofago is grande
and default cuticula_gruesa is si .
frame triplonchida is a adenophorea
default esofago is pequeno
and default cuticula_gruesa is no .
frame dorylaimidae is a dorylaimida
default numero_ovarios is 1
and default labio_ancho is si .
frame thornidae is a dorylaimida
default numero_ovarios is 2
and default labio_ancho is no .
frame trichodoridae is a triplonchida
default tamano is 2
and default tipo_cuerpo is alargado .
frame monotrichodura is a triplonchida
default tamano is 1
and default tipo_cuerpo is redondeado .
frame rabdhitida is a secernentea
default habitat is suelo
and default tamano is pequeno .
frame strongoloides is a secernentea
default habitat is intestino
and default tamano is grande .
frame rabdhitinae is a rabdhitida
default labios_cerrados is si
and default tamano_vulva is mediana .

2. frame heteroradhitis is a rabdhitida
default labios_cerrados is no
and default tamano_vulva is pequeno .
frame strongylidae is a strongoloides
default color is rojizo
and default capsula_bucal is 1 .
frame strongylus is a strongoloides
default color is marron
and default capsula_bucal is 2 .
question p1
de que clase es la nematodo ? ;
choose one of endocelular, unicelular .
question p2
como es el esofago del parasito ? ;
choose one of grande, pequeno .
question p3
cual es el numero de ovarios del parasito ? ;
choose one of 1, 2 .
question p4
como es el tipo_cuerpo del parasito ? ;
choose one of alargado, redondeado .
question p5
cual es el habitat del parasito ? ;
choose one of intestino, suelo .
question p6
son cerrados los labios del parasito ? ;
choose one of si, no .
question p7
cual es el color del parasito ? ;
choose one of marron, rojizo .
rule r1
if the p1 is endocelular
and the p2 is grande
and the p3 is 1

3. then the nematoda`s tipo becomes dorilaimidae .
rule r2
if the p1 is endocelular
and the p2 is grande
and the p3 is 2
then the nematoda`s tipo becomes thornidae .
rule r3
if the p1 is endocelular
and the p2 is pequeno
and the p4 is alargado
then the nematoda`s tipo becomes trichodoridae .
rule r4
if the p1 is endocelular
and the p2 is pequeno
and the p4 is redondeado
then the nematoda`s tipo becomes monotrichodura .
rule r5
if the p1 is unicelular
and the p5 is suelo
and the p6 is si
then the nematoda`s tipo becomes rabdhitinae .
rule r6
if the p1 is unicelular
and the p5 is suelo
and the p6 is no
then the nematoda`s tipo becomes heteroradhitis .
rule r7
if the p1 is unicelular
and the p5 is intestino
and the p7 is rojizo
then the nematoda`s tipo becomes strongylidae .
rule r8
if the p1 is unicelular
and the p5 is intestino
and the p7 is marron
then the nematoda`s tipo becomes strongylus .
group marfe
r1, r2, r3, r4, r5, r6, r7, r8 .

4. ruleset reglas
contains marfe ;
update ruleset by removing each selected rule .
action trabajo ;
do restart
and invoke ruleset reglas
and echo ('el nematodo que usted esta buscando es :', nematoda`s tipo)
and nl .