Skip to content

N-Prolog ver4.38

Choose a tag to compare

View all tags
@sasagawa888 sasagawa888 released this 07 Jun 22:29
ver4.38
4553bde

N-Prolog ver4.38 Release Notes

We are pleased to announce the release of N-Prolog version 4.38.

This update focuses on bug fixes discovered through computations related to topological spaces as described in Professor Iitaka’s textbook. Several issues and deviations from the intended behavior were identified, and both the interpreter and compiler have been revised accordingly to ensure correct execution.

Bug Fixes and Improvements

  • Proper removal of duplicate elements in sort/2
  • Prevention of data loss in bagof/3 under certain conditions
  • Correct compilation of nested conjunctions
  • Improved compilation of the second argument in bagof/3

These fixes enhance the correctness and reliability of logical inference, especially in mathematical applications involving symbolic computation.

Assets 2
Loading