run rustfmt

adjust interrupt handling

we used to spend ~5.8% of the time on getting the next value of the 0..INSTRUCTIONS_PER_INTERRUPT_POLL iterator

increment on Wrapping<u8> now only takes ~0.58 of the time

switch from Integer to u128

- u128 is only 16 bytes instead of 24
- incrementing u128 does not involve heap allocations
- u128 should be sufficent
 it would take more than 2 sextilion years to overflow if we would be incrementing it every tick at 5GHz
   i.e. 2^128-1 / 5 GHz / 60 / 60 / 24 / 356 > 2 sextilion

before this ~3.2% of the execution time of the program in https://github.com/mthom/scryer-prolog/issues/3265#issuecomment-4103176469 was spend in the increment_call_count function, after this change it's down to 0.3%

Merge pull request #3243 from danilp-id/master

fix http stream not being closed fully

Merge pull request #3257 from triska/include

ISO: Implement the include/1 directive

retain error context (load/1) when using :- D.

Merge pull request #3258 from no382001/fix_load_xml/3

load_xml was returning a single term instead of a list of nodes

load_xml was returning a single term instead of a list of nodes

Merge pull request #3234 from fusiongyro/patch-1

Fixed a typo in the documentation for atom_codes/2

Merge pull request #3232 from triska/not_si

ADDED: not_si/1

Merge pull request #3252 from Skgland/towards-a-crate-without-syn@1

replace custom modular_bitfields fork with update upstream

Merge pull request #3241 from Skgland/parse-error-improvements

change `ParserError` type

Merge pull request #3189 from Skgland/fix-function_casts_as_integer

fix `function_casts_as_integer` warning

Merge pull request #3260 from thierrymarianne/dealing-with-invalid-utf8-string

handle invalid UTF-8 string

ENHANCED: support quads in included files

Suggested by @dcnorris, many thanks!

    https://github.com/mthom/scryer-prolog/issues/634#issuecomment-4003451420

add documentation

Signed-off-by: Thierry Marianne <[email protected]>

revise indentation of raw string

Signed-off-by: Thierry Marianne <[email protected]>

use C-string literal

Co-authored-by: Bennet Bleßmann <[email protected]>

cargo fmt fixes

Signed-off-by: Thierry Marianne <[email protected]>

apply suggestion

Signed-off-by: Thierry Marianne <[email protected]>

move test to tests/scryer/ffi.rs

Signed-off-by: Thierry Marianne <[email protected]>

use CStr .to_str() method

Co-authored-by: Bennet Bleßmann <[email protected]>

use C-string literal

Co-authored-by: Bennet Bleßmann <[email protected]>

fix utf-8 panic

Signed-off-by: Thierry Marianne <[email protected]>

add failing test highlighting panic on invalid UTF-8 cstr

Signed-off-by: Thierry Marianne <[email protected]>

ISO: Implement the include/1 directive

Quoting from the standard:

    7.4.2.7 include/1

    If F is an implementation defined ground term designating
    a Prolog text unit, then Prolog text P1 which contains
    a directive include(F) is identical to a Prolog text P2
    obtained by replacing the directive include(F) in P1 by
    the Prolog text denoted by F.

Example:

    :- include("hello.pl").

This addresses #583 and #634.

run apt update before apt install

https://github.com/orgs/community/discussions/145882#discussioncomment-11447924

fix warning in CI about using apt in a script

run cargo fmt

fix clippy lint warning

remove no longer necessary allows

replace custom modular_bitfields fork with update upstream

part of #2468

move drop to impl Drop

fix http stream not being closed fully

reduce visibility to pub(crate) to prevent accidentally exposing

fix some lint warnings

don't expose lexical error and provide location

make ParserError a struct with an enum kind field

add location to InvalidSingleQuotedCharacter

make match exhaustive

replace pairs of usize with location struct

Fixed a typo in the documentation for atom_codes/2

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!

Merge pull request #3211 from mthom/setof_correction_and_opt

Correct and optimize setof/3 and bagof/3

remove unnecessary extra work in findall_with_existential/5

remove hashbrown crate

replace sort_without_dedup/2 with keysort/2

cargo fmt fixes

remove variant_hashing.rs and related instructions

find variant terms using just sort/2 and (==)/2

do not retain attributes in solutions of findall (#3020)

fix cargo fmt

add variant_hash and is_non_variant to fix setof/3, bagof/3

replace compare_term_test with parallel iterator, add is_not_variant

use branch numbers to detect branch subsumption

assert rational(3) as true in tests/builtins.pl

Merge pull request #3222 from Skgland/reduce-instructions_template

move static parts of instructions template directly into instructions module, fix clippy and typos

run rustfmt to fix formatting

restore accidentally removed comment

fix spelling

fix clippy lints

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.

Merge pull request #3207 from Skgland/quote-fix-unquote-segv

"fix" segv from #3198, #3199, and #3205

throw `error(resource_error(memory), [])` when the list length exceeds usize.

Merge pull request #3177 from triska/use_phrase_to_file

use more recently available phrase_[to|from]_file/3 in example

remove overengineered RecursionGuard

fix another integer overflow

don't calculate panic message eagerly

handle overflown in Heap::with_cell_capacity

handle oob heap index calculation

use checked multiplication in heap_index! macro

prevent multiply with overflow resulting in odd errors/segv

detect recursive throw_resource_error and panic instead of causing a segmentation fault

deny `function_casts_as_integer` warnings

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.

fix backtrack_on_resource_error around choice instructions

Merge pull request #3185 from mthom/install_verify_attr_opt

Optimize `verify_attr` by removing the need to scan instructions

Merge pull request #3164 from Skgland/alloc_errors2

handle machine heap/stack allocation error

Merge pull request #3147 from jjtolton/error-termination-flag

Add -t flag for custom toplevel (replaces --halt-on-error)

Merge pull request #3179 from triska/meetups

update meetups

Merge pull request #3180 from triska/foldl_6

ADDED: foldl/6, addressing #2973

corrections to arithmetic expression compilation

corrections to dispatch loop

revise InstallVerifyAttrs to remove need for predicate scanning (#3175)

remove interms field from MachineState

ADDED: foldl/6, addressing #2973

update meetups

use more recently available phrase_[to|from]_file/3 in example

fix pstr_iter_tests test

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.

fix unecessary parens in macro

return an AllocError instead of panicing in Heap::with_cell_capacity

wrap resource_error into an error/2 functor and don't wrap it into a syntax_error functor

propagate AllocErrro instead of unwrapping

handle machine heap/stack allocation error

stub a clippy config

with things we need to get rid of replace if we want to eliminate panics due to oom

use as_bytes().to_vec() instead of bytes().collect()

copying a slice into a vec should be easier to optimize by the complier than collecting a byte iteration into a vec

remove some uncessary allocations/copies

ignore incompatible msrv in compat module

improve count_to_letter_code

- reserve the complete required length at the beginning to reduce reallocations
- use u8 instead of char so that we can re-use the allocation for the string