Preguntas etiquetadas con logical-purity

2
Uso de objetivos redundantes en consultas
(Por sugerencia de @repeat ) Considere una consulta de un programa puro 1 ?- G_0. ¿De qué sirve si la consulta ?- G_0, G_0.tuviera alguna ? Notas al pie 1 Sin tabulación (para estar seguro), las restricciones están bien. Publicación anterior sobre el tema.
Al usar nuestro sitio, usted reconoce que ha leído y comprende nuestra Política de Cookies y Política de Privacidad.
Licensed under cc by-sa 3.0 with attribution required.