]>
Repositorios git - scryer-prolog.git/log
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
Mark Thom [Tue, 24 Jan 2023 19:29:48 +0000 (20:29 +0100)]
Merge pull request #1695 from aarroyoc/website
Add website frontpage
Mark Thom [Tue, 24 Jan 2023 03:09:39 +0000 (04:09 +0100)]
Merge pull request #1676 from aarroyoc/docs-http-server
Compatible Doclog docs for library(http/http_server)
Adrián Arroyo Calle [Mon, 23 Jan 2023 22:51:27 +0000 (23:51 +0100)]
Website page
Adrián Arroyo Calle [Mon, 23 Jan 2023 20:03:11 +0000 (21:03 +0100)]
Compatible Doclog docs for library(dcgs)
Mark Thom [Mon, 23 Jan 2023 04:04:55 +0000 (21:04 -0700)]
Merge branch 'retract_improvements'
Mark Thom [Mon, 23 Jan 2023 03:14:36 +0000 (20:14 -0700)]
improve retract/1 and related predicates (#1598)
Mark Thom [Mon, 23 Jan 2023 03:04:00 +0000 (04:04 +0100)]
Merge pull request #1693 from aarroyoc/docs-xpath
Compatible Doclog docs for library(xpath).
Mark Thom [Mon, 23 Jan 2023 03:02:57 +0000 (04:02 +0100)]
Merge pull request #1691 from aarroyoc/docs-os-3
Compatible Doclog docs for library(os)
Mark Thom [Mon, 23 Jan 2023 03:02:02 +0000 (04:02 +0100)]
Merge pull request #1690 from aarroyoc/docs-charsio
Compatible Doclog docs for library(charsio)
Mark Thom [Mon, 23 Jan 2023 03:00:11 +0000 (04:00 +0100)]
Merge pull request #1692 from aarroyoc/docs-between
Compatible Doclog docs for library(between).
Adrián Arroyo Calle [Sun, 22 Jan 2023 20:22:54 +0000 (21:22 +0100)]
Compatible Doclog docs for library(xpath).
Adrián Arroyo Calle [Sun, 22 Jan 2023 19:26:30 +0000 (20:26 +0100)]
Compatible Doclog docs for library(between).
Adrián Arroyo Calle [Sun, 22 Jan 2023 16:45:50 +0000 (17:45 +0100)]
Compatible Doclog docs for library(os)
Adrián Arroyo Calle [Sat, 21 Jan 2023 20:05:13 +0000 (21:05 +0100)]
Compatible Doclog docs for library(charsio)
Mark Thom [Sat, 21 Jan 2023 04:02:33 +0000 (05:02 +0100)]
Merge pull request #1687 from gruhn/master
Fix failing Docker build
Mark Thom [Sat, 21 Jan 2023 03:48:26 +0000 (04:48 +0100)]
Merge pull request #1688 from aarroyoc/djot-migration
Migrate from Markdown to Djot
Adrián Arroyo Calle [Thu, 19 Jan 2023 20:18:40 +0000 (21:18 +0100)]
Fix assoc.pl file
Adrián Arroyo Calle [Thu, 19 Jan 2023 20:15:25 +0000 (21:15 +0100)]
Migrate from Markdown to Djot
Niklas Gruhn [Wed, 18 Jan 2023 18:08:19 +0000 (19:08 +0100)]
Use lastest 1.xx Rust version in Docker build
With the previous Rust version 1.61, the build fails with
> error[E0658]: use of unstable library feature 'scoped_threads'
This has been "stabilized" in Rust 1.63. To avoid the hassle
of manually updating the version, we can just default to the
latest minor release.
Mark Thom [Sat, 14 Jan 2023 01:34:29 +0000 (18:34 -0700)]
restore free list usage on structures in facts without crashing lgtunit loader
Mark Thom [Fri, 13 Jan 2023 06:50:17 +0000 (07:50 +0100)]
Merge pull request #1677 from aarroyoc/docs-dif
Compatible Doclog docs for library(dif)
Mark Thom [Fri, 13 Jan 2023 06:46:57 +0000 (23:46 -0700)]
tighten deallocate truncation of stack (#1686)
Mark Thom [Wed, 11 Jan 2023 16:41:14 +0000 (17:41 +0100)]
Merge pull request #1685 from triska/reify_sign
ADDED: sign/1 is now reifiable.
Markus Triska [Wed, 11 Jan 2023 16:23:53 +0000 (17:23 +0100)]
use (#)/1
Markus Triska [Wed, 11 Jan 2023 16:22:38 +0000 (17:22 +0100)]
ADDED: sign/1 is now reifiable.
This addresses #1500.
Mark Thom [Wed, 11 Jan 2023 01:24:38 +0000 (18:24 -0700)]
remove add_term_to_free_list from AddToList (#1684)
Mark Thom [Tue, 10 Jan 2023 22:44:48 +0000 (23:44 +0100)]
Merge pull request #1682 from triska/reify_slash
FIXED: correctly reify (/)/2.
Markus Triska [Tue, 10 Jan 2023 21:59:11 +0000 (22:59 +0100)]
rely on newly available operator notation for (#)/1
Markus Triska [Tue, 10 Jan 2023 21:57:14 +0000 (22:57 +0100)]
replace several more instances of ?/1 by (#)/1
Markus Triska [Tue, 10 Jan 2023 21:50:38 +0000 (22:50 +0100)]
use (#)/1 already internally for describing constraint projections
Markus Triska [Tue, 10 Jan 2023 21:06:16 +0000 (22:06 +0100)]
FIXED: reification of (xor)/2.
Example:
?- A #= 1 xor 0 #<==> R.
%@ clpz:(A#=1#<==>R), clpz:(R in 0..1).
Markus Triska [Tue, 10 Jan 2023 16:10:45 +0000 (17:10 +0100)]
FIXED: correctly reify (/)/2.
Example:
?- 0 #==> X #= 1/2.
%@ clpz:(X in inf..sup)
%@ ; false.
This addresses #1501.
projects / scryer-prolog.git / log