N-Prolog ver5.10

N-Prolog ver5.10 Release Notes

N-Prolog ver5.10 has been released.

This version focuses on compiler stabilization and robustness improvements achieved through extensive stress testing.

Highlights

Significant improvements to the compiler
Fixed numerous bugs discovered during repeated stress testing
Improved overall stability and reliability
Accurate handling of conditional constructs
Improved compilation of nested conditional expressions
More reliable support for A -> B ; C style control structures
Stable behavior even with deeply nested and complex conditions
Stress test validation
Verified that interpreter and compiled code produce identical results for:
stress1
stress2
stress3
stress4
Confirmed that stress5 also passes successfully

Improved semantic consistency

Reduced discrepancies between interpreter execution and compiled execution
Better handling of backtracking and variable bindings in compiled code

Notes

Integer division is currently supported using //
The div operator is not yet implemented

Overview

This release represents a major step toward a stable and reliable Prolog system suitable for learning, experimentation, and practical use.

The core architecture is now solid, and most typical Prolog programs can be compiled and executed correctly.

Further improvements will continue based on user feedback.