pyreason
pyreason copied to clipboard
Add functionality for a new tag allow_duplicates
Add functionality for a new tag allow_duplicates where if False , multiple variables in the body cannot be grounded by the same constant simultaneously. Currently, it works like allow_duplicates=True always.