Compiler options for endless loops and stack overflow
Posted: 8 Sep 2015 18:00
Hi,
The Visual Prolog compiler has an array of warnings that point to potential flaws in the logic of a program -- an extremely useful feature indeed. Two other runtime conditions, Endless loops and Stack overflows, are pointers to some problem with the logic. Is it feasible for future versions of Prolog to detect and give warnings at compile time wherever this is likely to occur in the code?
The Visual Prolog compiler has an array of warnings that point to potential flaws in the logic of a program -- an extremely useful feature indeed. Two other runtime conditions, Endless loops and Stack overflows, are pointers to some problem with the logic. Is it feasible for future versions of Prolog to detect and give warnings at compile time wherever this is likely to occur in the code?