Duda algoritmo

oaramirez
10 de Marzo del 2006
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.