]> Repositorios git - scryer-prolog.git/log
scryer-prolog.git
9 months agoadd documentation
Skgland [Sun, 24 Aug 2025 18:23:17 +0000 (20:23 +0200)]
add documentation

9 months agorun rustfmt
Skgland [Sun, 24 Aug 2025 17:57:54 +0000 (19:57 +0200)]
run rustfmt

9 months agofix define_foreign_struct
Skgland [Sun, 17 Aug 2025 16:22:22 +0000 (18:22 +0200)]
fix define_foreign_struct

9 months agomake ffi error structure not found point to the correct culprit
Skgland [Sun, 17 Aug 2025 15:35:57 +0000 (17:35 +0200)]
make ffi error structure not found point to the correct culprit

9 months agofix map_ffi_arg
Skgland [Sat, 16 Aug 2025 23:39:12 +0000 (01:39 +0200)]
fix map_ffi_arg

9 months agomake map_ffi_args a method and throw an instantiation error when encountering a variable
Skgland [Tue, 12 Aug 2025 21:29:13 +0000 (23:29 +0200)]
make map_ffi_args a method and throw an instantiation error when encountering a variable

9 months agodon't crash on empty list and differentiate list head not being string like
Skgland [Mon, 11 Aug 2025 21:20:48 +0000 (23:20 +0200)]
don't crash on empty list and differentiate list head not being string like

9 months agouse setup_call_cleanup/3 for with_locals
Skgland [Sat, 9 Aug 2025 23:57:28 +0000 (01:57 +0200)]
use setup_call_cleanup/3 for with_locals

as suggested by triska

9 months agoadd a test for with_locals
Skgland [Sat, 9 Aug 2025 21:04:13 +0000 (23:04 +0200)]
add a test for with_locals

9 months agoinclude a culprit in ffi_error
Skgland [Sat, 9 Aug 2025 19:10:28 +0000 (21:10 +0200)]
include a culprit in ffi_error

9 months agofix with_locals
Skgland [Sat, 9 Aug 2025 16:47:53 +0000 (18:47 +0200)]
fix with_locals

9 months agorequire array_length to be > 0
Skgland [Sat, 9 Aug 2025 16:40:57 +0000 (18:40 +0200)]
require array_length to be > 0

C does not have 0-sized types

9 months agofix some things in ffi.pl
Skgland [Sat, 9 Aug 2025 16:35:25 +0000 (18:35 +0200)]
fix some things in ffi.pl

thanks triska for pointing out most of these

9 months agoadd ffi helpers
Skgland [Sat, 9 Aug 2025 15:50:58 +0000 (17:50 +0200)]
add ffi helpers

9 months agodon't place allocate, read_ptr and deallocate between use_foreign_module and its...
Skgland [Sat, 9 Aug 2025 15:50:30 +0000 (17:50 +0200)]
don't place allocate, read_ptr and deallocate between use_foreign_module and its helper predicates

9 months agoadd ffi:{allocate,read_ptr,deallocate}
Skgland [Sat, 9 Aug 2025 00:14:02 +0000 (02:14 +0200)]
add ffi:{allocate,read_ptr,deallocate}

9 months agodon't fail the build script if we couldn't parse a file
Skgland [Fri, 8 Aug 2025 23:59:18 +0000 (01:59 +0200)]
don't fail the build script if we couldn't parse a file

this way we get to the actual compilation in which rustc shouldl fail with a more helpfull error message

9 months agovery small cargo fmt
Mark Thom [Sat, 23 Aug 2025 21:57:56 +0000 (14:57 -0700)]
very small cargo fmt

9 months agoclear rustc warnings (#3051)
Mark Thom [Sat, 23 Aug 2025 21:34:49 +0000 (14:34 -0700)]
clear rustc warnings (#3051)

9 months agomake max_depth checking in heap_print.rs consistent across atomics
Mark Thom [Sat, 23 Aug 2025 21:20:00 +0000 (14:20 -0700)]
make max_depth checking in heap_print.rs consistent across atomics

9 months agosome max_depth improvements (#1876, #2666, #3008, #3027)
Mark Thom [Sat, 23 Aug 2025 20:18:09 +0000 (13:18 -0700)]
some max_depth improvements (#1876, #2666, #3008, #3027)

9 months agofurther improvements to cyclic partial list printing (#2635)
Mark Thom [Sat, 23 Aug 2025 18:51:56 +0000 (11:51 -0700)]
further improvements to cyclic partial list printing (#2635)

9 months agoimprove printer's handling of cyclic lists (#2111, #2635)
Mark Thom [Sat, 23 Aug 2025 01:55:32 +0000 (18:55 -0700)]
improve printer's handling of cyclic lists (#2111, #2635)

9 months agoMerge pull request #3056 from Skgland/fix-msrv
Mark Thom [Fri, 22 Aug 2025 06:24:30 +0000 (23:24 -0700)]
Merge pull request #3056 from Skgland/fix-msrv

Fix msrv

9 months agofix cyclic detection of partial strings in StackfulPreOrderHeapIter (#3050)
Mark Thom [Fri, 22 Aug 2025 05:52:25 +0000 (22:52 -0700)]
fix cyclic detection of partial strings in StackfulPreOrderHeapIter (#3050)

9 months agoUse from_str_radix for BigInt in parse_integer_by_radix (#3025, #3033)
Mark Thom [Fri, 22 Aug 2025 00:34:21 +0000 (17:34 -0700)]
Use from_str_radix for BigInt in parse_integer_by_radix (#3025, #3033)

9 months agomake CI read msrv from Cargo.toml
Skgland [Mon, 18 Aug 2025 18:53:02 +0000 (20:53 +0200)]
make CI read msrv from Cargo.toml

instead of hardcoding it, so we have a single source of truth

9 months agoreduce msrv back to 1.85
Skgland [Mon, 18 Aug 2025 18:52:15 +0000 (20:52 +0200)]
reduce msrv back to 1.85

9 months agoMerge pull request #3055 from Skgland/build-debs
Mark Thom [Sun, 17 Aug 2025 22:49:20 +0000 (15:49 -0700)]
Merge pull request #3055 from Skgland/build-debs

use cargo-deb in CI to build debian deb packages

9 months agofixup logtalk-test
Skgland [Sun, 17 Aug 2025 20:52:45 +0000 (22:52 +0200)]
fixup logtalk-test

9 months agoexplicitly pass the target to cargo-deb
Skgland [Sun, 17 Aug 2025 20:31:28 +0000 (22:31 +0200)]
explicitly pass the target to cargo-deb

9 months agofix paths
Skgland [Sun, 17 Aug 2025 20:12:54 +0000 (22:12 +0200)]
fix paths

9 months agoMerge pull request #3053 from Skgland/add-test-for-issue-3048
Mark Thom [Sun, 17 Aug 2025 20:12:28 +0000 (13:12 -0700)]
Merge pull request #3053 from Skgland/add-test-for-issue-3048

add tests for issue 3048

9 months agobuild debian packages on linux targets
Skgland [Sun, 17 Aug 2025 17:19:47 +0000 (19:19 +0200)]
build debian packages on linux targets

9 months agoadd tests for issue 3048
Skgland [Sat, 16 Aug 2025 13:29:25 +0000 (15:29 +0200)]
add tests for issue 3048

9 months agoclear pdl after comparing partial strings (#3048)
Mark Thom [Sat, 16 Aug 2025 22:26:10 +0000 (15:26 -0700)]
clear pdl after comparing partial strings (#3048)

9 months agocheck for stack variables in ground_test before iterating (#3048)
Mark Thom [Fri, 15 Aug 2025 04:21:32 +0000 (21:21 -0700)]
check for stack variables in ground_test before iterating (#3048)

9 months agosmall tweak for read_from_term performance (#2668)
Mark Thom [Wed, 13 Aug 2025 05:29:31 +0000 (22:29 -0700)]
small tweak for read_from_term performance (#2668)

9 months agoderef terms in read_from_term (#2668)
Mark Thom [Wed, 13 Aug 2025 05:23:52 +0000 (22:23 -0700)]
deref terms in read_from_term (#2668)

9 months agoMerge pull request #3042 from dcnorris/numerics
Mark Thom [Tue, 12 Aug 2025 05:26:01 +0000 (22:26 -0700)]
Merge pull request #3042 from dcnorris/numerics

library(numerics), special funs from crate puruspe

10 months agoAdd README entry for numerics/special_functions
David C. Norris [Mon, 11 Aug 2025 01:30:36 +0000 (21:30 -0400)]
Add README entry for numerics/special_functions

10 months agoDrop 2 extra lines flagged by 'cargo fmt'
David C. Norris [Sun, 10 Aug 2025 22:44:08 +0000 (18:44 -0400)]
Drop 2 extra lines flagged by 'cargo fmt'

10 months agoAddress CI style complaints
David C. Norris [Sun, 10 Aug 2025 22:36:54 +0000 (18:36 -0400)]
Address CI style complaints

10 months agoMerge pull request #2786 from Skgland/ffi-f64-tests
Mark Thom [Sun, 10 Aug 2025 20:14:15 +0000 (13:14 -0700)]
Merge pull request #2786 from Skgland/ffi-f64-tests

add ffi tests & fix ffi

10 months agoMerge pull request #3023 from triska/promote_call_with_error_context
Mark Thom [Sun, 10 Aug 2025 20:04:03 +0000 (13:04 -0700)]
Merge pull request #3023 from triska/promote_call_with_error_context

ADDED: variants of errors promoting call_with_error_context/2

10 months agoAddress several comments by @triska
David C. Norris [Sun, 10 Aug 2025 15:45:21 +0000 (11:45 -0400)]
Address several comments by @triska

10 months agolibrary(numerics), special funs from crate puruspe
David C. Norris [Sun, 10 Aug 2025 14:01:01 +0000 (10:01 -0400)]
library(numerics), special funs from crate puruspe

10 months agoMerge pull request #2746 from triska/quads
Mark Thom [Sun, 10 Aug 2025 08:36:15 +0000 (01:36 -0700)]
Merge pull request #2746 from triska/quads

preliminary support for a subset of quads introduced by @UWN

10 months agoADDED: resource_error/1
Markus Triska [Sat, 9 Aug 2025 08:22:28 +0000 (10:22 +0200)]
ADDED: resource_error/1

10 months agoADDED: representation_error/1
Markus Triska [Sat, 9 Aug 2025 08:19:49 +0000 (10:19 +0200)]
ADDED: representation_error/1

10 months agoADDED: variants of errors promoting call_with_error_context/2
Markus Triska [Sat, 2 Aug 2025 07:55:47 +0000 (09:55 +0200)]
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 d907f86c8d3bf5b5429c9f53187b65473fcbfce0. Many thanks!

10 months agoMerge pull request #3024 from triska/remove_operator_meta_predicate
Mark Thom [Sat, 9 Aug 2025 04:12:19 +0000 (21:12 -0700)]
Merge pull request #3024 from triska/remove_operator_meta_predicate

ISO: remove nonstandard operator meta_predicate.

10 months agoMerge pull request #3026 from triska/DEDUCTION
Mark Thom [Sat, 9 Aug 2025 04:11:46 +0000 (21:11 -0700)]
Merge pull request #3026 from triska/DEDUCTION

mention the DEDUCTION Programme

10 months agoMerge pull request #3029 from triska/process_item
Mark Thom [Sat, 9 Aug 2025 04:11:32 +0000 (21:11 -0700)]
Merge pull request #3029 from triska/process_item

add newly available library(process) to the list of libraries

10 months agoallow passing a null through a cstr arg/return
Skgland [Fri, 8 Aug 2025 20:45:24 +0000 (22:45 +0200)]
allow passing a null through a cstr arg/return

10 months agofix clippy lint warning
Skgland [Fri, 8 Aug 2025 20:08:13 +0000 (22:08 +0200)]
fix clippy lint warning

10 months agosupport newly added representation_error/1 in answer descriptions
Markus Triska [Fri, 8 Aug 2025 19:33:44 +0000 (21:33 +0200)]
support newly added representation_error/1 in answer descriptions

10 months agopreliminary support for a subset of quads introduced by @UWN
Markus Triska [Fri, 8 Aug 2025 16:44:25 +0000 (18:44 +0200)]
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.

10 months agoadd newly available library(process) to the list of libraries
Markus Triska [Tue, 5 Aug 2025 15:50:27 +0000 (17:50 +0200)]
add newly available library(process) to the list of libraries

Thank you a lot @Skgland for this extremely valuable contribution!

10 months agomention the DEDUCTION Programme
Markus Triska [Sun, 3 Aug 2025 12:23:28 +0000 (14:23 +0200)]
mention the DEDUCTION Programme

10 months agoISO: remove nonstandard operator meta_predicate.
Markus Triska [Sat, 2 Aug 2025 08:08:27 +0000 (10:08 +0200)]
ISO: remove nonstandard operator meta_predicate.

Use functional notation instead for declarations.

This addresses #2822.

10 months agoMerge pull request #3021 from mthom/rebis-dev
Mark Thom [Sat, 2 Aug 2025 07:01:39 +0000 (00:01 -0700)]
Merge pull request #3021 from mthom/rebis-dev

Merge rebis-dev to master

10 months agoMerge pull request #3009 from Skgland/process rebis-dev origin/rebis-dev
Mark Thom [Sat, 2 Aug 2025 06:18:36 +0000 (23:18 -0700)]
Merge pull request #3009 from Skgland/process

adds predicates for spawning new processes without a shell

10 months agoadd process module to all_modules test
Bennet Bleßmann [Fri, 1 Aug 2025 19:19:52 +0000 (21:19 +0200)]
add process module to all_modules test

10 months agouse call_with_error_context
Bennet Bleßmann [Wed, 30 Jul 2025 20:21:00 +0000 (22:21 +0200)]
use call_with_error_context

10 months agouse named vars instead of wildcards
Bennet Bleßmann [Wed, 30 Jul 2025 20:19:03 +0000 (22:19 +0200)]
use named vars instead of wildcards

makes updating tests easier as globs are sometimes lost when using TRYCMD=overwrite

10 months agofix culprit
Bennet Bleßmann [Wed, 30 Jul 2025 20:14:43 +0000 (22:14 +0200)]
fix culprit

10 months agofix arity of prcess_wait builtin errors
Bennet Bleßmann [Wed, 30 Jul 2025 19:22:37 +0000 (21:22 +0200)]
fix arity of prcess_wait builtin errors

10 months agomore tests
Bennet Bleßmann [Sun, 27 Jul 2025 18:36:07 +0000 (20:36 +0200)]
more tests

10 months agoadjust/add tests
Bennet Bleßmann [Sat, 26 Jul 2025 21:59:58 +0000 (23:59 +0200)]
adjust/add tests

10 months agoadjust options checking and add more tests
Bennet Bleßmann [Sat, 26 Jul 2025 21:10:29 +0000 (23:10 +0200)]
adjust options checking and add more tests

10 months agoaddress comment by triska
Bennet Bleßmann [Sat, 26 Jul 2025 20:08:58 +0000 (22:08 +0200)]
address comment by triska

https://github.com/mthom/scryer-prolog/pull/3009#discussion_r2233221091

10 months agouse functor/3 for must_be_known_options
Bennet Bleßmann [Sat, 26 Jul 2025 19:55:18 +0000 (21:55 +0200)]
use functor/3 for must_be_known_options

10 months agoreformat ;
Bennet Bleßmann [Sat, 26 Jul 2025 19:39:44 +0000 (21:39 +0200)]
reformat ;

10 months agoadd another test and remove unecessary module qualification
Bennet Bleßmann [Sat, 26 Jul 2025 19:18:15 +0000 (21:18 +0200)]
add another test and remove unecessary module qualification

10 months agoreplace filter by tfiltert and fix Pipe{Reader,Writer} streams
Bennet Bleßmann [Sat, 26 Jul 2025 19:02:42 +0000 (21:02 +0200)]
replace filter by tfiltert and fix Pipe{Reader,Writer} streams

10 months agoadjust error kind
Bennet Bleßmann [Sat, 26 Jul 2025 16:46:47 +0000 (18:46 +0200)]
adjust error kind

10 months agoget process_create working and add tests
Bennet Bleßmann [Sat, 26 Jul 2025 16:21:00 +0000 (18:21 +0200)]
get process_create working and add tests

10 months agoadd documentation
Bennet Bleßmann [Sat, 26 Jul 2025 11:30:56 +0000 (13:30 +0200)]
add documentation

10 months agochange behaviour in supposedly unreachable cases
Bennet Bleßmann [Sat, 26 Jul 2025 11:14:29 +0000 (13:14 +0200)]
change behaviour in supposedly unreachable cases

10 months agoadjust error for duplicate options
Bennet Bleßmann [Sun, 20 Jul 2025 22:25:34 +0000 (00:25 +0200)]
adjust error for duplicate  options

10 months agofix rename pid to process
Bennet Bleßmann [Sun, 20 Jul 2025 22:06:46 +0000 (00:06 +0200)]
fix rename pid to process

10 months agodon't remove the child on wait/kill
Bennet Bleßmann [Sun, 20 Jul 2025 22:06:03 +0000 (00:06 +0200)]
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

10 months agofix timeout default value in process_wait/3
Bennet Bleßmann [Sun, 20 Jul 2025 21:53:01 +0000 (23:53 +0200)]
fix timeout default value in process_wait/3

10 months agoincorporate suggestion by triska
Bennet Bleßmann [Sun, 20 Jul 2025 21:52:25 +0000 (23:52 +0200)]
incorporate suggestion by triska

10 months agomake atom!() with a new value less annoying
Bennet Bleßmann [Sun, 20 Jul 2025 21:04:01 +0000 (23:04 +0200)]
make atom!() with a new value less annoying

10 months agoimplement process_release/1, process_wait/2, process_wait/3, and process_kill/1
Bennet Bleßmann [Sun, 20 Jul 2025 20:57:06 +0000 (22:57 +0200)]
implement process_release/1, process_wait/2, process_wait/3, and process_kill/1

10 months agostore child process in machine state
Bennet Bleßmann [Sun, 20 Jul 2025 19:08:44 +0000 (21:08 +0200)]
store child process in machine state

10 months agohandle some error cases and replace unwrap with expect
Bennet Bleßmann [Sun, 20 Jul 2025 18:11:12 +0000 (20:11 +0200)]
handle some error cases and replace unwrap with expect

10 months agoadjust errors
Bennet Bleßmann [Sun, 20 Jul 2025 16:47:44 +0000 (18:47 +0200)]
adjust errors

10 months agorename pid to process
Bennet Bleßmann [Sun, 20 Jul 2025 16:34:45 +0000 (18:34 +0200)]
rename pid to process

10 months agoundo changes to error.pl
Bennet Bleßmann [Sat, 19 Jul 2025 23:52:34 +0000 (01:52 +0200)]
undo changes to error.pl

10 months agoadjust default cwd
Bennet Bleßmann [Sat, 19 Jul 2025 23:25:16 +0000 (01:25 +0200)]
adjust default cwd

10 months agorestructure option parsing
Bennet Bleßmann [Sat, 19 Jul 2025 22:51:50 +0000 (00:51 +0200)]
restructure option parsing

10 months agoadd comments and try to fix binding the child process pid
Bennet Bleßmann [Sat, 19 Jul 2025 20:56:51 +0000 (22:56 +0200)]
add comments and try to fix binding the child process pid

10 months agofix more things
Bennet Bleßmann [Sat, 19 Jul 2025 19:44:28 +0000 (21:44 +0200)]
fix more things

10 months agoget it working
Bennet Bleßmann [Sat, 19 Jul 2025 19:33:19 +0000 (21:33 +0200)]
get it working

10 months agofix indices
Bennet Bleßmann [Sat, 19 Jul 2025 19:00:36 +0000 (21:00 +0200)]
fix indices

10 months ago[WIP] add support to spawn new processes
Bennet Bleßmann [Sat, 19 Jul 2025 18:50:53 +0000 (20:50 +0200)]
[WIP] add support to spawn new processes

10 months agoignore test making network requests
Bennet Bleßmann [Fri, 1 Aug 2025 18:06:07 +0000 (20:06 +0200)]
ignore test making network requests