Toggle navigation
?
users online
Logout
Open hangout
Open chat for current file
familia(persona([tomas,garcia,perez], fecha(7,mayo,1990), trabajo(profesor,75)), persona([ana,lopez,ruiz], fecha(10,marzo,1972), trabajo(medica,100)), [ persona([juan,garcia,lopez], fecha(5,enero,1990), estudiante), persona([maria,garcia,lopez], fecha(12,abril,1992), estudiante) ]). familia(persona([jose,perez,ruiz], fecha(6,marzo,1973), trabajo(pintor,150)), persona([luisa,galvez,perez], fecha(12,mayo,1974), trabajo(medica,100)), [ persona([juan_luis,perez,perez], fecha(5,febrero,2000), estudiante), persona([maria_jose,perez,perez], fecha(12,junio,2002), estudiante), persona([jose_maria,perez,perez], fecha(12,julio,2004), estudiante) ]). casado(X) :- familia(X,_,_). casada(X) :- familia(_,X,_). /** <examples> ?- familia(_,_,[]). ?- familia(_,_,[_]). ?- familia(_,_,[_,_]). ?- familia(_,_,[_,_,_]). ?- familia(_,_,[_,_,_,_]). ?- familia(persona(NP,_,_),_,[_,_,_]). ?- casado(X). ?- casada(X). ?- casada(persona([N,_,_],_,trabajo(_,_))). */