additional write fixes, use rustyline 12.0.0 (#1876, #1901)

correct max_depth option (#1876)

Merge pull request #1899 from triska/master

remove another !/0 which is now no longer necessary due to improved indexing

remove another !/0 which is now no longer necessary due to improved indexing

correct max_depth option (#1876)

remove now unnecessary cut in lists.pl

improve goal expansion and (',') interpretation error handling

add log10, hyperbolic tan and inverse hyperbolic tan functions (#1898)

add EMIT_NEWLINE to add newlines to readline input only after query terms begin to be read (#1074, #1897)

check for unexpected EOF in get_to_eof (#1897)

dereference TermWriteResult variables sooner in read_term_body (#1894)

remove failing append choicepoint in atom_concat/3 special case (#1893)

Merge pull request #1885 from mthom/setof_bagof_fixes

Fix group_by_variants/4 and keysort in setof/3

call write_read_term_options if read_term_from_chars/3 succeeds by unifying Term to end_of_file (#1892)

catch errors thrown from tabling Worker (#1526, #1888)

remove read/{1,2} as a builtin, write read options upon EOF, throw better domain errors in parse_read_term_options/2

add specialized EOF handling for user input (#1892)

Merge branch 'read_term_eof_changes'

omit anonymous variables from read_term variable_names and singletons lists

do a better job handling EOF in read_term (#1887)

print strings in tails of lists (#1890)

Merge pull request #1891 from triska/initialization_goals

ENHANCED: use newly available read_term_from_chars/3 for better errors

ENHANCED: use newly available read_term_from_chars/3 for better errors

Examples, previously:

    $ scryer-prolog -g "member(X,Ls"
    ?-
    $ scryer-prolog -g "member(X,Ls)"
    member(_542,_543) causes: error(existence_error(procedure,member/2),member/2)
    ?-

Now:

    $ scryer-prolog -g "member(X,Ls"
    "member(X,Ls" cannot be read: error(syntax_error(incomplete_reduction),read_term_from_chars/3:0)
    $ scryer-prolog -g "member(X,Ls)"
    member(X,Ls) causes: error(existence_error(procedure,member/2),member/2)
    ?-

This also addresses #1185.

re-factor options handling of read_term into read_term_body (#1887)

generalize simple goal detection to fix call/N test failures in logtalk test suite

add read_term_from_chars/3 (#637)

use double_quotes in write_error (#1886)

add is_inbuilt check to err_on_builtin_overwrite (#1872)

eliminate call_with_inference_limit/3 leaks (#1300)

add unknown flag to set_prolog_flag and current_prolog_flag

fix group_by_variants/4 and keysort in setof/3 (#1440, #1856)

add (:-)/1 and (:-)/2 to ClauseType::is_inbuilt (#1872)

fix assert(a|z)/1 errors

Merge pull request #1884 from triska/countall

ADDED: countall/2, for compatibility with GNU Prolog.

ADDED: countall/2, for compatibility with GNU Prolog.

Example:

    ?- countall(member(X, "abc"), N).
       N = 3.

throw permission_error in compile_assert when attempting to assert a built-in (#1872)

arith_eval_by_metacall may receive a stack variable

correct peek_code/2, don't set stream position in peek functions

correct peek_byte/2 bugs (#1882)

improve ground/1 performance (#1389)

fix peek_byte/2 crash (#1882)

Merge pull request #1878 from mthom/lookahead_indexing

use lookahead to skip inapplicable clauses (#1028, #1502)

ENHANCED: improved determinism of member/2

Example:

    ?- member(X, "abc").
    %@    X = a
    %@ ;  X = b
    %@ ;  X = c.

This addresses #750.

use lookahead to skip inapplicable clauses (#1028, #1502)

remove unsafe unwrap in put_char (#1881)

emit stream aliases as permission error culprits whenever possible

Revert "Allow comparisons with stream terms"

This reverts commit 076a75d1381926f83dd77150fdbda43969c168bf.

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

This reverts commit b746a8f9ab191da151ba06e2dd5fbe41f23382b2.

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

This reverts commit 811ff652097849bbb05e0e6f51c186d65cd2e236.

use indexing functions to set num_cells in allocate_and_frame/or_frame (#1877)

clean commented code from disjuncts.rs

remove errant debug_hook from read_and_match

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