preparando implementacion de truth maintenance
avances truth maintenance
avances truth maintenance
avances truth maintenance