issues
search
terminusdb-labs
/
swipl-rs
25
stars
6
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Clone Trait
#59
flashpixx
closed
4 months ago
7
Raise versions of swipl (to 0.3.16) and swipl-fli (to 0.3.6)
#58
matko
closed
6 months ago
0
method to handle signals/interrupts in long-running foreign code
#57
matko
closed
6 months ago
0
swipl 9.2
#56
matko
closed
6 months ago
1
Swipl API updates 9.1.19
#55
morlic
closed
6 months ago
3
SWI-Prolog 9.1.19 FLI updates
#54
morlic
closed
7 months ago
2
swipl 9.1.19 compatibility: PL_new_term_refs takes size_t
#53
jjgriego
closed
6 months ago
1
Special stream decoding for latin1
#52
matko
closed
6 months ago
1
properly clear error on read/write from stream
#51
matko
closed
9 months ago
0
Raise swipl crate version to 0.3.15
#50
matko
closed
10 months ago
0
Type erased contexts
#49
matko
closed
10 months ago
0
raise versions of swipl, swipl-fli, swipl-macros and cargo-swipl
#48
matko
closed
1 year ago
0
clippy warnings, version updates
#47
matko
closed
1 year ago
0
update cargo-swipl with vscode support commands
#46
matko
closed
1 year ago
0
Cargo-swipl-features
#45
matko
closed
1 year ago
1
Is there a way to load an external pl file and run it from rust with swipl-rs?
#44
tumluliu
opened
1 year ago
0
Fails to build with swipl v8.2
#43
matko
opened
1 year ago
0
Upgrade bindgen and remove clippy warnings
#42
matko
closed
1 year ago
3
introduce get_arg_ex
#41
matko
closed
1 year ago
0
Atom serialization shortcut
#40
matko
closed
1 year ago
0
Bignum support
#39
matko
opened
1 year ago
0
Fix syntax error
#38
rrooij
closed
1 year ago
0
Arm64 build
#37
rrooij
closed
1 year ago
0
Dependencies should be stated
#36
rrooij
opened
1 year ago
1
Small fix to support aarch64.
#35
blueforesticarus
closed
1 year ago
1
ARM (is a thing, that exists)
#34
blueforesticarus
closed
1 year ago
4
ci: remove mac os DMG
#33
rrooij
closed
1 year ago
1
Serde support
#32
matko
closed
1 year ago
0
expand cargo-swipl with two more commands
#31
matko
closed
1 year ago
0
Fix crash bug in wrapped arc blobs
#30
matko
closed
2 years ago
0
Stream lifetimes
#29
matko
closed
2 years ago
0
Fix atom string handling
#28
matko
closed
2 years ago
0
Support for writing to a prolog stream
#27
matko
closed
2 years ago
0
Include building swipl from source as part of crate
#26
munro
closed
2 years ago
1
Introduce records - storing prolog terms in the heap
#25
matko
closed
2 years ago
0
common error strategy using an attribute macro
#24
matko
opened
2 years ago
0
Trait polymorphism in blob terms
#23
matko
opened
2 years ago
0
Dictionary support
#22
matko
closed
2 years ago
0
support swi-prolog dicts
#21
matko
closed
2 years ago
0
Implement PartialEq, Eq, PartialOrd and Ord on Term using PL_compare
#20
matko
closed
2 years ago
0
implement Eq and Ord for PrologText
#19
matko
closed
2 years ago
1
Have an easy way to iterate over term lists
#18
matko
closed
2 years ago
1
Implement Eq and Ord for Term
#17
matko
closed
2 years ago
0
prolog_pack:build_environment/1 broken in SWI-Prolog 8.5
#16
spl
closed
2 years ago
3
Test that demonstrates that list unification is working correctly
#15
matko
closed
2 years ago
0
fix build for swipl-devel
#14
matko
closed
2 years ago
0
Fix list unification
#13
philippeitis
closed
2 years ago
1
Unification incorrectly allows unifying non-unifiable values
#12
philippeitis
closed
2 years ago
0
More general Unifiable
#11
philippeitis
opened
2 years ago
1
Allow initializing an engine with a saved state
#10
ThePuzzlemaker
closed
2 years ago
2
Next