Merge pull request #1780 from triska/tuples_in

Various improvements to tuples_in/2

FIXED: enforce equality also for ground elements in tuples

Example:

    ?- tuples_in([[A,B]], [[1,2],[3,4]]),
       tuples_in([[A,B]], [[3,2]]).
       false.

See https://github.com/SWI-Prolog/swipl-devel/issues/1160.

do not create attributed variables for ground tuples

actually disable and reenable the queue

remove no longer needed clpz_relation attributes

do not leave an attribute when (re-)enabling a queue

Merge pull request #1776 from infogulch/master

Add iso prolog / logtalk tests to test runner

Allow the test suite to fail without failing the build

Add logtalk test suite

Test workflow cleanup; switch to macos-11

Merge pull request #1772 from triska/number_chars

FIXED: number_chars(N, "0' "), addressing #1580.

Merge pull request #1774 from infogulch/master

Optimize Test GH action

FIXED: number_chars(N, "0' "), addressing #1580.

There may be a more elegant way to solve this.

Add cache step to test workflow

Merge pull request #1770 from triska/doc

Smaller documentation improvements to explain compilation and target directory

DOC: link to "Indexing dif/2"

DOC: explain location of scryer-prolog after compilation

This question was recently raised on the #scryer IRC channel.

use the release flag so that the instructions can be used verbatim

Also, the location of the executable depends on this flag.

change "run" to "build", since "run" leads to a Scryer prompt which can be unexpected

Merge pull request #1769 from triska/show_pending_constraints

ENHANCED: use call_residue_vars/2 to show all pending constraints

ENHANCED: use call_residue_vars/2 to show all pending constraints

Example:

    ?- freeze(_, false).
       freeze:freeze(_A,false).

This was originally added in 04ba9bc11af31780cd8fa259d78d151262c3c756,
then reverted, and is now restored.

broaden the definition of alpha_char! (#1749, #1515, #1591)

Merge pull request #1765 from mthom/dependabot/cargo/openssl-0.10.48

Bump openssl from 0.10.42 to 0.10.48

Bump openssl from 0.10.42 to 0.10.48

Bumps [openssl](https://github.com/sfackler/rust-openssl) from 0.10.42 to 0.10.48.
- [Release notes](https://github.com/sfackler/rust-openssl/releases)
- [Commits](https://github.com/sfackler/rust-openssl/compare/openssl-v0.10.42...openssl-v0.10.48)

---
updated-dependencies:
- dependency-name: openssl
  dependency-type: indirect
...

Signed-off-by: dependabot[bot] <[email protected]>

add '$unattributed_var' builtin (#1758)

Merge pull request #1759 from triska/better_queue

Better queue

remove no longer needed queue attributes after propagation

show remaining queue/2 attributes as residual goals

This lets us verify that all attributes are correctly removed earlier.

Revert "correct call_residue_vars/3 using new copy_term_3 (#1239)"

This reverts commit 9b35a316c9a01e7897490b58c222093959a21de4.

Revert "use new call_residue_vars/2 in toplevel.pl (#847)"

This reverts commit 04ba9bc11af31780cd8fa259d78d151262c3c756.

use new call_residue_vars/2 in toplevel.pl (#847)

correct call_residue_vars/3 using new copy_term_3 (#1239)

Merge pull request #1757 from aarroyoc/fix-docs-1756

DOCS: Fixes #1756

Fixes #1756

Merge pull request #1755 from triska/doc

various smaller documentation improvements

use actual toplevel answers

use string notation as discussed on #scryer IRC

items --> elements

This addresses #1740.

Merge pull request #1754 from triska/dif

ENHANCED: more compact definition of dif/2

FIXED: Take all variables into account during goal projection.

This addresses #1751.

ENHANCED: more compact definition of dif/2

As outlined in #1753.

Merge pull request #1744 from aarroyoc/ffi

Foreign Function Interface - library(ffi)

Fill more cases

Merge branch 'master' into ffi

FFI: Documentation

invoke '$default_attr_list' in project_attributes.pl (#1748)

third argument of copy_term should be instantiated as a list (#1747)

Merge pull request #1746 from triska/type_over_instantiation_error

ENHANCED: must_be/2: prefer type error over instantiation error

ENHANCED: must_be/2: prefer type error over instantiation error

This addresses #1594.

FFI: Nested structs

add, implement and use the Unifier trait

Macroization of the code

Merge pull request #1743 from triska/rely_on_indexing

rely on first instantiated argument indexing

rely on first instantiated argument indexing

This great improvement to indexing allows much more natural
definitions of virtually all meta-predicates. Many thanks to @notoria!

Merge pull request #1741 from triska/clpz_residuals

in projection of residual goals, mark considered propagators as processed

DOC: update residual goals

in projection of residual goals, mark considered propagators as processed

This is to avoid duplicated goals with the new projection mechanism.

MVP of Foreign Function Interface

assign responsibility for emitting dif goal to the first variable of the left-hand term (#1739)

catch attribute_goals errors in copy_term/3, don't discard variable module qualifiers in dcg_body/3 (#1738)

Merge pull request #1737 from triska/link_to_homepage

add link to newly available homepage

add link to newly available homepage

Many thanks to @aarroyoc for the documentation system, and for hosting the page!

Changed the links for the delimited continuations papers and the precise garbage collection paper.

Added links to referenced research papers in the Phase 2 and Nice to Have Features sections.

change '$delete_all_attributes' to '$delete_all_attributes_from_var'

add '$delete_all_attributes', use copy_term/3 as defined in #1272

compile '$atts' and '$project_atts'  modules using loader.pl

keep phrase goal qualified even if qualifier is a variable

correct incremental compilation bugs

copy attributed variable attribute lists specially via copy_attr_var_list

retire TrailedAttrVarHeapLink TrailEntry tag

simplify and optimize attributed variables (#1590, #1634, #1730)

port '$get_from_list' to '$get_from_attr_list' in Rust

include wambook errata

correct shl stub_gen

Merge pull request #1734 from triska/clpz_corrections

DOC: teletype font for reification

DOC: teletype font for reification

shift by usize instead of u32 in shl and shr (#1718, #1719)

Merge pull request #1732 from aarroyoc/docs-minor-fixes

Minor fixes to docs

Minor fixes to docs

Merge pull request #1731 from triska/clpz_corrections

correct DocLog ~/.scryerrc rendering

Merge pull request #1729 from aarroyoc/negative-shifts

Negative shifts (fixes #1719 and #1718)

correct DocLog ~/.scryerrc rendering

avoid arena allocation of stream in read_term_from_chars (#1266)

update tokio version

Negative shifts (fixes #1719 and #1718)

Merge pull request #1728 from aarroyoc/docs-csv

Compatible Doclog docs for library(csv)

Merge pull request #1727 from triska/clpz_corrections

DOC: use valid Prolog terms as predicate indicators

Compatible Doclog docs for library(csv)

DOC: use valid Prolog terms as predicate indicators

Merge pull request #1725 from aarroyoc/fix-docs-http-server

Fix library(http/http_server) docs. Other minor fixes

Merge pull request #1724 from triska/clpz_corrections

CLP(ℤ) corrections

use DocLog syntax for section anchors and links within the document

small documentation adjustments

FIXED: use lsb/2 and msb/2 from library(arithmetic)

This addresses #1720.

Fix library(http/http_server) docs. Other minor fixes

Merge pull request #1717 from triska/format_doc

correct table layout for entries that themselves contain |

correct table layout for entries that themselves contain |

Merge pull request #1674 from aarroyoc/docs-builtins

Compatible Doclog docs for builtins

Merge pull request #1705 from triska/format_doc

DOC: convert library(format) documentation to DocLog format