Toggle navigation
?
users online
Logout
Open hangout
Open chat for current file
no(P) :- P, !, fail. no(_). aprobado(X) :- no(suspenso(X)), matriculado(X). matriculado(juan). matriculado(luis). suspenso(juan). /** <examples> ?- aprobado(luis). ?- aprobado(X). */