rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
3,979 Commits 2 Branches 18 Tags
edaba024b29fb7e17d4c3d2dcd27709731824941
Commit Graph
3979 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Mark Thom 3e14ef634f Merge pull request #2017 from cmpute/master 
Upgrade dashu and make the related code more idomatic.
 2023-09-13 10:41:34 -06:00
Jacob adb5fcf708 Upgrade dashu and some changes 2023-09-13 12:29:12 -04:00
Nicolas Luck 136463c92e Merge branch 'master' into library-use-case 
# Conflicts:
#	Cargo.toml
#	src/atom_table.rs
#	src/bin/scryer-prolog.rs
#	src/http.rs
#	src/machine/mock_wam.rs
#	src/machine/mod.rs
#	src/machine/system_calls.rs
 2023-09-13 18:13:14 +02:00
Nicolas Luck ef56193c44 Use write_term_to_heap as suggest, clean up, and include error in comment 2023-09-13 17:17:02 +02:00
Mark 4077040d03 update syn crates 2023-09-12 14:52:42 -06:00
Mark de440a8c92 get rid of OssifiedOpDir, DBRef, simplify current_op/3 2023-09-11 15:36:15 -06:00
Mark Thom c75f74f681 Merge pull request #1993 from coasys/dashu-fixes 
Dashu fixes
 2023-09-11 11:33:16 -06:00
Mark Thom 46c78ad338 Merge pull request #2013 from gruhn/fix-docker-debian-bullseye 
fix Docker image
 2023-09-11 11:23:10 -06:00
Niklas Gruhn 2b7a8875c0 fix Docker image 
The Docker image is broken with the error message:

    scryer-prolog: error while loading shared libraries:
    libssl.so.1.1: cannot open shared object file: No such
    file or directory

We use the base base image `debian:stable-slim` and in the
background a new Debian version was marked stable (bookworm),
which has libssl3 instead of libssl1.1 installed.

I downgraded the base image to the previous stable version
(bullseye), which seems to fix the issue.
 2023-09-11 01:46:59 +02:00
Mark Thom 2ee131c52c Merge pull request #2010 from aarroyoc/update-website-0.9.2 
Update INDEX.dj
 2023-09-10 17:45:45 -06:00
Adrián Arroyo Calle f3901cd8b8 Update website to mention 0.9.2 and playground 2023-09-10 23:12:10 +02:00
Fayeed Pawaskar 7f0536b51d Merge branch 'master' into dashu-fixes 2023-09-10 21:51:02 +05:30
Fayeed Pawaskar af76659830 Removed value method and use deref to get type 2023-09-10 21:40:22 +05:30
Mark Thom fb658c4918 Merge pull request #2008 from triska/clpb_improvements 
Various CLP(B) improvements
 2023-09-09 00:40:30 -06:00
Markus Triska 85cc4a80d0 remove code that is not needed in Scryer Prolog 2023-09-09 07:46:01 +02:00
Markus Triska 6fe85c5779 remove more attributes so that they do not appear in residual goals 2023-09-09 07:46:01 +02:00
Markus Triska b38a56e7d3 move compatibility predicates and meta_predicate/1 declarations so that they are correctly taken into account 2023-09-09 07:46:01 +02:00
Mark Thom cbf18e5c3a Merge pull request #2006 from infogulch/wasm-ci 
Add wasm build steps
 2023-09-08 23:34:59 -06:00
Mark Thom 96bd0d267c Merge pull request #2007 from triska/rust_1_70 
update required Rust version
 2023-09-08 23:34:36 -06:00
Markus Triska ec67752db4 shorter partition/5, relying on first instantiated argument indexing 2023-09-09 07:32:06 +02:00
Markus Triska ad4c17fbb6 add meta_predicate/1 declaration for include/3 and exclude/3 2023-09-09 07:32:06 +02:00
Markus Triska 672979c515 shorter include/3 and exclude/3, relying on improved indexing 2023-09-09 07:32:06 +02:00
Markus Triska efcc2b81cd add licensing information, addressing part of #1798 2023-09-09 07:32:06 +02:00
Markus Triska 640f29fe0f update required Rust version 2023-09-09 07:30:23 +02:00
Joe Taber 13a0085408 Add wasm build steps 2023-09-08 22:47:06 -05:00
Mark Thom 74440d503e Merge pull request #2004 from triska/generalize_description 
this holds for all architectures (also 32-bit systems)
 2023-09-08 16:11:06 -06:00
Mark Thom f4769de5c4 Merge pull request #2003 from triska/clpz_comment 
update comment
 2023-09-08 15:22:49 -06:00
Markus Triska b843b76b7a this holds for all architectures (also 32-bit systems) 2023-09-08 23:22:36 +02:00
Markus Triska 182afe3b7d update comment 2023-09-08 22:34:24 +02:00
Mark Thom 920e0c6b56 Merge pull request #1986 from rujialiu/wasm32-support 
Basic WebAssembly support with minimal Javascript API #615
 2023-09-08 11:15:51 -06:00
Rujia Liu b6ce6b7cdb Basic WebAssembly support with minimal Javascript API #615. Currently 6/12 crypto functions supported. Tested in browser with all default features disabled. 2023-09-08 17:27:22 +08:00
Mark a0b5a24853 check atom == ',' in ambiguity_check mirroring logic in print_op_addendum (#2000) 2023-09-05 14:56:26 -06:00
Mark fa11d6bdd4 remove error printing redundancy and inconsistent state resulting from file_load_cleanup (#1995) 2023-09-05 13:53:57 -06:00
Mark Thom a9aef2bc84 Merge pull request #1980 from Skgland/atomtable 
make AtomTable consurrency safe
 2023-09-05 12:32:20 -06:00
Mark Thom bf2b73706a Merge pull request #1997 from triska/countall 
Corrections to countall/2
 2023-09-05 12:04:52 -06:00
Mark 83ebce86b6 call_with_inference_limit/3 should fail if inference limit is exceeded and R term is not inference_limit_exceeded (#1977) 2023-09-05 11:51:06 -06:00
Markus Triska 1967518fa2 FIXED: documentation of countall/2 (#1976) 2023-09-05 19:42:55 +02:00
Bennet Bleßmann 5928d64d7a make F64Table concurency safe 2023-09-05 19:39:59 +02:00
Bennet Bleßmann c7ec5a13a5 remove locks from AtomTable 
there are technically still two locks
- the Mutex to serialize consurrent updates to the AtomTable
- the RwLock as part of GLOBAL_ATOM_TABLE

the former is the age lock of RESIZE ATOM TABLE in <https://arxiv.org/pdf/1608.00989.pdf>, though we use it for the whole update as we don't match the whole structure and can't reserve an atom slot as is, so we need to also lock concurrent updates without resizing

the later should be uncontendet as we only write AtomTable::new iff the current value is a dangling Weak
 2023-09-05 19:39:59 +02:00
Bennet Bleßmann 01aeb7515d [WIP] move towards lockless AtomTable 2023-09-05 19:39:46 +02:00
Markus Triska d54c3369b3 FIXED: countall/2 for zero solutions (#1996) 
Example:

    ?- countall(false, 0).
       true.
 2023-09-05 19:39:05 +02:00
Skgland d24e6100a7 fix rust_beta_channel feature 2023-09-05 19:12:23 +02:00
Skgland cd0e45b70e fix accidentally left in println!() 2023-09-05 19:12:23 +02:00
Skgland 0f0018abe4 raise msrv for OnceLock support 2023-09-05 19:12:23 +02:00
Skgland a95c5e26e6 add comment why blocking_write is not used 2023-09-05 19:12:23 +02:00
Skgland 70b6cc8e55 fix deadlock in load_library_as_stream 2023-09-05 19:12:22 +02:00
Bennet Bleßmann 13cbff7eab [WIP] fix deadlock in AtomTable::build_with 2023-09-05 19:12:22 +02:00
Skgland 86166dbf25 [WIP] make AtomTable concurrentcy ready 2023-09-05 19:12:22 +02:00
Skgland b2130c2a48 run cargo fmt 2023-09-05 19:12:17 +02:00
Mark 5585e83fd6 correct inference counting over index backtracking, built-ins (#1977, #1987) 2023-09-04 17:15:16 -06:00