rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions 1 Packages Projects Releases Wiki Activity
4,504 Commits 2 Branches 18 Tags
87f97c7e5c7551a28aaab871ba36fd3e2c0aa1a4
Commit Graph
4504 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Daniel K Lyons ed36aa7313 Fixed a typo in the documentation for atom_codes/2 2026-01-20 09:54:18 -07:00
Markus Triska 0dc94ecc0b ADDED: not_si/1 
For a recent example that would benefit from this, see "Prolog Basics
Explained with Pokémon" by @alexpetros:

    https://unplannedobsolescence.com/blog/prolog-basics-pokemon/

Thank you a lot!
 2026-01-18 09:58:31 +01:00
Mark Thom 453a88f03e Merge pull request #3211 from mthom/setof_correction_and_opt 
Correct and optimize setof/3 and bagof/3
 2026-01-14 22:07:10 -07:00
Mark Thom c79fd74331 remove unnecessary extra work in findall_with_existential/5 2026-01-14 20:39:48 -08:00
Mark Thom e446b13376 remove hashbrown crate 2026-01-14 20:39:48 -08:00
Mark Thom a83f412251 replace sort_without_dedup/2 with keysort/2 2026-01-14 20:39:48 -08:00
Mark Thom 1a8c4f9b03 cargo fmt fixes 2026-01-14 20:39:48 -08:00
Mark Thom c2e1ded852 remove variant_hashing.rs and related instructions 2026-01-14 20:39:48 -08:00
Mark Thom 70220687f4 find variant terms using just sort/2 and (==)/2 2026-01-14 20:39:48 -08:00
Mark Thom 69a367d1c9 do not retain attributes in solutions of findall (#3020) 2026-01-14 20:39:48 -08:00
Mark Thom e2bdf59c81 fix cargo fmt 2026-01-14 20:39:48 -08:00
Mark Thom 6284aa3a3f add variant_hash and is_non_variant to fix setof/3, bagof/3 2026-01-14 20:39:48 -08:00
Mark Thom 29cd80510b replace compare_term_test with parallel iterator, add is_not_variant 2026-01-14 20:39:45 -08:00
Mark Thom 9089f9ddb4 use branch numbers to detect branch subsumption 2026-01-14 20:34:06 -08:00
Mark Thom 16dc10ee96 assert rational(3) as true in tests/builtins.pl 2026-01-14 20:34:06 -08:00
Mark Thom 4e8f338870 Merge pull request #3222 from Skgland/reduce-instructions_template 
move static parts of instructions template directly into instructions module, fix clippy and typos
 2026-01-12 23:22:44 -07:00
Skgland b14e363d5e run rustfmt to fix formatting 2026-01-10 18:31:40 +01:00
Bennet Bleßmann 87f89545bb restore accidentally removed comment 2026-01-10 18:30:09 +01:00
Skgland 5064760b1e fix spelling 2026-01-10 18:13:59 +01:00
Skgland eca4262be6 fix clippy lints 2026-01-10 17:52:34 +01:00
Skgland 73c26bed2a extaract the static part of the instructions template directly into the instructions module 
This way goto source doesn't end up in a generated file for those parts and they can be edited directly.
I have way too often accidentally edited the generated file.
 2026-01-10 17:48:07 +01:00
Mark Thom 172b6a6f8f Merge pull request #3207 from Skgland/quote-fix-unquote-segv 
"fix" segv from #3198, #3199, and #3205
 2025-12-17 14:11:21 -07:00
Skgland 129cca53ed throw error(resource_error(memory), []) when the list length exceeds usize. 2025-12-10 00:04:24 +01:00
Mark Thom cd1ed106ed Merge pull request #3177 from triska/use_phrase_to_file 
use more recently available phrase_[to|from]_file/3 in example
 2025-12-08 19:23:52 -07:00
Skgland 00aba96185 remove overengineered RecursionGuard 2025-12-08 22:27:24 +01:00
Skgland 616f071cd9 fix another integer overflow 2025-12-08 19:59:43 +01:00
Skgland 580572aec6 don't calculate panic message eagerly 2025-12-07 23:06:09 +01:00
Skgland 47e908bf76 handle overflown in Heap::with_cell_capacity 2025-12-07 22:59:00 +01:00
Skgland 11901b5fde handle oob heap index calculation 2025-12-07 21:45:13 +01:00
Skgland d63b0a192c use checked multiplication in heap_index! macro 2025-12-07 21:31:24 +01:00
Skgland 2fc08dde1e prevent multiply with overflow resulting in odd errors/segv 2025-12-07 21:27:24 +01:00
Skgland 193cfabc66 detect recursive throw_resource_error and panic instead of causing a segmentation fault 2025-12-07 21:08:17 +01:00
Skgland 7c3ffd0e87 deny function_casts_as_integer warnings 2025-12-04 23:35:35 +01:00
Skgland 797a8f8611 fix function_casts_as_integer warning 
Comparing addresses of function pointers is brittle.

Functions may be duplicated resulting in function pointers to the same function to compare !=.
Functions may be merged/de-duplicated resulting in function pointers to different function to compare ==.

The later shouldn't be relevant here as the function differ in behavior, but mentioning it for completeness.
 2025-12-04 23:35:23 +01:00
Mark Thom f570e566f8 fix backtrack_on_resource_error around choice instructions 2025-12-03 18:13:00 -08:00
Mark Thom 96a9dfcc1b Merge pull request #3185 from mthom/install_verify_attr_opt 
Optimize `verify_attr` by removing the need to scan instructions
 2025-12-03 19:10:46 -07:00
Mark Thom 6fdcd17f32 Merge pull request #3164 from Skgland/alloc_errors2 
handle machine heap/stack allocation error
 2025-12-03 19:10:22 -07:00
Mark Thom 652e824e59 Merge pull request #3147 from jjtolton/error-termination-flag 
Add -t flag for custom toplevel (replaces --halt-on-error)
 2025-12-02 00:24:46 -07:00
Mark Thom f595eaee2e Merge pull request #3179 from triska/meetups 
update meetups
 2025-12-01 23:55:46 -07:00
Mark Thom 9ddeeed683 Merge pull request #3180 from triska/foldl_6 
ADDED: foldl/6, addressing #2973
 2025-12-01 23:55:34 -07:00
Mark Thom b287f0aedb corrections to arithmetic expression compilation 2025-11-27 21:03:56 -08:00
Mark Thom 3b019fca1d corrections to dispatch loop 2025-11-27 21:03:22 -08:00
Mark Thom 4bd16b8a2e revise InstallVerifyAttrs to remove need for predicate scanning (#3175) 2025-11-25 23:17:51 -08:00
Mark Thom f2e044e5b8 remove interms field from MachineState 2025-11-24 22:19:36 -08:00
Markus Triska 1cd55d8131 ADDED: foldl/6, addressing #2973 2025-11-23 11:13:57 +01:00
Markus Triska 14265118f1 update meetups 2025-11-23 10:29:31 +01:00
Markus Triska b66824ffce use more recently available phrase_[to|from]_file/3 in example 2025-11-23 09:42:14 +01:00
Skgland 6ec8c9064f fix pstr_iter_tests test 2025-11-20 23:08:46 +01:00
Skgland d4f2f7ba2b remove RESOURCE_ERROR_OFFSET_INIT 
With it when using multiple Machine in one process only the first would store the pre-allocated error.
Instead Heap.resource_err_loc is now Option<NonZero<usize>> instead of usize using None for uninitialized.
The cell at index 0 should alredy be used by a runtime reserved interstitial cell that is allocated prior. So requiring the offset to be non zero should be fine.
 2025-11-20 21:44:29 +01:00
Skgland a05dc79505 fix unecessary parens in macro 2025-11-20 21:24:47 +01:00