N-Prolog Version 4.41

N-Prolog Version 4.41 Release Notes

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

This update includes two major improvements:

---

🗂️ File Path Resolution Refactored

The internal mechanism for resolving file paths has been redesigned for clarity, consistency, and predictability.

• Files can now be loaded relative to:
  1. Current directory (e.g., ./file)
  2. $NPROLOG_HOME environment variable
  3. $HOME/nprolog/ directory
  4. Absolute paths or other fallback cases
• If the file name has no extension and contains no dot (.), .pl is automatically appended.
• See the updated documentation for full details on file resolution rules.

---

📚 Enhanced Mathematics Library (math module)

We have expanded the math module to support a broader range of symbolic mathematical operations, inspired by Professor Iitaka's book on mathematics using Prolog.

• Set operations: union/3, intersection/3, difference/3, powerset/2, subset/2, eqset/2, etc.
• Map functions: map_val/3, map_set/3, map_inv/2, map_prod/3, etc.
• Topology: topology/2, topology_space/2
• Permutations: perm_prod/3, perm_inv/2, perm_div/3, perm_sign/2, etc.
• Infix notation support for improved readability (e.g., Z isl X + Y)

More predicates will continue to be added to this module in future releases.

---

Thank you for using N-Prolog. Feedback and contributions are always welcome.