update actions/[email protected] -> actions/[email protected]

pin 3rd-party actions

following githubs recommendations[^3rd-p-a] to use full-length commit SHA for 3rd-party actions

setup dependabot to help keep dependencies up-to-date

[^3rd-p-a]: https://docs.github.com/en/actions/reference/security/secure-use#using-third-party-actions

update docker/build-push-action@v6 -> docker/build-push-action@v7

update docker/metadata-action@v5 -> docker/metadata-action@v6

update docker/login-action@v3 -> docker/login-action@v4

update docker/setup-buildx-action@v3 -> docker/setup-buildx-action@v4

update actions/download-artifact@v4 -> actions/download-artifact@v8

update actions/upload-artifact@v4 -> actions/upload-artifact@v7

update actions/checkout@v4 -> actions/checkout@v6

Merge pull request #3276 from Skgland/cleanup

remove unused file

Merge pull request #3273 from no382001/issue2914

fix panic in current_prolog_flag/2 when arguments are the same variable

Merge pull request #3271 from abmclin/update_rustyline

Resolves issue 2694 by updating rustyline to 17.0.2

Merge pull request #3266 from Skgland/perf-issue-3265

perf improvements for 3265

remove unused file

fix panic in current_prolog_flag/2 when arguments are the same variable

Resolves issue 2694 by updating rustyline to 17.0.2

use checked_add to prevent silent overflow

hint to the compiler/branch-predictor that
we expect p to be in bound

if we are suffiently certain that p can never be oob
unsafe get_unchecked could be used to
eliminate bounds checking all together
which should improve performance further.

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