Buenas!çEstoy acabando el proyecto pero tengo problemas con la memoria ya que no encuentro nada sobre prolog en bottom-up con doble negacion.
(well-founded semantics with explicit negation).
Si sabeis donde puedo encontrar algo os lo agradeceria.
Gracias
