Aleksy Grabowski
a599a11169
Remove DCGs that have thrown an exception during term expansion
...
Some DCG constructs aren't supported and can't be expanded, here we
remove offending DCG rule and don't compile it at all – in a similar
fashion to what we do when incorrect goal was found – whole predicate
isn't getting compiled.
Fixes #2675
2024-12-22 10:37:32 +01:00
Mark Thom
ff03432624
admit YF in current_op/3 ( #2639 )
2024-11-14 22:41:43 -07:00
Mark Thom
7fd409140c
Merge pull request #2652 from gruhn/patch-1
...
update Docker install instructions
2024-11-15 05:51:03 +01:00
Mark Thom
9f6bbe949c
Merge pull request #2653 from srenatus/sr/issue-2650
...
toplevel.pl: fix arity mismatch in read_input/2
2024-11-15 05:50:51 +01:00
Stephan Renatus
e78914219e
toplevel: add more Stop=continue, remove nesting
...
Signed-off-by: Stephan Renatus <stephan@styra.com >
2024-11-03 13:31:47 +01:00
Stephan Renatus
620077d8c1
toplevel.pl: attempt to fix continue/stop logic
...
Signed-off-by: Stephan Renatus <stephan@styra.com >
2024-11-02 21:07:02 +01:00
Stephan Renatus
556b7c733f
toplevel.pl: fix arity mismatch in read_input/2
...
I ran into the same problem today and I figured I'd take a stab at it.
Unfortunately, I'm not certain it is the right approach, but it no
longer errors like it did before.
Fixes #2650 .
Signed-off-by: Stephan Renatus <stephan@styra.com >
2024-11-01 15:42:50 +01:00
Niklas Gruhn
e577a5430b
README: update Docker install instructions
2024-11-01 10:58:44 +01:00
Mark Thom
e8ef9bc33a
Merge pull request #2647 from panasenco/master
...
Updated Dockerfile
2024-10-29 13:15:08 -06:00
Aram Panasenco
7b18b1d47a
Updated and tested Dockerfile
2024-10-28 10:31:05 -06:00
Mark Thom
c39ea4818a
Merge pull request #2527 from bakaq/leaf_answers_callbacks
...
Toplevel reimplementation with leaf answer callbacks
2024-10-13 12:13:08 -06:00
bakaq
90d418a181
Fix priority in op/3
2024-10-12 23:37:58 -03:00
Mark Thom
9785a04b3a
Merge pull request #2596 from Skgland/issue-2588
...
fix issue #2588
2024-10-05 22:12:45 -06:00
Bennet Bleßmann
6dd0ec0b98
fix miri
2024-10-04 20:25:02 +02:00
Bennet Bleßmann
e9f03c89a6
fix issue #2588
2024-10-04 19:25:34 +02:00
Bennet Bleßmann
8f41c1aa7e
Merge remote-tracking branch 'upstream/master' into issue-2588
2024-10-04 19:11:26 +02:00
Bennet Bleßmann
442636c131
add test for load_html
2024-10-04 19:09:35 +02:00
bakaq
190929e4ac
Remove trailing whitespace in toplevel.pl
2024-10-01 21:58:59 -03:00
Mark Thom
2f47343cb5
Merge pull request #2581 from bakaq/fix_hostname_feature
...
Fix not compiling without hostname feature
2024-09-29 21:09:22 -06:00
bakaq
3bc1885606
Fix not compiling without hostname feature
2024-09-29 16:51:11 -03:00
Mark Thom
0552530b41
Merge pull request #2573 from srenatus/sr/readme-link-to-latest-releases
...
README: link to latest release
2024-09-26 10:50:51 -06:00
Stephan Renatus
951c88d5f3
README: link to latest release
...
This will automatically redirect to the release marked "latest" in GitHub.
So the link won't become stale and doesn't need updating.
Signed-off-by: Stephan Renatus <stephan@styra.com >
2024-09-26 09:43:28 +02:00
Mark Thom
383eb5bdd9
Merge pull request #2523 from bakaq/visibility
...
Be conservative with visibility
2024-09-24 23:16:44 -06:00
Mark Thom
3fa6b69a79
Merge pull request #2533 from hurufu/fix-warnings
...
Assorted small fixes
2024-09-18 18:39:54 -06:00
Mark Thom
0bc3d67298
Merge pull request #2534 from hurufu/document_non_counted_backtracking
...
Document non counted backtracking
2024-09-16 17:41:53 -06:00
Mark Thom
a898d7a667
Merge pull request #2558 from bakaq/error_to_doclog
...
Convert library(error) docs to Doclog format
2024-09-16 17:41:18 -06:00
bakaq
238f1bd639
Convert library(error) docs to Doclog format
2024-09-16 16:47:00 -03:00
Aleksy Grabowski
4b0f9558b3
Change wording for non_counted_backtracking comment
2024-09-07 08:24:46 +02:00
Aleksy Grabowski
c922ed8b0a
Explain non_counted_backtracking a little bit more
2024-09-07 08:14:37 +02:00
Aleksy Grabowski
3af24a8067
Revert "Explain non_counted_backtracking a little bit more"
...
This reverts commit 2b73107631
2024-09-07 08:13:10 +02:00
bakaq
fdd6579230
Add mechanism to stop query
2024-09-07 02:06:01 -03:00
bakaq
16734ec7e4
Fix Clippy
2024-09-06 21:34:49 -03:00
bakaq
d32f3ee2f3
Fix warnings
2024-09-06 18:42:31 -03:00
bakaq
ada9ba98cc
Make macros private
2024-09-06 17:17:04 -03:00
bakaq
a885e87ef7
Add argument with extra info to callback
2024-09-06 14:59:17 -03:00
bakaq
e369c15a27
Documentation for run_query/3 and run_query_goal/4
2024-09-06 14:55:39 -03:00
bakaq
afa7af3de6
Address review comments and remove old toplevel
2024-09-06 14:28:17 -03:00
Aleksy Grabowski
d3071988b2
Revert "Remove unnecessary "unsafe" block to fix compiler warning"
...
This reverts commit 7af93f1532
2024-09-06 10:26:17 +02:00
Aleksy Grabowski
08aed04dd2
Revert "Fix rustc warning"
...
This reverts commit 7b09d447d6
2024-09-06 10:25:45 +02:00
Aleksy Grabowski
7af93f1532
Remove unnecessary "unsafe" block to fix compiler warning
2024-09-06 08:20:13 +02:00
Aleksy Grabowski
2b73107631
Explain non_counted_backtracking a little bit more
2024-09-06 08:15:45 +02:00
Aleksy Grabowski
61c258f49e
Fix mistake in predicate indicator
2024-09-06 08:07:21 +02:00
Aleksy Grabowski
6f0c7f42c6
Remove executable bit for files that don't need it
2024-09-06 08:06:10 +02:00
Aleksy Grabowski
7b09d447d6
Fix rustc warning
2024-09-06 08:06:10 +02:00
bakaq
9f4d31a825
Toplevel reimplementation with leaf answer callbacks
2024-09-03 13:43:31 -03:00
bakaq
806e980cca
Be conservative with visibility
2024-09-03 01:02:01 -03:00
Mark Thom
12a61cdff8
Merge pull request #2491 from coasys/reqwest-version-relax
...
Relax version constraint on reqwest dependency
2024-08-29 12:22:46 -06:00
Nicolas Luck and Bennet Bleßmann
808ea9fc79
Fix spelling of reqWest
...
Co-authored-by: Bennet Bleßmann <bennet.blessmann+github@googlemail.com >
2024-08-22 12:55:32 +02:00
Nicolas Luck
e1d830d680
Clean-up comment
2024-08-20 22:09:32 +02:00
Nicolas Luck and Bennet Bleßmann
6be671d7d9
More precise comment mentioning Deno
...
Co-authored-by: Bennet Bleßmann <bennet.blessmann+github@googlemail.com >
2024-08-20 22:08:11 +02:00
Aleksy Grabowski