N-Prolog ver3.95
N-Prolog ver3.95 Release Notes
Release Date: February 22, 2025
New Features and Improvements
-
Optimization of Compiled Code for Deterministic Predicates
- For deterministic predicates, optimizations have been applied assuming no backtracking occurs.
- By omitting the generation of proof sequences, unnecessary memory consumption is reduced, resulting in improved execution speed.
-
Optimization for Deterministic and Tail-Recursive Predicates
- Tail call optimization has been enhanced for predicates that are both deterministic and tail-recursive.
- When stack frames are not needed, the compiled code directly jumps to the next call, leading to better performance.
-
Improved Execution Speed
- The above optimizations significantly increase execution speed compared to previous versions.
- Programs that heavily utilize deterministic predicates experience noticeable performance gains.