Skip to content

N-Prolog Version 4.42

Choose a tag to compare

View all tags
@sasagawa888 sasagawa888 released this 22 Jun 22:34
v4.42
0a7ee9c

📢 N-Prolog Ver 4.42 Release Notes

✨ Highlights

Version 4.42 of N-Prolog focuses on enhancing the math library, especially with new features related to group theory. You can now work directly with permutation groups, such as symmetric and alternating groups, and perform computations and verifications interactively in Prolog.

🧮 Enhancements to the math Library

  • Support for Permutations and Group Operations
    Permutations are treated as substitutions and can be manipulated directly. Supported operations include:

    • Identity permutation generation: perm_ident/2
    • Permutation multiplication: perm_mul/3
    • Inverse calculation: perm_inv/2
    • Even permutation test: perm_even/1

  • Group Generation Predicate

    • groupe_create/2 generates permutation groups (e.g., symmetric or alternating groups).
    • The predicate p/2 defines group operations using permutation indices.

📘 Example Usage

?- use_module(math).
yes.

?- groupe_create(perm, 3).
yes.

?- Z isg 2*2.
Z = 1.
Assets 2
Loading