N-Prolog ver4.72 Release Notes

N-Prolog ver4.72 Release Notes

Release Type: Performance & Compiler Improvement
Version: 4.72

What's New

This release focuses on compiler enhancements to improve execution speed. The main updates include:

1. Elimination-Aware Compilation

   • The compiler now takes Elimination into account, optimizing the generated code for faster execution.

2. Deterministic Predicate Optimization

   • Predicates composed entirely of deterministic clauses can now be proven without generating a full proof tree.
   • This optimization significantly reduces computation time for deterministic operations.

Performance Improvements

• Execution speed is noticeably improved, especially for deterministic computations and common Prolog patterns.
• The changes make better use of available computational resources and prepare the ground for more efficient distributed or parallel execution.

Summary

N-Prolog ver4.72 brings a solid performance boost thanks to compiler-level optimizations. Users can expect faster execution without any changes required in existing code.