Duda algoritmo
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.