-
918dfca409
DOC: new section on applications of Scryer Prolog
Markus Triska
2023-07-09 14:24:21 +02:00
-
d18f128a3c
correct \\ to \, addressing #1865
Markus Triska
2023-07-09 13:36:36 +02:00
-
c8b9059289
refine EOF handling more (#1873)
Mark
2023-07-09 01:53:40 -06:00
-
b8a6882a27
refine EOF handling
Mark
2023-07-08 22:25:30 -06:00
-
fb8e3071f2
follow EOF action after open_parsing_stream in get_char if stream at EOF
Mark
2023-07-08 19:27:32 -06:00
-
067b5998ee
clarify EOF error across stream types and predicates (#1867, #1870)
Mark
2023-07-08 13:38:32 -06:00
-
2e26f37f5e
Merge pull request #1869 from triska/master
Mark Thom
2023-07-08 01:24:04 -06:00
-
-
6525c1f543
print version more readably, addressing #1868
Markus Triska
2023-07-08 08:19:05 +02:00
-
-
4db0b385f3
treat unexpected EOF as incomplete reduction in bracketed_comment
Mark
2023-07-07 13:04:27 -06:00
-
b7f77d1747
interpret '\u{0}' as end_of_file in get_char/1
Mark
2023-07-07 11:05:44 -06:00
-
811ff65209
add stream alias processing to atom_chars/2, atom_codes/2
Mark
2023-07-07 10:38:05 -06:00
-
fd70d8975b
Merge pull request #1832 from aarroyoc/http-fixes
Mark Thom
2023-07-06 16:30:56 -06:00
-
-
b746a8f9ab
add stream alias check to atom/1 (#1855)
Mark
2023-07-06 11:38:12 -06:00
-
483e4568a2
add scc_block to MachineState to avoid SCC cleanup terms being deallocated too early (#1427)
Mark
2023-07-06 11:20:49 -06:00
-
9ff1b660f1
correct heap_print.rs tests
Mark
2023-07-05 18:11:09 -06:00
-
5ffdd2d91a
shrink scope of control_entry_point catch, add CutPoint tag to printer
Mark
2023-07-05 14:50:38 -06:00
-
5b81bee941
Merge pull request #1864 from triska/double_quotes
Mark Thom
2023-07-05 13:49:29 -06:00
-
-
3b9b9e75c4
make double_quotes write option not dependent on double_quotes flag
Markus Triska
2023-07-05 21:22:49 +02:00
-
-
faef45fd68
Merge pull request #1862 from mthom/iso_conformity_tests
Mark Thom
2023-07-05 10:49:51 -06:00
-
-
b5b45dde9d
add missing self.pos to peek_char slices (#1726)
Mark
2023-07-04 17:44:27 -06:00
-
5ab087bc1e
revise iso_conformity_tests.pl in response to new ambiguity check of #1860
Mark
2023-07-04 12:13:43 -06:00
-
-
7683367c0e
throw lexer errors from devour_whitespace (#1778)
Mark
2023-07-04 16:09:54 -06:00
-
d2db66b9f7
Merge pull request #1861 from aarroyoc/fix-1855
Mark Thom
2023-07-04 15:11:59 -06:00
-
-
c58d8804a1
widen CharReader buffer (#1859)
Mark
2023-07-04 11:22:07 -06:00
-
5d09449c95
widen CharReader buffer (#1859)
Mark
2023-07-04 11:22:07 -06:00
-
-
-
076a75d138
Allow comparisons with stream terms
Adrián Arroyo Calle
2023-07-04 17:33:48 +02:00
-
7f69ac3f4a
Merge pull request #1857 from triska/master
Mark Thom
2023-07-03 14:05:16 -06:00
-
-
7f159a7ed2
advertise newly achieved strong syntactic conformance: all current tests pass
Markus Triska
2023-07-03 22:04:26 +02:00
-
-
42274ef3ae
Merge pull request #1850 from mthom/iso-conformity-tests
Mark Thom
2023-07-03 13:53:41 -06:00
-
-
-
-
ab893be418
update tests
Mark
2023-07-03 13:18:53 -06:00
-
f5e7573bd6
correct tests #171 and #300
Mark
2023-07-03 12:09:26 -06:00
-
9cdad087ef
add double_quotes write option for printing to strings, enable it at toplevel
Mark
2023-07-03 11:35:07 -06:00
-
e36f96fd47
correct ISO conformity test #185
Mark
2023-07-03 11:34:41 -06:00
-
cb25a90250
add iso-conformity-tests.pl to test suite
Mark
2023-07-01 15:38:05 -06:00
-
38a9d23174
correct initialization_goals misnomer in iso-conformity-tests.pl
Mark
2023-06-29 18:03:43 -06:00
-
521118265a
make setup of test_166_167 pass
Mark
2023-06-29 18:01:09 -06:00
-
a09306c585
check ambiguity of "'" against tail if atom token is about to be quoted
Mark
2023-06-29 17:59:25 -06:00
-
8140ff9154
always print a space between prefix operator and its operand
Mark
2023-06-29 17:35:27 -06:00
-
3cbe78cb9b
correct tests 259 and 304 of tests-pl/iso-conformity-tests.pl
Mark
2023-06-29 14:57:29 -06:00
-
699afb2c00
introduce tests-pl/iso-conformity-tests.pl
Mark
2023-06-29 12:18:14 -06:00
-
-
d079a18459
removing residual debugging comments from format.pl
Mark
2023-07-02 11:10:25 -06:00
-
b0566e4150
use lexer to detect remaining layout in parse_number_from_string (#1773)
Mark
2023-06-30 17:13:38 -06:00
-
c38a26e6cd
Merge pull request #1854 from triska/needs_bracketing
Mark Thom
2023-06-30 15:43:45 -06:00
-
-
31030738a4
remove now unneeded check
Markus Triska
2023-06-30 22:14:00 +02:00
-
-
caf84a259e
check that F in needs_bracketing/2 is an atom
Mark
2023-06-30 13:45:45 -06:00
-
1620824d3a
do not enclose '(' as atom in brackets (#1487)
Mark
2023-06-30 12:06:07 -06:00
-
1d2f5053d6
Merge pull request #1852 from triska/needs_bracketing
Mark Thom
2023-06-30 11:13:24 -06:00
-
-
42282c6e6e
remove unneeded case: only operator definitions should count, not quoting
Markus Triska
2023-06-30 18:03:21 +02:00
-
a3f8ddd24a
remove subsumed case: F == Value means Arity =:= 0, now considered above
Markus Triska
2023-06-30 18:02:43 +02:00
-
bfe808a779
shorten needs_bracketing/2
Markus Triska
2023-06-30 18:01:54 +02:00
-
28065b0565
constrain bracketing to operators with pertaining arity
Markus Triska
2023-06-30 18:01:17 +02:00
-
-
4953cfd10e
Merge pull request #1851 from triska/operator_bracketing
Mark Thom
2023-06-30 00:26:18 -06:00
-
-
db972de40c
bracket all operators that are direct operands of (=)/2
Markus Triska
2023-06-30 07:34:15 +02:00
-
-
330e9ba4ef
Multiple fixes for http libraries
Adrián Arroyo Calle
2023-06-19 19:18:14 +02:00
-
-
bb09de1805
fix ReadlineStream peek_char using CharReader
Mark
2023-06-29 14:58:15 -06:00
-
a6a0cef9fc
read the cell written to by mark_var when needed in compile_is (#1846)
Mark
2023-06-29 12:58:15 -06:00
-
c36bd4dc07
introduce CutPoint heap tag so that they can be offset by call_continuation/1
Mark
2023-06-29 12:14:06 -06:00
-
83f352b95e
Merge pull request #1849 from triska/showterm
Mark Thom
2023-06-29 12:11:12 -06:00
-
-
c84a5c3282
remove unneeded single quotes
Markus Triska
2023-06-29 19:25:23 +02:00
-
-
58af615dd4
correct and generalize current_predicate/1
Mark
2023-06-28 17:31:43 -06:00
-
c4b13a2176
unify stack variables to streams in unify_constant (#1845)
Mark
2023-06-27 17:35:10 -06:00
-
039fffb339
better detect syntax errors in lexer.rs (#1771)
Mark
2023-06-27 16:39:10 -06:00
-
8613513b9c
Merge pull request #1844 from triska/copy_term_nat
Mark Thom
2023-06-27 15:26:33 -06:00
-
-
ceb276b249
use copy_term_nat/2
Markus Triska
2023-06-27 22:37:23 +02:00
-
-
16f281e3d1
enable unification of streams to alias atoms (#1823)
Mark
2023-06-27 12:23:40 -06:00
-
b593fffc7d
support module resolution in current_predicate/1 (#1817)
Mark
2023-06-27 11:08:29 -06:00
-
ce890799bc
fix builtin_predicate (#1819)
Mark
2023-06-27 10:41:15 -06:00
-
aa65287c3b
remove tabling attributes in each module's attribute_goals//1 (#1825)
Mark
2023-06-27 10:30:55 -06:00
-
a6522d6317
properly account for partial string offsets in '$skip_max_list' (#1827)
Mark
2023-06-26 16:32:30 -06:00
-
0b45d42912
mark chunk boundary at beginning of disjunct in disjuncts.rs (#1843)
Mark
2023-06-24 17:03:46 -06:00
-
d9829a3606
fix string incompleteness (#1828)
Mark
2023-06-24 14:12:04 -06:00
-
59766e2db4
Merge pull request #1842 from infogulch/release-on-tag
Mark Thom
2023-06-24 13:13:07 -06:00
-
-
e52a4fbfc0
Bump msrv to 1.65 due to bumping rug to 1.19
infogulch
2023-06-24 13:21:42 -05:00
-
c05afb4705
Fix tags trigger
infogulch
2023-06-24 13:05:57 -05:00
-
-
9f209dadd9
fix branch subsumption bug (#1840, #1841)
Mark
2023-06-24 10:59:29 -06:00
-
2ec45b7413
Merge pull request #1838 from triska/get_line_to_chars
Mark Thom
2023-06-24 09:19:22 -06:00
-
-
bf581879e6
update README
Mark
2023-06-24 09:11:30 -06:00
-
9bc3757a9e
another case of "read" --> "get", for an only internally used predicate
Markus Triska
2023-06-24 11:48:28 +02:00
-
18d0a74f23
MODIFIED: read_line_to_chars/3 is now called get_line_to_chars/3
Markus Triska
2023-06-24 11:47:32 +02:00
-
-
7a188744da
correct code_walker.rs in light of compilation improvements
Mark
2023-06-23 16:49:27 -06:00
-
7f45ac3f7a
Merge branch 'compiling_disj'
Mark
2023-06-23 14:57:29 -06:00
-
-
612861e010
correct reversions after rebase
Mark
2023-06-23 14:13:40 -06:00
-
fcae0d9fcf
polish perm free list management
Mark
2023-06-23 12:53:21 -06:00
-
f446939770
Add steps to publish binaries when releases are tagged
infogulch
2023-06-22 22:14:44 -05:00
-
92853a6a12
free local cut variables after cut
Mark
2023-06-23 12:24:34 -06:00
-
4ad113a6f8
mark is/2 allocated permanent variables as safe, add CompareNumber terms to ClauseType::is_inlined
Mark
2023-06-23 11:13:51 -06:00
-
89ed1aa8de
Bump openssl from 0.10.48 to 0.10.55
dependabot[bot]
2023-06-21 22:54:36 +00:00
-
d7f5675727
improve call/N implementation (#1829)
Mark
2023-06-10 01:25:47 -06:00
-
4d982d22c1
set_local_value does not make values safe (#1812)
Mark
2023-06-06 00:58:44 -06:00
-
5ed1802f0f
read set_value args from temp regs of put_unsafe_value (#1812)
Mark
2023-05-29 20:49:54 -06:00
-
2716381e7b
FIXED: correct dereferencing in atom_codes/2 and number_codes/2.
Markus Triska
2023-05-29 11:12:00 +02:00
-
c5c83d724a
Rename INDEX.md to INDEX.dj and add banner about Scryer Prolog Meetup
Adrián Arroyo Calle
2023-05-29 00:29:53 +02:00
-
749dedf477
read from machine stack in stackful pre-order iterator (#1812)
Mark
2023-05-26 15:19:07 -06:00
-
911c49c43f
Compute correctly the domain of the remainder
notoria
2023-05-27 13:47:14 +02:00
-
770a682d8b
Don't add variable
notoria
2023-05-27 13:19:19 +02:00
-
73ca37ecca
Remove and move comments
notoria
2023-05-27 13:08:25 +02:00
-
e0f49e8f43
optionally read from machine stack in stackful pre-order iterator (#1812)
Mark
2023-05-26 15:19:07 -06:00
-
dae34b6009
affirm integers as rational/1 (#1810)
Mark
2023-05-24 13:43:52 -06:00
-
5850125d97
Update select crate to 0.6.0 and remove warning
Adrián Arroyo Calle
2023-05-17 18:19:19 +02:00
-
97bd778745
FIXED: correctly reset counter in reset_gensym/2 (#1807)
Markus Triska
2023-05-16 22:42:10 +02:00