Skip to content

N-Prolog ver4.55

Choose a tag to compare

View all tags
@sasagawa888 sasagawa888 released this 03 Aug 08:48
v4.55
9fea1d2

📦 N-Prolog ver4.55 Release Notes
Overview
This version focuses on improving compiler performance and strengthening reliability through enhanced checking and internal name management.
🔧 Compiler Enhancements
Optimized the compiler for maximum execution speed in sequential (deterministic, tail-recursive) code paths.
Performance improved significantly in common logic programming problems. For example, the Queens problem now runs nearly as fast as SWI-Prolog.
🛡️ Checker Module Improvements
Enhanced the Checker module to detect and fix:
Singleton variables
Predicate arity mismatches
This allows for safer refactoring and minimizes human error during development.
🧠 Internal Predicate Name Conflict Handling
Addressed name collisions between user-defined predicates and compiler internals.
For example, using a predicate named unify would previously conflict with the internal handling of the =/2 operator. Such issues are now avoided via internal naming conventions (e.g., reserved prefix n_).

Assets 2
Loading