fbf

Comprueba si una fórmula está bien formada.
				fbf((no P)) :- !,fbf(P).
fbf((P y Q)) :- !,fbf(P),fbf(Q).
fbf((P o Q)) :- !,fbf(P),fbf(Q).
fbf((P imp Q)) :- !,fbf(P),fbf(Q).
fbf((P coimp Q)) :- !,fbf(P),fbf(Q).
fbf(P) :- atom(P),!,proposicion(P).
fbf(_) :- nl,
write('¡ERROR! : Formula erronea. Vuelve a introducirla.'),
nl, nl, !, fail.
/* proposicion(Prop) <- Prop es una variable proposicional */
proposicion(X) :- miembro(X,[p,q,r,s,t,u,v]),!.
proposicion(_) :- nl,
write('¡ERROR! no es simbolo de var.proposicional'),
nl,nl,!,fail.
Descargar adjuntos
COMPARTE ESTE TUTORIAL

COMPARTIR EN FACEBOOK
COMPARTIR EN TWITTER
COMPARTIR EN LINKEDIN
COMPARTIR EN WHATSAPP
TUTORIAL ANTERIOR

SIGUIENTE TUTORIAL

¡SÉ EL PRIMERO EN COMENTAR!
Conéctate o Regístrate para dejar tu comentario.