SoloCodigo

Programación Específica => Otros temas específicos => Programación Lógica => Mensaje iniciado por: Clorindo en Martes 26 de Agosto de 2003, 19:41

Título: informacion sobre bottom-up con doble negacion
Publicado por: Clorindo en Martes 26 de Agosto de 2003, 19:41
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