N-Prolog Version 4.49

📌 N-Prolog ver.4.49 Release Notes (July 2025)

🔧 Bug Fixes

• Fixed a bug in copy_term/2.
  There was an issue with variable substitution not being performed correctly. This has been resolved in the current version.

📚 New Features

• Added the Lambda library.
  This library was introduced to support computational experiments with Montague grammar.
  Predicates such as lam/2, app/2, and beta_reduce/2 are now available.

📣 Call for Bug Reports

N-Prolog continues to evolve.
We welcome your bug reports and feedback to help improve the system further.