]>
Repositorios git - scryer-prolog.git/log
Markus Triska [Wed, 8 Mar 2023 20:16:54 +0000 (21:16 +0100)]
FIXED: Take all variables into account during goal projection.
This addresses #1751.
Markus Triska [Wed, 8 Mar 2023 19:50:33 +0000 (20:50 +0100)]
ENHANCED: more compact definition of dif/2
As outlined in #1753.
Mark Thom [Thu, 2 Mar 2023 20:57:56 +0000 (21:57 +0100)]
Merge pull request #1744 from aarroyoc/ffi
Foreign Function Interface - library(ffi)
Adrián Arroyo Calle [Wed, 1 Mar 2023 21:10:26 +0000 (22:10 +0100)]
Fill more cases
Adrián Arroyo Calle [Tue, 28 Feb 2023 21:10:40 +0000 (22:10 +0100)]
Merge branch 'master' into ffi
Adrián Arroyo Calle [Mon, 27 Feb 2023 19:02:21 +0000 (20:02 +0100)]
FFI: Documentation
Mark Thom [Mon, 27 Feb 2023 05:41:38 +0000 (22:41 -0700)]
invoke '$default_attr_list' in project_attributes.pl (#1748)
Mark Thom [Sun, 26 Feb 2023 23:29:39 +0000 (16:29 -0700)]
third argument of copy_term should be instantiated as a list (#1747)
Mark Thom [Sun, 26 Feb 2023 22:46:23 +0000 (23:46 +0100)]
Merge pull request #1746 from triska/type_over_instantiation_error
ENHANCED: must_be/2: prefer type error over instantiation error
Markus Triska [Sun, 26 Feb 2023 21:27:06 +0000 (22:27 +0100)]
ENHANCED: must_be/2: prefer type error over instantiation error
This addresses #1594.
Adrián Arroyo Calle [Sun, 26 Feb 2023 19:48:00 +0000 (20:48 +0100)]
FFI: Nested structs
Mark Thom [Sun, 26 Feb 2023 04:52:18 +0000 (21:52 -0700)]
add, implement and use the Unifier trait
Adrián Arroyo Calle [Sat, 25 Feb 2023 21:27:28 +0000 (22:27 +0100)]
Macroization of the code
Mark Thom [Sat, 25 Feb 2023 18:23:59 +0000 (19:23 +0100)]
Merge pull request #1743 from triska/rely_on_indexing
rely on first instantiated argument indexing
Markus Triska [Sat, 25 Feb 2023 09:17:55 +0000 (10:17 +0100)]
rely on first instantiated argument indexing
This great improvement to indexing allows much more natural
definitions of virtually all meta-predicates. Many thanks to @notoria!
Mark Thom [Thu, 23 Feb 2023 00:51:22 +0000 (01:51 +0100)]
Merge pull request #1741 from triska/clpz_residuals
in projection of residual goals, mark considered propagators as processed
Markus Triska [Wed, 22 Feb 2023 23:10:26 +0000 (00:10 +0100)]
DOC: update residual goals
Markus Triska [Wed, 22 Feb 2023 20:05:31 +0000 (21:05 +0100)]
in projection of residual goals, mark considered propagators as processed
This is to avoid duplicated goals with the new projection mechanism.
Adrián Arroyo Calle [Wed, 22 Feb 2023 22:10:03 +0000 (23:10 +0100)]
MVP of Foreign Function Interface
Mark Thom [Wed, 22 Feb 2023 03:53:13 +0000 (20:53 -0700)]
assign responsibility for emitting dif goal to the first variable of the left-hand term (#1739)
Mark Thom [Tue, 21 Feb 2023 07:50:31 +0000 (00:50 -0700)]
catch attribute_goals errors in copy_term/3, don't discard variable module qualifiers in dcg_body/3 (#1738)
Mark Thom [Mon, 20 Feb 2023 20:10:01 +0000 (21:10 +0100)]
Merge pull request #1737 from triska/link_to_homepage
add link to newly available homepage
Markus Triska [Mon, 20 Feb 2023 19:09:47 +0000 (20:09 +0100)]
add link to newly available homepage
Many thanks to @aarroyoc for the documentation system, and for hosting the page!
Robert Jacobson [Mon, 20 Feb 2023 01:10:21 +0000 (20:10 -0500)]
Changed the links for the delimited continuations papers and the precise garbage collection paper.
Robert Jacobson [Sat, 18 Feb 2023 20:49:42 +0000 (15:49 -0500)]
Added links to referenced research papers in the Phase 2 and Nice to Have Features sections.
Mark Thom [Sat, 18 Feb 2023 21:12:07 +0000 (14:12 -0700)]
change '$delete_all_attributes' to '$delete_all_attributes_from_var'
Mark Thom [Sat, 18 Feb 2023 09:15:24 +0000 (02:15 -0700)]
add '$delete_all_attributes', use copy_term/3 as defined in #1272
Mark Thom [Sat, 18 Feb 2023 02:20:28 +0000 (19:20 -0700)]
compile '$atts' and '$project_atts' modules using loader.pl
Mark Thom [Fri, 17 Feb 2023 07:20:15 +0000 (00:20 -0700)]
keep phrase goal qualified even if qualifier is a variable
Mark Thom [Mon, 13 Feb 2023 06:41:25 +0000 (23:41 -0700)]
correct incremental compilation bugs
Mark Thom [Mon, 13 Feb 2023 00:16:02 +0000 (17:16 -0700)]
copy attributed variable attribute lists specially via copy_attr_var_list
Mark Thom [Sat, 11 Feb 2023 05:35:41 +0000 (22:35 -0700)]
retire TrailedAttrVarHeapLink TrailEntry tag
Mark Thom [Fri, 10 Feb 2023 07:09:22 +0000 (00:09 -0700)]
simplify and optimize attributed variables (#1590, #1634, #1730)
Mark Thom [Mon, 6 Feb 2023 08:23:29 +0000 (01:23 -0700)]
port '$get_from_list' to '$get_from_attr_list' in Rust
Mark Thom [Sun, 5 Feb 2023 01:14:16 +0000 (18:14 -0700)]
include wambook errata
Mark Thom [Sat, 4 Feb 2023 05:27:08 +0000 (22:27 -0700)]
correct shl stub_gen
Mark Thom [Sat, 4 Feb 2023 04:49:11 +0000 (05:49 +0100)]
Merge pull request #1734 from triska/clpz_corrections
DOC: teletype font for reification
Markus Triska [Fri, 3 Feb 2023 19:44:11 +0000 (20:44 +0100)]
DOC: teletype font for reification
Mark Thom [Fri, 3 Feb 2023 03:49:14 +0000 (20:49 -0700)]
shift by usize instead of u32 in shl and shr (#1718, #1719)
Mark Thom [Fri, 3 Feb 2023 00:58:52 +0000 (01:58 +0100)]
Merge pull request #1732 from aarroyoc/docs-minor-fixes
Minor fixes to docs
Adrián Arroyo Calle [Thu, 2 Feb 2023 20:35:35 +0000 (21:35 +0100)]
Minor fixes to docs
Mark Thom [Thu, 2 Feb 2023 05:26:08 +0000 (06:26 +0100)]
Merge pull request #1731 from triska/clpz_corrections
correct DocLog ~/.scryerrc rendering
Mark Thom [Thu, 2 Feb 2023 05:25:52 +0000 (06:25 +0100)]
Merge pull request #1729 from aarroyoc/negative-shifts
Negative shifts (fixes #1719 and #1718)
Markus Triska [Wed, 1 Feb 2023 22:26:52 +0000 (23:26 +0100)]
correct DocLog ~/.scryerrc rendering
Mark Thom [Tue, 31 Jan 2023 07:15:57 +0000 (00:15 -0700)]
avoid arena allocation of stream in read_term_from_chars (#1266)
Mark Thom [Tue, 24 Jan 2023 23:17:03 +0000 (16:17 -0700)]
update tokio version
Adrián Arroyo Calle [Mon, 30 Jan 2023 17:56:37 +0000 (18:56 +0100)]
Negative shifts (fixes #1719 and #1718)
Mark Thom [Mon, 30 Jan 2023 03:24:04 +0000 (04:24 +0100)]
Merge pull request #1728 from aarroyoc/docs-csv
Compatible Doclog docs for library(csv)
Mark Thom [Mon, 30 Jan 2023 03:23:52 +0000 (04:23 +0100)]
Merge pull request #1727 from triska/clpz_corrections
DOC: use valid Prolog terms as predicate indicators
Adrián Arroyo Calle [Sun, 29 Jan 2023 21:36:16 +0000 (22:36 +0100)]
Compatible Doclog docs for library(csv)
Markus Triska [Sun, 29 Jan 2023 20:48:22 +0000 (21:48 +0100)]
DOC: use valid Prolog terms as predicate indicators
Mark Thom [Sat, 28 Jan 2023 19:12:09 +0000 (20:12 +0100)]
Merge pull request #1725 from aarroyoc/fix-docs-http-server
Fix library(http/http_server) docs. Other minor fixes
Mark Thom [Sat, 28 Jan 2023 19:11:48 +0000 (20:11 +0100)]
Merge pull request #1724 from triska/clpz_corrections
CLP(ℤ) corrections
Markus Triska [Sat, 28 Jan 2023 09:43:42 +0000 (10:43 +0100)]
use DocLog syntax for section anchors and links within the document
Markus Triska [Sat, 28 Jan 2023 09:03:23 +0000 (10:03 +0100)]
small documentation adjustments
Markus Triska [Sat, 28 Jan 2023 08:42:26 +0000 (09:42 +0100)]
FIXED: use lsb/2 and msb/2 from library(arithmetic)
This addresses #1720.
Adrián Arroyo Calle [Sat, 28 Jan 2023 15:00:27 +0000 (16:00 +0100)]
Fix library(http/http_server) docs. Other minor fixes
Mark Thom [Fri, 27 Jan 2023 06:47:53 +0000 (07:47 +0100)]
Merge pull request #1717 from triska/format_doc
correct table layout for entries that themselves contain |
Markus Triska [Thu, 26 Jan 2023 23:22:48 +0000 (00:22 +0100)]
correct table layout for entries that themselves contain |
Mark Thom [Thu, 26 Jan 2023 04:10:20 +0000 (05:10 +0100)]
Merge pull request #1674 from aarroyoc/docs-builtins
Compatible Doclog docs for builtins
Mark Thom [Thu, 26 Jan 2023 01:05:23 +0000 (02:05 +0100)]
Merge pull request #1705 from triska/format_doc
DOC: convert library(format) documentation to DocLog format
Mark Thom [Thu, 26 Jan 2023 01:03:24 +0000 (02:03 +0100)]
Merge pull request #1706 from triska/si_doc
DOC: convert library(si) documentation to DocLog format
Mark Thom [Thu, 26 Jan 2023 01:03:14 +0000 (02:03 +0100)]
Merge pull request #1707 from triska/reif_doc
DOC: add link to "Indexing dif/2" in DocLog format
Mark Thom [Thu, 26 Jan 2023 01:02:58 +0000 (02:02 +0100)]
Merge pull request #1708 from triska/freeze_doc
DOC: add documentation for library(freeze) in DocLog format
Mark Thom [Thu, 26 Jan 2023 01:02:47 +0000 (02:02 +0100)]
Merge pull request #1709 from triska/pio_doc
DOC: convert library(pio) documentation to DocLog format
Mark Thom [Thu, 26 Jan 2023 01:02:35 +0000 (02:02 +0100)]
Merge pull request #1710 from triska/tabling_doc
DOC: initial documentation for library(tabling) in DocLog format
Mark Thom [Thu, 26 Jan 2023 01:02:22 +0000 (02:02 +0100)]
Merge pull request #1711 from triska/pairs_doc
DOC: initial documentation for library(pairs) in DocLog format
Mark Thom [Thu, 26 Jan 2023 01:02:12 +0000 (02:02 +0100)]
Merge pull request #1712 from triska/lambda_doc
DOC: convert code samples in library(lambda) to DocLog format
Mark Thom [Thu, 26 Jan 2023 01:02:01 +0000 (02:02 +0100)]
Merge pull request #1713 from triska/simplex_doc
DOC: convert library(simplex) documentation to DocLog format
Markus Triska [Wed, 25 Jan 2023 23:46:06 +0000 (00:46 +0100)]
DOC: convert library(simplex) documentation to DocLog format
Markus Triska [Wed, 25 Jan 2023 23:40:08 +0000 (00:40 +0100)]
DOC: convert code samples in library(lambda) to DocLog format
Markus Triska [Wed, 25 Jan 2023 23:36:05 +0000 (00:36 +0100)]
DOC: initial documentation for library(pairs) in DocLog format
Markus Triska [Wed, 25 Jan 2023 23:25:15 +0000 (00:25 +0100)]
add link to Desouter et al., "Tabling as a Library with Delimited Control"
Markus Triska [Wed, 25 Jan 2023 23:20:53 +0000 (00:20 +0100)]
DOC: initial documentation for library(tabling) in DocLog format
Markus Triska [Wed, 25 Jan 2023 23:09:41 +0000 (00:09 +0100)]
DOC: convert library(pio) documentation to DocLog format
Markus Triska [Wed, 25 Jan 2023 22:54:30 +0000 (23:54 +0100)]
DOC: add documentation for library(freeze) in DocLog format
Markus Triska [Wed, 25 Jan 2023 22:40:55 +0000 (23:40 +0100)]
DOC: add link to "Indexing dif/2" in DocLog format
Markus Triska [Wed, 25 Jan 2023 22:27:45 +0000 (23:27 +0100)]
DOC: convert library(si) documentation to DocLog format
Markus Triska [Wed, 25 Jan 2023 22:17:54 +0000 (23:17 +0100)]
DOC: convert library(format) documentation to DocLog format
Mark Thom [Wed, 25 Jan 2023 21:51:05 +0000 (22:51 +0100)]
Merge pull request #1704 from triska/time_doc
DOC: correctly format the table using DocLog syntax
Markus Triska [Wed, 25 Jan 2023 21:29:14 +0000 (22:29 +0100)]
DOC: correctly format the table using DocLog syntax
Mark Thom [Wed, 25 Jan 2023 20:40:15 +0000 (21:40 +0100)]
Merge pull request #1703 from aarroyoc/docs-arithmetic
Compatible Doclog docs for library(arithmetic) and small fixes on INDEX.md
Adrián Arroyo Calle [Wed, 25 Jan 2023 20:04:10 +0000 (21:04 +0100)]
Apply feedback on builtins
Adrián Arroyo Calle [Wed, 25 Jan 2023 18:48:01 +0000 (19:48 +0100)]
Compatible Doclog docs for library(arithmetic) and small fixes on INDEX.md
Mark Thom [Tue, 24 Jan 2023 23:16:53 +0000 (00:16 +0100)]
Merge pull request #1701 from triska/diag_doc
DOC: add DocLog documentation for library(diag)
Mark Thom [Tue, 24 Jan 2023 23:16:34 +0000 (00:16 +0100)]
Merge pull request #1702 from triska/debug_doc
DOC: add DocLog documentation for library(debug)
Markus Triska [Tue, 24 Jan 2023 23:19:14 +0000 (00:19 +0100)]
DOC: add DocLog documentation for library(debug)
Markus Triska [Tue, 24 Jan 2023 23:06:53 +0000 (00:06 +0100)]
DOC: add DocLog documentation for library(diag)
Mark Thom [Tue, 24 Jan 2023 21:51:35 +0000 (22:51 +0100)]
Merge pull request #1689 from triska/clpb_doc
DOC: preliminary CLP(B) documentation in DocLog format
Mark Thom [Tue, 24 Jan 2023 21:46:14 +0000 (22:46 +0100)]
Merge pull request #1697 from triska/crypto_doc
DOC: convert library(crypto) documentation to DocLog format
Mark Thom [Tue, 24 Jan 2023 21:45:51 +0000 (22:45 +0100)]
Merge pull request #1696 from triska/clpz_doc
DOC: improve CLP(ℤ) DocLog documentation
Mark Thom [Tue, 24 Jan 2023 21:43:53 +0000 (22:43 +0100)]
Merge pull request #1698 from triska/time_doc
DOC: convert library(time) documentation to DocLog format
Mark Thom [Tue, 24 Jan 2023 21:43:43 +0000 (22:43 +0100)]
Merge pull request #1694 from aarroyoc/docs-dcgs
Compatible Doclog docs for library(dcgs)
Mark Thom [Tue, 24 Jan 2023 21:43:22 +0000 (22:43 +0100)]
Merge pull request #1699 from triska/sgml_doc
DOC: convert library(sgml) documentation to DocLog format
Markus Triska [Tue, 24 Jan 2023 21:42:58 +0000 (22:42 +0100)]
DOC: convert library(sgml) documentation to DocLog format
Markus Triska [Sat, 21 Jan 2023 15:01:30 +0000 (16:01 +0100)]
strengthen reified division for divisor == 1
Markus Triska [Sat, 21 Jan 2023 15:16:53 +0000 (16:16 +0100)]
DOC: add CLP(B) documentation in DocLog format
Markus Triska [Tue, 24 Jan 2023 21:10:40 +0000 (22:10 +0100)]
DOC: convert library(time) documentation to DocLog format
Markus Triska [Tue, 24 Jan 2023 20:11:07 +0000 (21:11 +0100)]
DOC: convert library(crypto) documentation to DocLog format
Markus Triska [Tue, 24 Jan 2023 19:06:32 +0000 (20:06 +0100)]
DOC: improve CLP(ℤ) DocLog documentation
projects / scryer-prolog.git / log