🌀 N-Prolog ver4.37 Release Announcement

Hello everyone,
We are pleased to announce the release of N-Prolog version 4.37.

This version introduces an important improvement to the AC-3 (Arc Consistency Algorithm 3), which significantly enhances its performance.

🔧 Key Change: Smarter Re-queuing in AC-3

In previous versions,
every time a single value was removed from a domain, the related arc was immediately re-added to the queue for rechecking.

While simple, this approach led to redundant rechecks and unnecessary computational overhead.

In version 4.37, we’ve revised this behavior as follows:

An arc is re-added to the queue only if at least one value was removed during its inspection.

This change eliminates redundant operations and leads to noticeably improved performance in constraint propagation.

We invite you to try this version and share your feedback on:

Even small comments or bug reports are greatly appreciated and help us refine N-Prolog further.

N-Prolog is more than just a Prolog system —
it is a space where logic and mathematics come alive through declarative programming.

We look forward to continuing to build this world together with all of you.