Prolog - sobre declaracion de operaciones 3a parte

implement baseball
open core
constants
className = "baseball".
classVersion = "".
clauses
classInfo(className, classVersion).

domains
gender=casado();soltereo().
class facts
jugador:(string JugadorName).
posicion:(string PosicionName).
soltero:(string Nombre).
casado:(string Posicion).
edo_civil:(string Nombre, string Edo).
edo_civilP:(string Posicion, string Edo).
class predicates
no_es:(string Nombre, string Jugador).
clauses
no_es(Jugador,Posicion):- edo_civil(Jugador,"Casado"),edo_civilP(Posicion,"Soltero").
class predicates
reconsult:(string Filename).
clauses
reconsult(Filename):- retractAll(_,baseballtxt), file::consult(FileName, baseballtxt).
clauses
run():-
console::init(),
StdIO::write("Cargando Datos\n"),
reconsult("baseballtxt.txt"),
StdIO::write("\nJugadores de BaseBall"),
no_es(X,Y),
StdIO::writeF("No es Jugador",X,Y),
fail.
% succeed(). % place your own code here
end implement baseball

goal
mainExe::run(baseball::run).

Hola, es muy interesante el codigo q estas usando, de todas formas no se si puedes mostrarme como creaste tu "baseballtxt.txt" , q si no me equivoco es la base de conocimiento, no se como hacerlo, si se hace en un txt como me va a reconocer mi variables como "18<=edad<=25" y lo necesito urgente gracias.