DOC: convert library(crypto) documentation to DocLog format

Merge pull request #1695 from aarroyoc/website

Add website frontpage

Merge pull request #1676 from aarroyoc/docs-http-server

Compatible Doclog docs for library(http/http_server)

Website page

Merge branch 'retract_improvements'

improve retract/1 and related predicates (#1598)

Merge pull request #1693 from aarroyoc/docs-xpath

Compatible Doclog docs for library(xpath).

Merge pull request #1691 from aarroyoc/docs-os-3

Compatible Doclog docs for library(os)

Merge pull request #1690 from aarroyoc/docs-charsio

Compatible Doclog docs for library(charsio)

Merge pull request #1692 from aarroyoc/docs-between

Compatible Doclog docs for library(between).

Compatible Doclog docs for library(xpath).

Compatible Doclog docs for library(between).

Compatible Doclog docs for library(os)

Compatible Doclog docs for library(charsio)

Merge pull request #1687 from gruhn/master

Fix failing Docker build

Merge pull request #1688 from aarroyoc/djot-migration

Migrate from Markdown to Djot

Fix assoc.pl file

Migrate from Markdown to Djot

Use lastest 1.xx Rust version in Docker build

With the previous Rust version 1.61, the build fails with

> error[E0658]: use of unstable library feature 'scoped_threads'

This has been "stabilized" in Rust 1.63. To avoid the hassle
of manually updating the version, we can just default to the
latest minor release.

restore free list usage on structures in facts without crashing lgtunit loader

Merge pull request #1677 from aarroyoc/docs-dif

Compatible Doclog docs for library(dif)

tighten deallocate truncation of stack (#1686)

Merge pull request #1685 from triska/reify_sign

ADDED: sign/1 is now reifiable.

use (#)/1

ADDED: sign/1 is now reifiable.

This addresses #1500.

remove add_term_to_free_list from AddToList (#1684)

Merge pull request #1682 from triska/reify_slash

FIXED: correctly reify (/)/2.

rely on newly available operator notation for (#)/1

replace several more instances of ?/1 by (#)/1

use (#)/1 already internally for describing constraint projections

FIXED: reification of (xor)/2.

Example:

    ?- A #= 1 xor 0 #<==> R.
    %@    clpz:(A#=1#<==>R), clpz:(R in 0..1).

FIXED: correctly reify (/)/2.

Example:

    ?- 0 #==> X #= 1/2.
    %@    clpz:(X in inf..sup)
    %@ ;  false.

This addresses #1501.

use free lists to allow register re-use (#1612)

use '$enqueue_attr_var' when adding attributes only

Compatible Doclog docs for library(dif)

Compatible Doclog docs for library(http/http_server)

Merge pull request #1658 from aarroyoc/copy_file

Add predicate file_copy/2 in library(files)

Merge pull request #1672 from triska/deref_register

dereference more registers, analogous to d660e4244ff48bbcd558fab07a4dd4a5e9d68209

dereference more registers, analogous to d660e4244ff48bbcd558fab07a4dd4a5e9d68209

See also #1654 for a nice test case by @notoria which this corrects.

Merge pull request #1671 from aarroyoc/docs-iso-ext

Compatible Doclog docs for library(iso_ext)

Merge pull request #1669 from aarroyoc/docs-http-open

Compatible Doclog docs for library(http/http_open).

Compatible Doclog docs for library(iso_ext)

Compatible Doclog docs for library(http/http_open).

use proper dynamic arities in JmpByCall and JmpByExecute (#1605, #1606)

track attr_var_init lengths on the stack (#1667)

update README to point to local wambook (#1668)

detect cyclic bindings in attr_vars_of_term (#1666)

Merge pull request #1662 from mthom/interpreting_disj

Fix mishandled if-then-else interpretation (#1659)

use append/3 rather than set_difference/3 to gather witnesses in bagof/3 and setof/3 (#1663, #1664)

Merge pull request #1661 from aarroyoc/lcm2

Add predicate lcm/2 to library(arithmetic)

fix mishandled if-then-else interpretation (#1659)

Add predicate lcm/2 to library(arithmetic)

Rename copy_file/2 to file_copy/2

Add predicate copy_file/2 in library(files)

Merge pull request #1657 from aarroyoc/docs-files

Compatible Doclog docs for library(files)

Merge pull request #1656 from aarroyoc/docs-ordsets

Compatible Doclog docs for library(ordsets)

Merge pull request #1655 from triska/deref_register

more uses of newly available deref_register(n)

Compatible Doclog docs for library(files)

Compatible Doclog docs for library(ordsets)

more uses of newly available deref_register(n)

Merge pull request #1653 from triska/deref_register

introduce and use deref_register(n)

introduce and use deref_register(n)

Merge pull request #1652 from aarroyoc/docs-lists

Compatible Doclog docs for library(lists)

Merge pull request #1651 from aarroyoc/docs-sockets

Compatible Doclog docs for library(sockets)

Compatible Doclog docs for library(lists)

Compatible Doclog docs for library(sockets)

dereference encoding register in crypto_data_decrypt (#1650)

avoid pushing stack variables to the heap in get_continuation_chunk (#1644)

Merge pull request #1649 from aarroyoc/docs-ugraphs

Compatible Doclog docs for library(ugraphs)

Merge pull request #1648 from aarroyoc/docs-random

Compatible Doclog docs for library(random)

Merge pull request #1647 from aarroyoc/docs-uuid

Compatible Doclog docs for library(uuid)

Merge pull request #1646 from aarroyoc/docs-assoc

Compatible Doclog docs for library(assoc)

Compatible Doclog docs for library(ugraphs)

Compatible Doclog docs for library(random)

Compatible Doclog docs for library(uuid)

Compatible Doclog docs for library(assoc)

return -1 from get_code to indicate end of file (#1622)

Merge pull request #1640 from gruhn/master

Adjust Github Action: Docker Publish

Adjust Github Action: Docker Publish

1. Not only publish Docker images when new release tags are created but
   on every push to master, since release frequency is so low.

2. Use newer versions of the various actions (setup-buildx-action,
   login-action, metadata-action, ...) to suppress some deprecation
   warnings see:
   https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

update Dockerfile to use rustc 1.61

mention #scryer in README

README rustc version bump

use existing bindings in compile_is (#1545)

begin to mark registers as safe from built-in predicates like is/2 (#1545)

revise UnsafeVarMarker (#1545)

Merge pull request #1635 from mthom/rebis-dev

Merge rebis-dev into master

bump version to 0.9.1

remove num-rug-adapter

move asserta/2, assertz/2 to iso_ext

introduce InlineTermStream to avoid arena allocations during call_inline (#1576)

Merge pull request #1630 from epilys/fix-1625

fix type_error with instantiated EOF -1 byte literal in get_byte/2

FIXED: CLP(ℤ): Correctly remove all attributes during propagation of all_distinct/1 and other global constraints.

The constraints from library(clpz) were already correctly removed, but
others such as pending freeze/2 goals were not, potentially leading to
an accumulation of redundant constraints during propagation.

Test case:

   ?- freeze(A,(X=1;X=2)), all_distinct([A]), A = 1.
      A = 1, X = 1
   ;  A = 1, X = 2.

The combination of freeze/2 and CLP(ℤ) is useful for example when
creating animations of search processes.

This addresses #1624.

build partial strings using PStrLoc in write_term_to_heap (#1627)

export asserta/2 (#1623)

cache ball terms before unifying in handle_ball/3 (#1608)

Some minor fixes. Thanks to @triska for them!

fix crash in read_term (#1616)

adjust rust-version declaration

Set default Shell

Add Windows MSYS2