Markus Triska
d742d4cde9
DOC: convert library(time) documentation to DocLog format
2023-01-24 22:14:15 +01:00
Markus Triska
b7d06540e6
DOC: convert library(crypto) documentation to DocLog format
2023-01-24 22:13:38 +01:00
Markus Triska
909f2e1058
DOC: improve CLP(ℤ) DocLog documentation
2023-01-24 20:39:47 +01:00
Mark Thom
26d39c3617
Merge pull request #1695 from aarroyoc/website
...
Add website frontpage
2023-01-24 20:29:48 +01:00
Mark Thom
371bc3b231
Merge pull request #1676 from aarroyoc/docs-http-server
...
Compatible Doclog docs for library(http/http_server)
2023-01-24 04:09:39 +01:00
Adrián Arroyo Calle
bdeabcdd89
Website page
2023-01-23 23:51:27 +01:00
Adrián Arroyo Calle
7f177c3d03
Compatible Doclog docs for library(dcgs)
2023-01-23 21:03:11 +01:00
Mark Thom
4ed36a12e9
Merge branch 'retract_improvements'
2023-01-22 21:04:55 -07:00
Mark Thom
a7e93db363
improve retract/1 and related predicates ( #1598 )
2023-01-22 21:04:41 -07:00
Mark Thom
789715f31a
Merge pull request #1693 from aarroyoc/docs-xpath
...
Compatible Doclog docs for library(xpath).
2023-01-23 04:04:00 +01:00
Mark Thom
7cc900d437
Merge pull request #1691 from aarroyoc/docs-os-3
...
Compatible Doclog docs for library(os)
2023-01-23 04:02:57 +01:00
Mark Thom
ff0f6f4fc2
Merge pull request #1690 from aarroyoc/docs-charsio
...
Compatible Doclog docs for library(charsio)
2023-01-23 04:02:02 +01:00
Mark Thom
5698e8f21a
Merge pull request #1692 from aarroyoc/docs-between
...
Compatible Doclog docs for library(between).
2023-01-23 04:00:11 +01:00
Adrián Arroyo Calle
ddcae2c906
Compatible Doclog docs for library(xpath).
2023-01-22 21:22:54 +01:00
Adrián Arroyo Calle
468d096ccb
Compatible Doclog docs for library(between).
2023-01-22 20:26:30 +01:00
Adrián Arroyo Calle
bca79d12c0
Compatible Doclog docs for library(os)
2023-01-22 17:45:50 +01:00
Adrián Arroyo Calle
03eba9594b
Compatible Doclog docs for library(charsio)
2023-01-21 21:05:13 +01:00
Mark Thom
5e0e3e2754
Merge pull request #1687 from gruhn/master
...
Fix failing Docker build
2023-01-21 05:02:33 +01:00
Mark Thom
04fd835267
Merge pull request #1688 from aarroyoc/djot-migration
...
Migrate from Markdown to Djot
2023-01-21 04:48:26 +01:00
Adrián Arroyo Calle
f072761150
Fix assoc.pl file
2023-01-19 21:18:40 +01:00
Adrián Arroyo Calle
46d1e3bee3
Migrate from Markdown to Djot
2023-01-19 21:15:25 +01:00
Niklas Gruhn
f8e6e0252d
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.
2023-01-18 19:08:19 +01:00
Mark Thom
f9e3bdb6b0
restore free list usage on structures in facts without crashing lgtunit loader
2023-01-13 18:35:13 -07:00
Mark Thom
a80aab48cd
Merge pull request #1677 from aarroyoc/docs-dif
...
Compatible Doclog docs for library(dif)
2023-01-13 07:50:17 +01:00
Mark Thom
3a4aa2a541
tighten deallocate truncation of stack ( #1686 )
2023-01-12 23:47:07 -07:00
Mark Thom
84583da5b8
Merge pull request #1685 from triska/reify_sign
...
ADDED: sign/1 is now reifiable.
2023-01-11 17:41:14 +01:00
Markus Triska
f213956ceb
use (#)/1
2023-01-11 17:23:53 +01:00
Markus Triska
c5caa9d311
ADDED: sign/1 is now reifiable.
...
This addresses #1500 .
2023-01-11 17:22:38 +01:00
Mark Thom
0c4d93f01f
remove add_term_to_free_list from AddToList ( #1684 )
2023-01-10 18:24:48 -07:00
Mark Thom
a4e8bfc1ba
Merge pull request #1682 from triska/reify_slash
...
FIXED: correctly reify (/)/2.
2023-01-10 23:44:48 +01:00
Markus Triska
542b9e1976
rely on newly available operator notation for (#)/1
2023-01-10 22:59:11 +01:00
Markus Triska
73a1ee59fa
replace several more instances of ?/1 by (#)/1
2023-01-10 22:57:14 +01:00
Markus Triska
2771109427
use (#)/1 already internally for describing constraint projections
2023-01-10 22:50:38 +01:00
Markus Triska
cc420bd31a
FIXED: reification of (xor)/2.
...
Example:
?- A #= 1 xor 0 #<==> R.
%@ clpz:(A#=1#<==>R), clpz:(R in 0..1).
2023-01-10 22:09:41 +01:00
Markus Triska
2fe1d2ef53
FIXED: correctly reify (/)/2.
...
Example:
?- 0 #==> X #= 1/2.
%@ clpz:(X in inf..sup)
%@ ; false.
This addresses #1501 .
2023-01-10 17:35:43 +01:00
Mark Thom
bb624cc971
use free lists to allow register re-use ( #1612 )
2023-01-08 12:11:04 -07:00
Mark Thom
aa7b8e52f3
use '$enqueue_attr_var' when adding attributes only
2022-12-24 00:31:47 -07:00
Adrián Arroyo Calle
07f358c91b
Compatible Doclog docs for library(dif)
2022-12-22 23:23:07 +01:00
Adrián Arroyo Calle
8ae0a1a4af
Compatible Doclog docs for library(http/http_server)
2022-12-22 22:36:33 +01:00
Adrián Arroyo Calle
7647ad14b8
More feedback applied
2022-12-21 23:19:38 +01:00
Adrián Arroyo Calle
21e4347b3e
Apply some feedback
2022-12-21 22:32:36 +01:00
Adrián Arroyo Calle
f2d041ea23
Merge branch 'master' into docs-builtins
2022-12-21 21:29:22 +01:00
Adrián Arroyo Calle
56c1c4e43c
Compatible Doclog docs for builtins
2022-12-21 21:28:16 +01:00
Mark Thom
820011412b
Merge pull request #1658 from aarroyoc/copy_file
...
Add predicate file_copy/2 in library(files)
2022-12-18 21:22:25 +01:00
Mark Thom
81afa6942f
Merge pull request #1672 from triska/deref_register
...
dereference more registers, analogous to d660e4244f
2022-12-18 21:21:58 +01:00
Markus Triska
6cb8d7596a
dereference more registers, analogous to d660e4244f
...
See also #1654 for a nice test case by @notoria which this corrects.
2022-12-18 17:43:33 +01:00
Mark Thom
a2d46af5ac
Merge pull request #1671 from aarroyoc/docs-iso-ext
...
Compatible Doclog docs for library(iso_ext)
2022-12-18 00:38:22 +01:00
Mark Thom
6d94b8ab75
Merge pull request #1669 from aarroyoc/docs-http-open
...
Compatible Doclog docs for library(http/http_open).
2022-12-18 00:38:13 +01:00
Adrián Arroyo Calle
0166c3bf0f
Compatible Doclog docs for library(iso_ext)
2022-12-17 22:46:44 +01:00
Adrián Arroyo Calle
6a995fb62b
Compatible Doclog docs for library(http/http_open).
2022-12-17 20:43:43 +01:00
