AYUDA: arboles semanticos en c/c++

[mpslol]

Tengo como un proyecto final crear un evaluador de expresiones logicas (prolog). utilizando arboles semanticos (gentzen)
ejemplo:

(A V B) > (A V B)

este argumento es valido ya que al terminar de resolverlo con arboles semanticos A elimina a ~A y B se elimina con ~B.

El problema es que no domino muy bien aun el lenguaje C++ o C.

ayuda porfavor si puede darme alguna orientacion o un ejemplo de como se crea un arbol para poder evaluar la expresion y resolverla tambien.

agradecerlos a todos

[Pantalàimon_]

Hola.

¿Podrías explicar de forma más precisa como desarrollas el árbol semántico. Es que lo tengo un poco olvidado el procedimiento y, a la vez, creo que según la bibliografía unos lo hacen de una manera u otra. Por otro lado con el símbolo ">" quieres referirte a el símbolo "-->" ?

Un saludo!

[mpslol]

[Pantalàimon_]

Si el problema es en la implementación de árboles sólo hay que googlear un poco. En este caso se tratara de arboles con nodos que como máximo tengan dos hijos.

Pensaba que el problema estaba en el algoritmo de evaluación de expresiones lógicas. De todas maneras, con lo que recuerdo, para realizar dicho algoritmo de evaluación lógica no es necesario usar una estructura de datos arbol. Usando un autómata de pila y quizá usando algo de recursividad se podría realizar. Por eso te preguntaba concretamente por cómo hacías el arbol semántico de A v B -> A v B y cómo llegabas a la evaluación de éste.

Un saludo!

[mpslol]

Hola!
Si eso es seguro, pero lo que busco es alguien que me pueda dar el programa si es que lo tiene ya hecho o armado.
Yo soy muy bueno programando en java pero mi profesor insiste en que el programa sea en C o C++, y ambos los conozco poco, no obstante, se explicarlos mi unico problema es la sintaxis del lenguaje.

Sabeis donde puedo encontrar dicho programa o al menos el código para evaluar una expresión lógica?