]>
Repositorios git - scryer-prolog.git/log
Mark [Sun, 16 Jul 2023 03:52:54 +0000 (21:52 -0600)]
re-factor options handling of read_term into read_term_body (#1887)
Mark [Sun, 16 Jul 2023 01:29:06 +0000 (19:29 -0600)]
generalize simple goal detection to fix call/N test failures in logtalk test suite
Mark [Sat, 15 Jul 2023 17:20:20 +0000 (11:20 -0600)]
add read_term_from_chars/3 (#637)
Mark [Sat, 15 Jul 2023 16:58:25 +0000 (10:58 -0600)]
use double_quotes in write_error (#1886)
Mark [Sat, 15 Jul 2023 16:44:00 +0000 (10:44 -0600)]
add is_inbuilt check to err_on_builtin_overwrite (#1872)
Mark [Sat, 15 Jul 2023 16:22:23 +0000 (10:22 -0600)]
eliminate call_with_inference_limit/3 leaks (#1300)
Mark [Fri, 14 Jul 2023 18:44:25 +0000 (12:44 -0600)]
add (:-)/1 and (:-)/2 to ClauseType::is_inbuilt (#1872)
Mark [Thu, 13 Jul 2023 23:12:05 +0000 (17:12 -0600)]
fix assert(a|z)/1 errors
Mark Thom [Thu, 13 Jul 2023 22:09:29 +0000 (16:09 -0600)]
Merge pull request #1884 from triska/countall
ADDED: countall/2, for compatibility with GNU Prolog.
Markus Triska [Thu, 13 Jul 2023 21:08:13 +0000 (23:08 +0200)]
ADDED: countall/2, for compatibility with GNU Prolog.
Example:
?- countall(member(X, "abc"), N).
N = 3.
Mark [Thu, 13 Jul 2023 21:03:26 +0000 (15:03 -0600)]
throw permission_error in compile_assert when attempting to assert a built-in (#1872)
Mark [Thu, 13 Jul 2023 19:58:51 +0000 (13:58 -0600)]
arith_eval_by_metacall may receive a stack variable
Mark [Thu, 13 Jul 2023 19:37:34 +0000 (13:37 -0600)]
correct peek_code/2, don't set stream position in peek functions
Mark [Thu, 13 Jul 2023 18:23:20 +0000 (12:23 -0600)]
correct peek_byte/2 bugs (#1882)
Mark [Thu, 13 Jul 2023 00:11:56 +0000 (18:11 -0600)]
improve ground/1 performance (#1389)
Mark [Wed, 12 Jul 2023 22:34:11 +0000 (16:34 -0600)]
fix peek_byte/2 crash (#1882)
Mark Thom [Wed, 12 Jul 2023 22:21:06 +0000 (16:21 -0600)]
Merge pull request #1878 from mthom/lookahead_indexing
use lookahead to skip inapplicable clauses (#1028, #1502)
Markus Triska [Wed, 12 Jul 2023 05:26:52 +0000 (07:26 +0200)]
ENHANCED: improved determinism of member/2
Example:
?- member(X, "abc").
%@ X = a
%@ ; X = b
%@ ; X = c.
This addresses #750.
Mark [Tue, 11 Jul 2023 23:59:53 +0000 (17:59 -0600)]
use lookahead to skip inapplicable clauses (#1028, #1502)
Mark [Wed, 12 Jul 2023 20:24:20 +0000 (14:24 -0600)]
remove unsafe unwrap in put_char (#1881)
Mark [Wed, 12 Jul 2023 18:17:06 +0000 (12:17 -0600)]
emit stream aliases as permission error culprits whenever possible
Mark [Wed, 12 Jul 2023 17:44:45 +0000 (11:44 -0600)]
Revert "Allow comparisons with stream terms"
This reverts commit
076a75d1381926f83dd77150fdbda43969c168bf.
Mark [Wed, 12 Jul 2023 17:44:44 +0000 (11:44 -0600)]
Revert "add stream alias check to atom/1 (#1855)"
This reverts commit
b746a8f9ab191da151ba06e2dd5fbe41f23382b2.
Mark [Wed, 12 Jul 2023 17:44:41 +0000 (11:44 -0600)]
Revert "add stream alias processing to atom_chars/2, atom_codes/2"
This reverts commit
811ff652097849bbb05e0e6f51c186d65cd2e236.
Mark [Tue, 11 Jul 2023 19:43:34 +0000 (13:43 -0600)]
use indexing functions to set num_cells in allocate_and_frame/or_frame (#1877)
Mark [Mon, 10 Jul 2023 16:32:15 +0000 (10:32 -0600)]
clean commented code from disjuncts.rs
Mark [Sun, 9 Jul 2023 16:30:30 +0000 (10:30 -0600)]
remove errant debug_hook from read_and_match
Markus Triska [Sun, 9 Jul 2023 12:24:21 +0000 (14:24 +0200)]
DOC: new section on applications of Scryer Prolog
This addresses an important aspect of #1777.
Markus Triska [Sun, 9 Jul 2023 11:36:36 +0000 (13:36 +0200)]
correct \\ to \, addressing #1865
Mark [Sun, 9 Jul 2023 07:53:40 +0000 (01:53 -0600)]
refine EOF handling more (#1873)
Mark [Sun, 9 Jul 2023 04:25:30 +0000 (22:25 -0600)]
refine EOF handling
Mark [Sun, 9 Jul 2023 01:27:32 +0000 (19:27 -0600)]
follow EOF action after open_parsing_stream in get_char if stream at EOF
Mark [Sat, 8 Jul 2023 19:38:32 +0000 (13:38 -0600)]
clarify EOF error across stream types and predicates (#1867, #1870)
Mark Thom [Sat, 8 Jul 2023 07:24:04 +0000 (01:24 -0600)]
Merge pull request #1869 from triska/master
print version more readably, addressing #1868
Markus Triska [Sat, 8 Jul 2023 06:19:05 +0000 (08:19 +0200)]
print version more readably, addressing #1868
Mark [Fri, 7 Jul 2023 19:04:27 +0000 (13:04 -0600)]
treat unexpected EOF as incomplete reduction in bracketed_comment
Mark [Fri, 7 Jul 2023 17:05:44 +0000 (11:05 -0600)]
interpret '\u{0}' as end_of_file in get_char/1
Mark [Fri, 7 Jul 2023 16:38:05 +0000 (10:38 -0600)]
add stream alias processing to atom_chars/2, atom_codes/2
Mark Thom [Thu, 6 Jul 2023 22:30:56 +0000 (16:30 -0600)]
Merge pull request #1832 from aarroyoc/http-fixes
Multiple fixes for http libraries
Mark [Thu, 6 Jul 2023 17:38:12 +0000 (11:38 -0600)]
add stream alias check to atom/1 (#1855)
Mark [Thu, 6 Jul 2023 17:20:49 +0000 (11:20 -0600)]
add scc_block to MachineState to avoid SCC cleanup terms being deallocated too early (#1427)
Mark [Thu, 6 Jul 2023 00:11:09 +0000 (18:11 -0600)]
correct heap_print.rs tests
Mark [Wed, 5 Jul 2023 20:50:38 +0000 (14:50 -0600)]
shrink scope of control_entry_point catch, add CutPoint tag to printer
Mark Thom [Wed, 5 Jul 2023 19:49:29 +0000 (13:49 -0600)]
Merge pull request #1864 from triska/double_quotes
make double_quotes write option not dependent on double_quotes flag
Markus Triska [Wed, 5 Jul 2023 19:22:49 +0000 (21:22 +0200)]
make double_quotes write option not dependent on double_quotes flag
This gives consistent results without depending on another flag.
Mark Thom [Wed, 5 Jul 2023 16:49:51 +0000 (10:49 -0600)]
Merge pull request #1862 from mthom/iso_conformity_tests
Revise iso_conformity_tests.pl to remove unnecessary spaces
Mark [Tue, 4 Jul 2023 23:44:27 +0000 (17:44 -0600)]
add missing self.pos to peek_char slices (#1726)
Mark [Tue, 4 Jul 2023 18:13:43 +0000 (12:13 -0600)]
revise iso_conformity_tests.pl in response to new ambiguity check of #1860
Mark [Tue, 4 Jul 2023 22:09:54 +0000 (16:09 -0600)]
throw lexer errors from devour_whitespace (#1778)
Mark Thom [Tue, 4 Jul 2023 21:11:59 +0000 (15:11 -0600)]
Merge pull request #1861 from aarroyoc/fix-1855
Allow comparisons with stream terms
Mark [Tue, 4 Jul 2023 17:22:07 +0000 (11:22 -0600)]
widen CharReader buffer (#1859)
Adrián Arroyo Calle [Tue, 4 Jul 2023 15:33:48 +0000 (17:33 +0200)]
Allow comparisons with stream terms
Mark Thom [Mon, 3 Jul 2023 20:05:16 +0000 (14:05 -0600)]
Merge pull request #1857 from triska/master
advertise newly achieved strong syntactic conformance: all current tests pass
Markus Triska [Mon, 3 Jul 2023 20:04:26 +0000 (22:04 +0200)]
advertise newly achieved strong syntactic conformance: all current tests pass
This addresses an important aspect of #1777.
Mark Thom [Mon, 3 Jul 2023 19:53:41 +0000 (13:53 -0600)]
Merge pull request #1850 from mthom/iso-conformity-tests
Automate ISO syntax conformity tests
Mark [Mon, 3 Jul 2023 19:18:53 +0000 (13:18 -0600)]
update tests
Mark [Mon, 3 Jul 2023 18:09:26 +0000 (12:09 -0600)]
correct tests #171 and #300
Mark [Mon, 3 Jul 2023 17:35:07 +0000 (11:35 -0600)]
add double_quotes write option for printing to strings, enable it at toplevel
Mark [Mon, 3 Jul 2023 17:34:41 +0000 (11:34 -0600)]
correct ISO conformity test #185
Mark [Sat, 1 Jul 2023 21:38:05 +0000 (15:38 -0600)]
add iso-conformity-tests.pl to test suite
Mark [Fri, 30 Jun 2023 00:03:43 +0000 (18:03 -0600)]
correct initialization_goals misnomer in iso-conformity-tests.pl
Mark [Fri, 30 Jun 2023 00:01:09 +0000 (18:01 -0600)]
make setup of test_166_167 pass
Mark [Thu, 29 Jun 2023 23:59:25 +0000 (17:59 -0600)]
check ambiguity of "'" against tail if atom token is about to be quoted
Mark [Thu, 29 Jun 2023 23:35:27 +0000 (17:35 -0600)]
always print a space between prefix operator and its operand
Mark [Thu, 29 Jun 2023 20:57:29 +0000 (14:57 -0600)]
correct tests 259 and 304 of tests-pl/iso-conformity-tests.pl
Mark [Thu, 29 Jun 2023 18:18:14 +0000 (12:18 -0600)]
introduce tests-pl/iso-conformity-tests.pl
Mark [Sun, 2 Jul 2023 17:10:25 +0000 (11:10 -0600)]
removing residual debugging comments from format.pl
Mark [Fri, 30 Jun 2023 23:13:38 +0000 (17:13 -0600)]
use lexer to detect remaining layout in parse_number_from_string (#1773)
Mark Thom [Fri, 30 Jun 2023 21:43:45 +0000 (15:43 -0600)]
Merge pull request #1854 from triska/needs_bracketing
remove now unneeded check
Markus Triska [Fri, 30 Jun 2023 20:14:00 +0000 (22:14 +0200)]
remove now unneeded check
Mark [Fri, 30 Jun 2023 19:45:45 +0000 (13:45 -0600)]
check that F in needs_bracketing/2 is an atom
Mark [Fri, 30 Jun 2023 18:06:07 +0000 (12:06 -0600)]
do not enclose '(' as atom in brackets (#1487)
Mark Thom [Fri, 30 Jun 2023 17:13:24 +0000 (11:13 -0600)]
Merge pull request #1852 from triska/needs_bracketing
Improvements to needs_bracketing/2
Markus Triska [Fri, 30 Jun 2023 16:03:21 +0000 (18:03 +0200)]
remove unneeded case: only operator definitions should count, not quoting
Markus Triska [Fri, 30 Jun 2023 16:02:43 +0000 (18:02 +0200)]
remove subsumed case: F == Value means Arity =:= 0, now considered above
Markus Triska [Fri, 30 Jun 2023 16:01:54 +0000 (18:01 +0200)]
shorten needs_bracketing/2
Markus Triska [Fri, 30 Jun 2023 16:01:17 +0000 (18:01 +0200)]
constrain bracketing to operators with pertaining arity
Example:
?- X = -->(a,b,c).
X = -->(a,b,c).
Mark Thom [Fri, 30 Jun 2023 06:26:18 +0000 (00:26 -0600)]
Merge pull request #1851 from triska/operator_bracketing
bracket all operators that are direct operands of (=)/2
Markus Triska [Fri, 30 Jun 2023 05:34:15 +0000 (07:34 +0200)]
bracket all operators that are direct operands of (=)/2
This addresses #804.
Adrián Arroyo Calle [Mon, 19 Jun 2023 17:18:14 +0000 (19:18 +0200)]
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
Mark [Thu, 29 Jun 2023 20:58:15 +0000 (14:58 -0600)]
fix ReadlineStream peek_char using CharReader
Mark [Thu, 29 Jun 2023 18:58:15 +0000 (12:58 -0600)]
read the cell written to by mark_var when needed in compile_is (#1846)
Mark [Thu, 29 Jun 2023 18:14:06 +0000 (12:14 -0600)]
introduce CutPoint heap tag so that they can be offset by call_continuation/1
Mark Thom [Thu, 29 Jun 2023 18:11:12 +0000 (12:11 -0600)]
Merge pull request #1849 from triska/showterm
remove unneeded single quotes
Markus Triska [Thu, 29 Jun 2023 17:25:23 +0000 (19:25 +0200)]
remove unneeded single quotes
Mark [Wed, 28 Jun 2023 23:31:43 +0000 (17:31 -0600)]
correct and generalize current_predicate/1
Mark [Tue, 27 Jun 2023 23:35:10 +0000 (17:35 -0600)]
unify stack variables to streams in unify_constant (#1845)
Mark [Tue, 27 Jun 2023 22:39:10 +0000 (16:39 -0600)]
better detect syntax errors in lexer.rs (#1771)
Mark Thom [Tue, 27 Jun 2023 21:26:33 +0000 (15:26 -0600)]
Merge pull request #1844 from triska/copy_term_nat
use copy_term_nat/2
Markus Triska [Tue, 27 Jun 2023 20:37:23 +0000 (22:37 +0200)]
use copy_term_nat/2
Mark [Tue, 27 Jun 2023 18:23:40 +0000 (12:23 -0600)]
enable unification of streams to alias atoms (#1823)
Mark [Tue, 27 Jun 2023 17:08:29 +0000 (11:08 -0600)]
support module resolution in current_predicate/1 (#1817)
Mark [Tue, 27 Jun 2023 16:41:15 +0000 (10:41 -0600)]
fix builtin_predicate (#1819)
Mark [Tue, 27 Jun 2023 16:30:55 +0000 (10:30 -0600)]
remove tabling attributes in each module's attribute_goals//1 (#1825)
Mark [Mon, 26 Jun 2023 22:32:30 +0000 (16:32 -0600)]
properly account for partial string offsets in '$skip_max_list' (#1827)
Mark [Sat, 24 Jun 2023 23:03:46 +0000 (17:03 -0600)]
mark chunk boundary at beginning of disjunct in disjuncts.rs (#1843)
Mark [Sat, 24 Jun 2023 20:12:04 +0000 (14:12 -0600)]
fix string incompleteness (#1828)
Mark Thom [Sat, 24 Jun 2023 19:13:07 +0000 (13:13 -0600)]
Merge pull request #1842 from infogulch/release-on-tag
Fix tags trigger; bump MSRV to 1.65
infogulch [Sat, 24 Jun 2023 18:21:42 +0000 (13:21 -0500)]
Bump msrv to 1.65 due to bumping rug to 1.19
https://gitlab.com/tspiteri/rug#version-1190-news-2023-01-06
infogulch [Sat, 24 Jun 2023 18:05:57 +0000 (13:05 -0500)]
Fix tags trigger