Edición de «Final 02/08/2023 (Paradigmas)»
De Cuba-Wiki
Revisión del 14:44 17 ene 2024 de 2803:9800:9001:bd81:50b1:bce6:d25a:afa4 (discusión) (Página creada con «1) agarra la regla de occur check y la cambia para que en vez de fallar, no hace nada y elimina la ecuación a. Encontrar un problema de unificación donde dependiendo del orden de elección, falle o no falle b. Idem pero dependiendo del orden de sustituciones distintas c. Encontrar un conjunto de clausulas satisfactible desde el cual se pueda llegar a la clausula vacía con esta modificación del algoritmo de mgu 2) dar la lista de todos los predicados sobre naturale…»)
Advertencia: estás editando sobre una revisión antigua de esta página. Si la publicas, se perderá cualquier otro cambio realizado desde esa revisión.
Advertencia: no has iniciado sesión. Tu dirección IP se hará pública si haces cualquier edición. Si inicias sesión o creas una cuenta, tus ediciones se atribuirán a tu nombre de usuario, además de otros beneficios.