iso-prolog
Reorganizar los nombres de las variables
Cómo escribir de una manera estándar conforme avs_term_rearranged(AVs, T, AVsR) con AVs y T dado tal que AVsR es una permutac ... t(L, K), L == K.
Como ejemplo:
?- avs_term_rearranged(['A'=A,'B'=B,'C'=C], A+C+F+B, AVsR).
AVsR = ['A'=A,'C'=C,'B'=B].
Unificación con detección STO
En ISO la unificación Prolog se define solo para aquellos casos que son NSTO (no sujetos a occurs-check). La idea detrás es ... ueda por hacer es la distinción entre falla NSTO y casos de error STO. Ahí es donde las cosas empiezan a ponerse difíciles...
Prolog-sintaxis de contras inusuales para listas
Me he encontrado con un poco desconocido de sintaxis Prolog en el documento de Lee Naish Programación lógica de orden superio ... endo algo mal).
¿Alguien lo reconoce? ¿es correcta mi hipótesis? ¿Qué intérprete de Prolog acepta eso como sintaxis válida?