]>
Repositorios git - scryer-prolog.git/log
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
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 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.
Mark Thom [Sun, 8 Jan 2023 19:10:38 +0000 (12:10 -0700)]
use free lists to allow register re-use (#1612)
Mark Thom [Sat, 24 Dec 2022 07:31:39 +0000 (00:31 -0700)]
use '$enqueue_attr_var' when adding attributes only
Adrián Arroyo Calle [Thu, 22 Dec 2022 22:23:07 +0000 (23:23 +0100)]
Compatible Doclog docs for library(dif)
Adrián Arroyo Calle [Thu, 22 Dec 2022 21:36:33 +0000 (22:36 +0100)]
Compatible Doclog docs for library(http/http_server)
Mark Thom [Sun, 18 Dec 2022 20:22:25 +0000 (21:22 +0100)]
Merge pull request #1658 from aarroyoc/copy_file
Add predicate file_copy/2 in library(files)
Mark Thom [Sun, 18 Dec 2022 20:21:58 +0000 (21:21 +0100)]
Merge pull request #1672 from triska/deref_register
dereference more registers, analogous to
d660e4244ff48bbcd558fab07a4dd4a5e9d68209
Markus Triska [Sun, 18 Dec 2022 16:43:33 +0000 (17:43 +0100)]
dereference more registers, analogous to
d660e4244ff48bbcd558fab07a4dd4a5e9d68209
See also #1654 for a nice test case by @notoria which this corrects.
Mark Thom [Sat, 17 Dec 2022 23:38:22 +0000 (00:38 +0100)]
Merge pull request #1671 from aarroyoc/docs-iso-ext
Compatible Doclog docs for library(iso_ext)
Mark Thom [Sat, 17 Dec 2022 23:38:13 +0000 (00:38 +0100)]
Merge pull request #1669 from aarroyoc/docs-http-open
Compatible Doclog docs for library(http/http_open).
Adrián Arroyo Calle [Sat, 17 Dec 2022 21:46:44 +0000 (22:46 +0100)]
Compatible Doclog docs for library(iso_ext)
Adrián Arroyo Calle [Sat, 17 Dec 2022 19:43:43 +0000 (20:43 +0100)]
Compatible Doclog docs for library(http/http_open).
Mark Thom [Sat, 17 Dec 2022 18:54:20 +0000 (11:54 -0700)]
use proper dynamic arities in JmpByCall and JmpByExecute (#1605, #1606)
Mark Thom [Fri, 16 Dec 2022 07:42:31 +0000 (00:42 -0700)]
track attr_var_init lengths on the stack (#1667)
Mark Thom [Fri, 16 Dec 2022 07:45:00 +0000 (00:45 -0700)]
update README to point to local wambook (#1668)
Mark Thom [Fri, 16 Dec 2022 06:26:36 +0000 (23:26 -0700)]
detect cyclic bindings in attr_vars_of_term (#1666)
Mark Thom [Fri, 16 Dec 2022 03:36:02 +0000 (04:36 +0100)]
Merge pull request #1662 from mthom/interpreting_disj
Fix mishandled if-then-else interpretation (#1659)
Mark Thom [Tue, 13 Dec 2022 06:55:43 +0000 (23:55 -0700)]
use append/3 rather than set_difference/3 to gather witnesses in bagof/3 and setof/3 (#1663, #1664)
Mark Thom [Sun, 11 Dec 2022 23:38:40 +0000 (00:38 +0100)]
Merge pull request #1661 from aarroyoc/lcm2
Add predicate lcm/2 to library(arithmetic)
Mark Thom [Sun, 11 Dec 2022 23:11:57 +0000 (16:11 -0700)]
fix mishandled if-then-else interpretation (#1659)
Adrián Arroyo Calle [Sun, 11 Dec 2022 20:49:41 +0000 (21:49 +0100)]
Add predicate lcm/2 to library(arithmetic)
Adrián Arroyo Calle [Sat, 10 Dec 2022 23:08:41 +0000 (00:08 +0100)]
Rename copy_file/2 to file_copy/2
Adrián Arroyo Calle [Fri, 9 Dec 2022 22:46:00 +0000 (23:46 +0100)]
Add predicate copy_file/2 in library(files)
Mark Thom [Sat, 10 Dec 2022 17:09:01 +0000 (18:09 +0100)]
Merge pull request #1657 from aarroyoc/docs-files
Compatible Doclog docs for library(files)
Mark Thom [Sat, 10 Dec 2022 17:08:45 +0000 (18:08 +0100)]
Merge pull request #1656 from aarroyoc/docs-ordsets
Compatible Doclog docs for library(ordsets)
Mark Thom [Sat, 10 Dec 2022 17:08:26 +0000 (18:08 +0100)]
Merge pull request #1655 from triska/deref_register
more uses of newly available deref_register(n)
Adrián Arroyo Calle [Thu, 8 Dec 2022 22:41:28 +0000 (23:41 +0100)]
Compatible Doclog docs for library(files)
Adrián Arroyo Calle [Thu, 8 Dec 2022 21:30:48 +0000 (22:30 +0100)]
Compatible Doclog docs for library(ordsets)
Markus Triska [Wed, 7 Dec 2022 22:14:08 +0000 (23:14 +0100)]
more uses of newly available deref_register(n)
Mark Thom [Wed, 7 Dec 2022 04:52:07 +0000 (05:52 +0100)]
Merge pull request #1653 from triska/deref_register
introduce and use deref_register(n)
Markus Triska [Tue, 6 Dec 2022 19:24:08 +0000 (20:24 +0100)]
introduce and use deref_register(n)
Mark Thom [Tue, 6 Dec 2022 16:57:46 +0000 (17:57 +0100)]
Merge pull request #1652 from aarroyoc/docs-lists
Compatible Doclog docs for library(lists)
Mark Thom [Tue, 6 Dec 2022 16:57:36 +0000 (17:57 +0100)]
Merge pull request #1651 from aarroyoc/docs-sockets
Compatible Doclog docs for library(sockets)
Adrián Arroyo Calle [Tue, 6 Dec 2022 12:19:10 +0000 (13:19 +0100)]
Compatible Doclog docs for library(lists)
Adrián Arroyo Calle [Tue, 6 Dec 2022 10:58:26 +0000 (11:58 +0100)]
Compatible Doclog docs for library(sockets)
Mark Thom [Tue, 6 Dec 2022 06:28:44 +0000 (23:28 -0700)]
dereference encoding register in crypto_data_decrypt (#1650)
Mark Thom [Tue, 6 Dec 2022 06:17:15 +0000 (23:17 -0700)]
avoid pushing stack variables to the heap in get_continuation_chunk (#1644)
Mark Thom [Mon, 5 Dec 2022 05:05:13 +0000 (06:05 +0100)]
Merge pull request #1649 from aarroyoc/docs-ugraphs
Compatible Doclog docs for library(ugraphs)
Mark Thom [Mon, 5 Dec 2022 05:05:02 +0000 (06:05 +0100)]
Merge pull request #1648 from aarroyoc/docs-random
Compatible Doclog docs for library(random)
Mark Thom [Mon, 5 Dec 2022 05:04:48 +0000 (06:04 +0100)]
Merge pull request #1647 from aarroyoc/docs-uuid
Compatible Doclog docs for library(uuid)
Mark Thom [Mon, 5 Dec 2022 05:04:30 +0000 (06:04 +0100)]
Merge pull request #1646 from aarroyoc/docs-assoc
Compatible Doclog docs for library(assoc)
Adrián Arroyo Calle [Sun, 4 Dec 2022 23:09:32 +0000 (00:09 +0100)]
Compatible Doclog docs for library(ugraphs)
Adrián Arroyo Calle [Fri, 2 Dec 2022 22:43:24 +0000 (23:43 +0100)]
Compatible Doclog docs for library(random)
projects / scryer-prolog.git / log