]> Repositorios git - scryer-prolog.git/log
scryer-prolog.git
9 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

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

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

10 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

10 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

10 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

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

10 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

10 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

10 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

10 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

10 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

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

10 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

10 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

10 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

10 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

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

10 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

10 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

10 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

10 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

10 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

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