David C. Norris
9485ae2ca5
Add README entry for numerics/special_functions
2025-08-10 21:30:36 -04:00
David C. Norris
18c451e11c
Drop 2 extra lines flagged by 'cargo fmt'
2025-08-10 18:44:08 -04:00
David C. Norris
a4c071a44b
Address CI style complaints
2025-08-10 18:36:54 -04:00
Mark Thom
c0fb3fd429
Merge pull request #2786 from Skgland/ffi-f64-tests
...
add ffi tests & fix ffi
2025-08-10 13:14:15 -07:00
Mark Thom
9fb7d15f0a
Merge pull request #3023 from triska/promote_call_with_error_context
...
ADDED: variants of errors promoting call_with_error_context/2
2025-08-10 13:04:03 -07:00
David C. Norris
a8fa8993e1
Address several comments by @triska
2025-08-10 11:45:21 -04:00
David C. Norris
af3792f79a
library(numerics), special funs from crate puruspe
2025-08-10 10:01:01 -04:00
Mark Thom
d83827b21f
Merge pull request #2746 from triska/quads
...
preliminary support for a subset of quads introduced by @UWN
2025-08-10 01:36:15 -07:00
Markus Triska
ee39be4361
ADDED: resource_error/1
2025-08-09 10:22:28 +02:00
Markus Triska
bc4689ca4a
ADDED: representation_error/1
2025-08-09 10:19:49 +02:00
Markus Triska
86dc22a850
ADDED: variants of errors promoting call_with_error_context/2
...
A good example of call_with_error_context/2 was recently provided by
@Skgland in d907f86c8d
2025-08-09 10:11:25 +02:00
Mark Thom
9cc170f2ad
Merge pull request #3024 from triska/remove_operator_meta_predicate
...
ISO: remove nonstandard operator meta_predicate.
2025-08-08 21:12:19 -07:00
Mark Thom
61f8bc008c
Merge pull request #3026 from triska/DEDUCTION
...
mention the DEDUCTION Programme
2025-08-08 21:11:46 -07:00
Mark Thom
948cbd8f40
Merge pull request #3029 from triska/process_item
...
add newly available library(process) to the list of libraries
2025-08-08 21:11:32 -07:00
Skgland
e1a52a4dde
allow passing a null through a cstr arg/return
2025-08-08 22:45:24 +02:00
Skgland
7b960a7d63
fix clippy lint warning
2025-08-08 22:08:13 +02:00
Markus Triska
c5fd4c1d8a
support newly added representation_error/1 in answer descriptions
2025-08-08 21:34:23 +02:00
Markus Triska
7dc6d6e4e0
preliminary support for a subset of quads introduced by @UWN
...
This lets us embed toplevel interactions in Prolog programs.
Embedded toplevel interactions are currently ignored.
Example:
:- use_module(library(lists)).
?- member(X, "abc").
X = a
; X = b
; X = c.
2025-08-08 18:44:25 +02:00
Markus Triska
1d643d8385
add newly available library(process) to the list of libraries
...
Thank you a lot @Skgland for this extremely valuable contribution!
2025-08-05 17:51:08 +02:00
Markus Triska
badd6304c7
mention the DEDUCTION Programme
2025-08-03 14:32:23 +02:00
Markus Triska
a8da2b6a99
ISO: remove nonstandard operator meta_predicate.
...
Use functional notation instead for declarations.
This addresses #2822 .
2025-08-02 10:22:50 +02:00
Mark Thom
a43bac8fd8
Merge pull request #3021 from mthom/rebis-dev
...
Merge rebis-dev to master
2025-08-02 00:01:39 -07:00
Mark Thom
72d5574ff0
Merge pull request #3009 from Skgland/process
...
adds predicates for spawning new processes without a shell
2025-08-01 23:18:36 -07:00
Bennet Bleßmann
a2e19bd483
add process module to all_modules test
2025-08-01 21:31:58 +02:00
Bennet Bleßmann
d907f86c8d
use call_with_error_context
2025-08-01 20:49:43 +02:00
Bennet Bleßmann
fadd3a0839
use named vars instead of wildcards
...
makes updating tests easier as globs are sometimes lost when using TRYCMD=overwrite
2025-08-01 20:49:35 +02:00
Bennet Bleßmann
45041be336
fix culprit
2025-08-01 20:49:24 +02:00
Bennet Bleßmann
b2d639b159
fix arity of prcess_wait builtin errors
2025-08-01 20:49:14 +02:00
Bennet Bleßmann
3a6b92d227
more tests
2025-08-01 20:49:03 +02:00
Bennet Bleßmann
409159d68d
adjust/add tests
2025-08-01 20:48:55 +02:00
Bennet Bleßmann
143f32be23
adjust options checking and add more tests
2025-08-01 20:48:44 +02:00
Bennet Bleßmann
d0a6dc9df2
address comment by triska
...
https://github.com/mthom/scryer-prolog/pull/3009#discussion_r2233221091
2025-08-01 20:48:34 +02:00
Bennet Bleßmann
62e43a3ab0
use functor/3 for must_be_known_options
2025-08-01 20:48:24 +02:00
Bennet Bleßmann
eb82d1b6d4
reformat ;
2025-08-01 20:48:13 +02:00
Bennet Bleßmann
70d65bcea8
add another test and remove unecessary module qualification
2025-08-01 20:48:03 +02:00
Bennet Bleßmann
25edde2eb4
replace filter by tfiltert and fix Pipe{Reader,Writer} streams
2025-08-01 20:47:51 +02:00
Bennet Bleßmann
ab675e071a
adjust error kind
2025-08-01 20:47:41 +02:00
Bennet Bleßmann
dc08a4ab11
get process_create working and add tests
2025-08-01 20:47:22 +02:00
Bennet Bleßmann
1120bcde29
add documentation
2025-08-01 20:47:11 +02:00
Bennet Bleßmann
dc495f10f8
change behaviour in supposedly unreachable cases
2025-08-01 20:46:31 +02:00
Bennet Bleßmann
d2ffd4f4bf
adjust error for duplicate options
2025-08-01 20:35:12 +02:00
Bennet Bleßmann
87dbad2294
fix rename pid to process
2025-08-01 20:35:01 +02:00
Bennet Bleßmann
ca52c65902
don't remove the child on wait/kill
...
- important for wait with timout(0) as we may want to try again until the process has realy exited.
- make process_release release the process instead
2025-08-01 20:33:15 +02:00
Bennet Bleßmann
7f233da10c
fix timeout default value in process_wait/3
2025-08-01 20:28:17 +02:00
Bennet Bleßmann
ff546a0f9a
incorporate suggestion by triska
2025-08-01 20:28:07 +02:00
Bennet Bleßmann
746d4fd106
make atom!() with a new value less annoying
2025-08-01 20:27:53 +02:00
Bennet Bleßmann
97e2e5d7f0
implement process_release/1, process_wait/2, process_wait/3, and process_kill/1
2025-08-01 20:27:27 +02:00
Bennet Bleßmann
1ee4f7a55f
store child process in machine state
2025-08-01 20:21:36 +02:00
Bennet Bleßmann
43dd1587fb
handle some error cases and replace unwrap with expect
2025-08-01 20:21:23 +02:00
Bennet Bleßmann
8971809c83
adjust errors
2025-08-01 20:21:13 +02:00
