Giters
terminusdb-labs
/
swipl-rs
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
23
Watchers:
4
Issues:
26
Forks:
6
terminusdb-labs/swipl-rs Issues
Is there a way to load an external pl file and run it from rust with swipl-rs?
Updated
a year ago
Evaluate existing prolog files
Updated
a year ago
Comments count
2
Fails to build with swipl v8.2
Updated
2 years ago
Dependencies should be stated
Updated
2 years ago
Comments count
1
ARM (is a thing, that exists)
Closed
2 years ago
Comments count
4
Include building swipl from source as part of crate
Closed
2 years ago
Comments count
1
A few rough edges
Closed
2 years ago
Comments count
5
common error strategy using an attribute macro
Updated
3 years ago
Trait polymorphism in blob terms
Updated
3 years ago
prolog_pack:build_environment/1 broken in SWI-Prolog 8.5
Closed
3 years ago
Comments count
3
support swi-prolog dicts
Closed
3 years ago
Implement Eq and Ord for Term
Closed
3 years ago
implement Eq and Ord for PrologText
Closed
3 years ago
Comments count
1
Have an easy way to iterate over term lists
Closed
3 years ago
Comments count
1
More general Unifiable
Updated
3 years ago
Comments count
1
Unification incorrectly allows unifying non-unifiable values
Closed
3 years ago
Allow initializing swipl with a saved state
Closed
3 years ago
Comments count
1
Cons getting, setting and unification
Updated
3 years ago
Comments count
1
Improve term! macro to support extra prolog syntax
Updated
3 years ago
Comments count
2
Easier conversion between text and term
Updated
3 years ago
Comments count
1
A frontend for assert and retract
Updated
3 years ago
create version of get() which returns an error rather than failure
Closed
3 years ago
Comments count
1
Provide a generic way to get borrowed data out of prolog
Updated
3 years ago
Comments count
1