DOC: new section on applications of Scryer Prolog

This addresses an important aspect of #1777.

correct \\ to \, addressing #1865

refine EOF handling more (#1873)

refine EOF handling

follow EOF action after open_parsing_stream in get_char if stream at EOF

clarify EOF error across stream types and predicates (#1867, #1870)

Merge pull request #1869 from triska/master

print version more readably, addressing #1868

print version more readably, addressing #1868

treat unexpected EOF as incomplete reduction in bracketed_comment

interpret '\u{0}' as end_of_file in get_char/1

add stream alias processing to atom_chars/2, atom_codes/2

Merge pull request #1832 from aarroyoc/http-fixes

Multiple fixes for http libraries

add stream alias check to atom/1 (#1855)

add scc_block to MachineState to avoid SCC cleanup terms being deallocated too early (#1427)

correct heap_print.rs tests

shrink scope of control_entry_point catch, add CutPoint tag to printer

Merge pull request #1864 from triska/double_quotes

make double_quotes write option not dependent on double_quotes flag

make double_quotes write option not dependent on double_quotes flag

This gives consistent results without depending on another flag.

Merge pull request #1862 from mthom/iso_conformity_tests

Revise iso_conformity_tests.pl to remove unnecessary spaces

add missing self.pos to peek_char slices (#1726)

revise iso_conformity_tests.pl in response to new ambiguity check of #1860

throw lexer errors from devour_whitespace (#1778)

Merge pull request #1861 from aarroyoc/fix-1855

Allow comparisons with stream terms

widen CharReader buffer (#1859)

Allow comparisons with stream terms

Merge pull request #1857 from triska/master

advertise newly achieved strong syntactic conformance: all current tests pass

advertise newly achieved strong syntactic conformance: all current tests pass

This addresses an important aspect of #1777.

Merge pull request #1850 from mthom/iso-conformity-tests

Automate ISO syntax conformity tests

update tests

correct tests #171 and #300

add double_quotes write option for printing to strings, enable it at toplevel

correct ISO conformity test #185

add iso-conformity-tests.pl to test suite

correct initialization_goals misnomer in iso-conformity-tests.pl

make setup of test_166_167 pass

check ambiguity of "'" against tail if atom token is about to be quoted

always print a space between prefix operator and its operand

correct tests 259 and 304 of tests-pl/iso-conformity-tests.pl

introduce tests-pl/iso-conformity-tests.pl

removing residual debugging comments from format.pl

use lexer to detect remaining layout in parse_number_from_string (#1773)

Merge pull request #1854 from triska/needs_bracketing

remove now unneeded check

remove now unneeded check

check that F in needs_bracketing/2 is an atom

do not enclose '(' as atom in brackets (#1487)

Merge pull request #1852 from triska/needs_bracketing

Improvements to needs_bracketing/2

remove unneeded case: only operator definitions should count, not quoting

remove subsumed case: F == Value means Arity =:= 0, now considered above

shorten needs_bracketing/2

constrain bracketing to operators with pertaining arity

Example:

    ?- X = -->(a,b,c).
       X = -->(a,b,c).

Merge pull request #1851 from triska/operator_bracketing

bracket all operators that are direct operands of (=)/2

bracket all operators that are direct operands of (=)/2

This addresses #804.

Multiple fixes for http libraries

* use reqwest for http_open (still uses Hyper underneath)
* use Hyper 1.0.0-rc3 for server
* Modify all internal handling of server

fix ReadlineStream peek_char using CharReader

read the cell written to by mark_var when needed in compile_is (#1846)

introduce CutPoint heap tag so that they can be offset by call_continuation/1

Merge pull request #1849 from triska/showterm

remove unneeded single quotes

remove unneeded single quotes

correct and generalize current_predicate/1

unify stack variables to streams in unify_constant (#1845)

better detect syntax errors in lexer.rs (#1771)

Merge pull request #1844 from triska/copy_term_nat

use copy_term_nat/2

use copy_term_nat/2

enable unification of streams to alias atoms (#1823)

support module resolution in current_predicate/1 (#1817)

fix builtin_predicate (#1819)

remove tabling attributes in each module's attribute_goals//1 (#1825)

properly account for partial string offsets in '$skip_max_list' (#1827)

mark chunk boundary at beginning of disjunct in disjuncts.rs (#1843)

fix string incompleteness (#1828)

Merge pull request #1842 from infogulch/release-on-tag

Fix tags trigger; bump MSRV to 1.65

Bump msrv to 1.65 due to bumping rug to 1.19

https://gitlab.com/tspiteri/rug#version-1190-news-2023-01-06

Fix tags trigger

fix branch subsumption bug (#1840, #1841)

Merge pull request #1838 from triska/get_line_to_chars

MODIFIED: read_line_to_chars/3 is now called get_line_to_chars/3

update README

another case of "read" --> "get", for an only internally used predicate

MODIFIED: read_line_to_chars/3 is now called get_line_to_chars/3

This is for consistency with other I/O predicates, where "read" always
indicates Prolog terms. Please adjust your programs accordingly.

correct code_walker.rs in light of compilation improvements

Merge branch 'compiling_disj'

correct reversions after rebase

polish perm free list management

Add steps to publish binaries when releases are tagged

free local cut variables after cut

mark is/2 allocated permanent variables as safe, add CompareNumber terms to ClauseType::is_inlined

Bump openssl from 0.10.48 to 0.10.55

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

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

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

improve call/N implementation (#1829)

set_local_value does not make values safe (#1812)

read set_value args from temp regs of put_unsafe_value (#1812)

FIXED: correct dereferencing in atom_codes/2 and number_codes/2.

This addresses #1818.

Test case:

    run :-
    length(Ls, L),
    portray_clause(L),
    maplist(=(X), Ls),
    X = Y,
    Y = 12,
    atom_codes(_, Ls),
    false.

Rename INDEX.md to INDEX.dj and add banner about Scryer Prolog Meetup

read from machine stack in stackful pre-order iterator (#1812)

Compute correctly the domain of the remainder

Don't add variable

?- Z #= 0, Z #= X mod Y.
   Z = 0, clpz:(_A*Y#=X), clpz:(Y in inf.. -1\/1..sup) % Unexpected.

The expected result:
   Z = 0, clpz:(X mod Y#=0), clpz:(Y in inf.. -1\/1..sup).

Remove and move comments

optionally read from machine stack in stackful pre-order iterator (#1812)

affirm integers as rational/1 (#1810)

Update select crate to 0.6.0 and remove warning

FIXED: correctly reset counter in reset_gensym/2 (#1807)

Many thanks to @infradig for detecting this issue and suggesting this
correction!

shorten gensym/2