]> Repositorios git - scryer-prolog.git/log
scryer-prolog.git
11 months agoDon't use "readline" input functionality for the following builtins:
Peter Mikkelsen [Fri, 22 Aug 2025 09:02:59 +0000 (11:02 +0200)]
Don't use "readline" input functionality for the following builtins:

* peek_byte
* peek_char
* peek_code
* get_byte
* get_char
* get_code
* get_n_chars

11 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

11 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)

11 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)

11 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

11 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

11 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

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

11 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

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

11 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

11 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

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

11 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)

11 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)

11 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)

11 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)

11 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

11 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

11 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'

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

11 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

11 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

11 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

11 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

11 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

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

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

11 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!

11 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.

11 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

11 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

11 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

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

11 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

11 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.

11 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!

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

11 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.

11 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

11 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

11 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

11 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

11 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

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

11 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

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

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

11 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

11 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

11 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

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

11 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

11 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

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

11 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

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

11 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

11 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

11 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

11 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

11 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

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

11 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

11 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

11 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

11 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

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

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

11 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

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

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

11 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

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

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

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

11 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

11 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

11 months agoupdate docs
Bennet Bleßmann [Wed, 16 Jul 2025 23:45:13 +0000 (01:45 +0200)]
update docs

11 months agosupport cstr as an ffi return type and do some more restructuring
Bennet Bleßmann [Wed, 16 Jul 2025 23:28:52 +0000 (01:28 +0200)]
support cstr as an ffi return type and do some more restructuring

11 months agono longer skip f32 and f64 now that they work consistently
Bennet Bleßmann [Tue, 18 Feb 2025 20:31:53 +0000 (21:31 +0100)]
no longer skip f32 and f64 now that they work consistently

11 months agofurther cleanup
Bennet Bleßmann [Tue, 18 Feb 2025 20:24:27 +0000 (21:24 +0100)]
further cleanup

- replace macros with functions
- stop abusing allocation error

11 months agofurther ffi cleanup
Bennet Bleßmann [Mon, 17 Feb 2025 20:23:08 +0000 (21:23 +0100)]
further ffi cleanup

11 months agodon't panic on unexpected/invalid value
Bennet Bleßmann [Mon, 17 Feb 2025 19:19:36 +0000 (20:19 +0100)]
don't panic on unexpected/invalid value

11 months agoalso accept rust type name
Bennet Bleßmann [Mon, 17 Feb 2025 19:18:47 +0000 (20:18 +0100)]
also accept rust type name

11 months agouse libffi::middle instead of libffi::low were possible
Bennet Bleßmann [Tue, 21 Jan 2025 21:23:50 +0000 (22:23 +0100)]
use libffi::middle instead of libffi::low were possible

11 months agoadd a simple ffi test using structs
Bennet Bleßmann [Mon, 17 Feb 2025 18:58:46 +0000 (19:58 +0100)]
add a simple ffi test using structs

11 months agofix UB in ffi tests
Bennet Bleßmann [Mon, 27 Jan 2025 20:55:34 +0000 (21:55 +0100)]
fix UB in ffi tests

11 months agoadd new test helper
Bennet Bleßmann [Mon, 27 Jan 2025 20:27:29 +0000 (21:27 +0100)]
add new test helper

11 months agomake ffi support full {i,u}64 range
Bennet Bleßmann [Wed, 22 Jan 2025 23:40:31 +0000 (00:40 +0100)]
make ffi support full {i,u}64 range

11 months agofix {i,u}64 in ffi
Bennet Bleßmann [Wed, 22 Jan 2025 19:32:44 +0000 (20:32 +0100)]
fix {i,u}64 in ffi

11 months agofix all but {i,u}64
Bennet Bleßmann [Tue, 21 Jan 2025 23:03:18 +0000 (00:03 +0100)]
fix all but {i,u}64

11 months agofix crash when trying to load and ffi library with an invalid type specification
Bennet Bleßmann [Tue, 21 Jan 2025 22:37:47 +0000 (23:37 +0100)]
fix crash when trying to load and ffi library with an invalid type specification

11 months agoadd more ffi tests
Bennet Bleßmann [Tue, 21 Jan 2025 22:36:14 +0000 (23:36 +0100)]
add more ffi tests

11 months agocleanup and fix miri & cross-compile
Bennet Bleßmann [Tue, 21 Jan 2025 18:20:33 +0000 (19:20 +0100)]
cleanup and fix miri & cross-compile

11 months agoadd ffi tests using f64
Bennet Bleßmann [Mon, 20 Jan 2025 22:00:03 +0000 (23:00 +0100)]
add ffi tests using f64

11 months agoMerge pull request #2961 from rotu/patch-5
Mark Thom [Fri, 1 Aug 2025 05:10:32 +0000 (22:10 -0700)]
Merge pull request #2961 from rotu/patch-5

Document `when/2` Condition

11 months agoMerge pull request #3017 from triska/adapt_link
Mark Thom [Fri, 1 Aug 2025 05:09:54 +0000 (22:09 -0700)]
Merge pull request #3017 from triska/adapt_link

adapt link to Scryer Prolog Meetup 2024

11 months agoMerge pull request #3019 from Skgland/rebis-dev_fix-clippy
Mark Thom [Fri, 1 Aug 2025 05:09:41 +0000 (22:09 -0700)]
Merge pull request #3019 from Skgland/rebis-dev_fix-clippy

fix clippy

11 months agoreplace .skip(n).next() with .nth(n)
Bennet Bleßmann [Thu, 31 Jul 2025 19:46:21 +0000 (21:46 +0200)]
replace .skip(n).next() with .nth(n)