]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5585e83) | patch
call_with_inference_limit/3 should fail if inference limit is exceeded and R term...
authorMark <[email protected]>
Tue, 5 Sep 2023 17:51:06 +0000 (11:51 -0600)
committerMark <[email protected]>
Tue, 5 Sep 2023 17:51:06 +0000 (11:51 -0600)
commit83ebce86b62a86832767b671fede17f3b50cab29
treee7286fd12d0e59fd0cac109581501bdbb82da1fftree | snapshot
parent5585e83fd692f4b04d4b4a9dcb7b7b220f887df2commit | diff
call_with_inference_limit/3 should fail if inference limit is exceeded and R term is not inference_limit_exceeded (#1977)
src/lib/iso_ext.pl diff | blob | history
FORK: A modern Prolog implementation written mostly in Rust