N-Prolog version3.77
N-Prolog ver3.77 Release Notes
This version 3.77 introduces minor improvements to the compiled code. The main updates are as follows:
1. Efficiency Improvement through Static Analysis by the Compiler
The N-Prolog compiler performs static analysis of unify operations and converts them into more efficient code. In this version, we have particularly optimized the instruction for handling unification with [] (the empty list).
2. Improvement of the unify_nil Instruction
Previously, the following instruction was used to check unification with []:
unify_nil(x, y, th)
However, since the other side is always fixed as [], this instruction has been simplified to:
unify_nil(x, th)
x: The value on the other side of[]th: The thread number
This change simplifies the code slightly and improves its efficiency.
3. Bug Reports from Users
We continue to welcome bug reports and feedback from users. Your input helps us improve N-Prolog further.
Thank you for your continued support of N-Prolog.