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

This addresses #1720.

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

Merge pull request #1706 from triska/si_doc

DOC: convert library(si) documentation to DocLog format

Merge pull request #1707 from triska/reif_doc

DOC: add link to "Indexing dif/2" in DocLog format

Merge pull request #1708 from triska/freeze_doc

DOC: add documentation for library(freeze) in DocLog format

Merge pull request #1709 from triska/pio_doc

DOC: convert library(pio) documentation to DocLog format

Merge pull request #1710 from triska/tabling_doc

DOC: initial documentation for library(tabling) in DocLog format

Merge pull request #1711 from triska/pairs_doc

DOC: initial documentation for library(pairs) in DocLog format

Merge pull request #1712 from triska/lambda_doc

DOC: convert code samples in library(lambda) to DocLog format

Merge pull request #1713 from triska/simplex_doc

DOC: convert library(simplex) documentation to DocLog format

DOC: convert library(simplex) documentation to DocLog format

DOC: convert code samples in library(lambda) to DocLog format

DOC: initial documentation for library(pairs) in DocLog format

add link to Desouter et al., "Tabling as a Library with Delimited Control"

DOC: initial documentation for library(tabling) in DocLog format

DOC: convert library(pio) documentation to DocLog format

DOC: add documentation for library(freeze) in DocLog format

DOC: add link to "Indexing dif/2" in DocLog format

DOC: convert library(si) documentation to DocLog format

DOC: convert library(format) documentation to DocLog format

Merge pull request #1704 from triska/time_doc

DOC: correctly format the table using DocLog syntax

DOC: correctly format the table using DocLog syntax

Merge pull request #1703 from aarroyoc/docs-arithmetic

Compatible Doclog docs for library(arithmetic) and small fixes on INDEX.md

Apply feedback on builtins

Compatible Doclog docs for library(arithmetic) and small fixes on INDEX.md

Merge pull request #1701 from triska/diag_doc

DOC: add DocLog documentation for library(diag)

Merge pull request #1702 from triska/debug_doc

DOC: add DocLog documentation for library(debug)

DOC: add DocLog documentation for library(debug)

DOC: add DocLog documentation for library(diag)

Merge pull request #1689 from triska/clpb_doc

DOC: preliminary CLP(B) documentation in DocLog format

Merge pull request #1697 from triska/crypto_doc

DOC: convert library(crypto) documentation to DocLog format

Merge pull request #1696 from triska/clpz_doc

DOC: improve CLP(ℤ) DocLog documentation

Merge pull request #1698 from triska/time_doc

DOC: convert library(time) documentation to DocLog format

Merge pull request #1694 from aarroyoc/docs-dcgs

Compatible Doclog docs for library(dcgs)

Merge pull request #1699 from triska/sgml_doc

DOC: convert library(sgml) documentation to DocLog format

DOC: convert library(sgml) documentation to DocLog format

strengthen reified division for divisor == 1

DOC: add CLP(B) documentation in DocLog format

DOC: convert library(time) documentation to DocLog format

DOC: convert library(crypto) documentation to DocLog format

DOC: improve CLP(ℤ) DocLog documentation

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

Compatible Doclog docs for library(dcgs)

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)

More feedback applied

Apply some feedback

Merge branch 'master' into docs-builtins

Compatible Doclog docs for builtins

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)