Typically, Prolog variables are assigned by the compiler “internal names”, so that it is impossible to sort them using their original names (those provided by the user or by an input file). However, in LPA Win-Prolog it is possible to preserve the original variable names, as well as sort them on the basis of these [...]
Filed under: LPA Win-Prolog, Prolog, source code | 2 Comments »
