]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f9eadc8) | patch
Special case for `(^)/2`
authornotoria <[email protected]>
Mon, 8 Jan 2024 20:50:02 +0000 (21:50 +0100)
committernotoria <[email protected]>
Mon, 8 Jan 2024 20:50:02 +0000 (21:50 +0100)
commit902cd5c3eadf8deb52a25bbfe199a9dacdb2b12b
tree77ca8aefb4404f7dcd614644b4cbb0fa6fbbad77tree | snapshot
parentf9eadc8e6ae0c735439872311bf203481b547371commit | diff
Special case for `(^)/2`

The only solutions for `Z #= X^Z` are `X = Z, X in -1\/1`. Also helps
avoid big numbers.
src/lib/clpz.pl diff | blob | history
FORK: A modern Prolog implementation written mostly in Rust