Skip to content

N-Prolog ver4.20

Choose a tag to compare

View all tags
@sasagawa888 sasagawa888 released this 10 May 02:22
v4.20
4d3855b

N-Prolog ver4.20 Release Notes

Main Updates

Improved CLPFD Functionality

This version includes significant performance improvements to the CLPFD (Constraint Logic Programming over Finite Domains) system.
Earlier versions suffered from inefficiencies, especially when solving problems with large search spaces.

Enhanced Performance

With version 4.20, the system has been optimized to solve the 9-queens problem and enumerate all solutions with performance comparable to that of the interpreter.

Educational Purpose

The current implementation intentionally uses a straightforward algorithm.
It is designed to serve as a foundation for understanding more advanced constraint-solving algorithms.

Documentation

For further details, please refer to CLPFD.md.
It includes an overview of the algorithm and the constraint handling mechanism.

Assets 2
Loading