Skip to content

N-Prolog ver4.30

Choose a tag to compare

View all tags
@sasagawa888 sasagawa888 released this 18 May 02:29
v4.30
2acf84c

N-Prolog Ver 4.30 Release Notes

Deliberate Omission of Heuristic Optimization

Many Prolog systems, such as SWI-Prolog, skillfully incorporate heuristics to automatically optimize search efficiency.
However, N-Prolog intentionally avoids such heuristic automation to emphasize education and learning.
By allowing users to manually control variable ordering and add constraints, they can experience how these choices affect the pruning of the search space and the efficiency of constraint solving, thereby gaining deeper insight into the essence and process of constraint programming.

Addition of New Constraint Operators

To enrich the expressive power of manual constraint formulation and enhance practical and educational value, we introduced three new operators into CLPFD:

  • Modulo operator: mod
  • Exponentiation operators: ^ and **
  • Integer division operator: //

These operators make it easier to express calculations such as carry operations and other numeric formulas, enabling faster and more flexible constraint modeling.

N-Prolog Ver 4.30 presents a new approach to CLPFD that balances practical utility with educational value.
We encourage you to try it out!

Assets 2
Loading