issues
search
mthom
/
scryer-prolog
A modern Prolog implementation written mostly in Rust.
BSD 3-Clause "New" or "Revised" License
2.01k
stars
117
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Unproductive result displayed
#2481
flexoron
opened
1 month ago
3
SSS: Reading and "Riting" in Scryer (or, how to do I/O in Scryer)
#2478
jjtolton
closed
1 month ago
2
Scryer Scholar's Series!
#2477
jjtolton
closed
1 month ago
4
Towards a Scryer Datalog for dynamic persistent data?
#2476
jjtolton
closed
1 month ago
3
Value heap walk in lib_machine
#2475
bakaq
closed
1 month ago
10
Fix looping memory allocation
#2474
Skgland
closed
1 month ago
0
Rational numbers canonical representation
#2473
bakaq
opened
1 month ago
11
Add run_query_iter()
#2472
bakaq
closed
1 month ago
5
http_server ; http_open server hangs, no response after pulling some updates
#2470
Zandrenel
opened
1 month ago
2
Add code example for same_length/2
#2469
jgarte
opened
1 month ago
0
Remaining blockers for getting rid of syn@1.0 in transitive dependencies
#2468
Skgland
opened
1 month ago
0
Variable as directive loops unexpectedly
#2467
triska
closed
1 month ago
0
Upgrade dependencies
#2466
Skgland
closed
1 month ago
0
ISSUE-2464: exposing scryer prolog functionality in libscryer_prolog.so for client library consumption
#2465
jjtolton
opened
1 month ago
182
ISSUE-2464: Make scryer prolog usable as a shared library for other programs
#2464
jjtolton
opened
1 month ago
3
Split up inconsistent entry error
#2463
Skgland
closed
1 month ago
15
fix segfault by dropping loader state payload after resetting machine
#2462
Skgland
closed
1 month ago
1
Cleanup some string handling
#2460
Skgland
closed
1 month ago
21
WASM issues in C#
#2459
jjtolton
closed
2 months ago
4
Delay arithmetic syntax error
#2458
hurufu
opened
2 months ago
3
simplify generated libraries map by using `include_str!`
#2457
Skgland
closed
2 months ago
4
Bump openssl from 0.10.62 to 0.10.66
#2456
dependabot[bot]
opened
2 months ago
0
The irrational number e is not always understood
#2455
josd
opened
2 months ago
6
Defined predicates sometimes yield unexpected existence errors
#2454
triska
opened
2 months ago
10
Remaining miri failiures after #2439
#2453
Skgland
opened
2 months ago
2
Infinitely many term expansions are unexpectedly defined
#2452
triska
opened
2 months ago
0
Looping memory allocation
#2449
UWN
closed
1 month ago
0
Feature request: Ctrl-C should not end top-level session
#2448
stevemolloy
opened
2 months ago
11
`phrase_from_file/2` yielding `false.` with certain {goals} and ordering in DCG
#2447
haijinSk
opened
2 months ago
1
Fix build on WASM after #2442
#2446
aarroyoc
closed
2 months ago
3
Can't retract imported dynamic predicate
#2445
infradig
opened
2 months ago
1
`meta_predicate` doesn't accept predicate indicator sequence nor list
#2444
hurufu
opened
2 months ago
3
Missing implementation for `imported_from` key of `predicate_property/2`
#2443
hurufu
opened
2 months ago
0
Fix at_end_of_stream/1 for http read stream
#2442
aarroyoc
closed
2 months ago
0
ADDED: Preliminary support for statistics/2.
#2440
triska
closed
2 months ago
0
Some cleanup and miri fixes
#2439
Skgland
closed
2 months ago
13
Update on Miri coverage
#2438
bakaq
closed
1 month ago
0
link to newly available paper about Grants4Companies
#2436
triska
closed
2 months ago
0
CLP(B): Slow projection of residual goals
#2434
triska
opened
3 months ago
1
Goal expansion in lib reif
#2433
hurufu
opened
3 months ago
33
library(pio): phrase_to_file does not accept the file mode
#2430
stevemolloy
opened
3 months ago
3
library(lambda): Terminology/Consistency
#2428
triska
opened
3 months ago
3
Expose bytes_base64 & padding option from crypto.pl
#2427
soverysour
closed
3 months ago
3
Adds SHA1 to crypto.pl and a macOS specific file to .gitignore
#2426
soverysour
closed
3 months ago
6
Top-level exits when given a certain command
#2425
stevemolloy
closed
3 months ago
1
WIP: Add jit_compile/1, very basic JIT2
#2424
aarroyoc
opened
3 months ago
6
Rust thread panics on certain input
#2423
stevemolloy
opened
3 months ago
8
Bug in `http/http_server` library, bad configuration causes server to crash without cleaning up
#2422
lachrimae
opened
3 months ago
1
Blackboard predicates are not module sensitive on key, as Sicstus, SWI & Yap are
#2421
infradig
opened
3 months ago
1
[user]. Syntax error not reported
#2418
flexoron
opened
3 months ago
4
Previous
Next