Necesito hacer un pequeño compilador prolog al cual luego deserle introducida una formula bien formada debuelva su forma normal disyuntiva (FND. Si alguien tiene una material que me sea util o un seudocodigo que llevandolo a prolog me devolviera este resultado, les estarias infinitamente agradesido.

Responder