Giters
SWI-Prolog
/
roadmap
Discuss future development
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
20
Watchers:
22
Issues:
60
Forks:
3
SWI-Prolog/roadmap Issues
Packs could have a standardized layout for PLT (Tests)
Updated
5 years ago
Comments count
1
Using conan for dependencies
Updated
5 years ago
Saved state portability
Updated
5 years ago
Comments count
1
Generating a MacOS bundle using cmake/cpack
Closed
5 years ago
Comments count
1
Broken input/output order in 7.7.19-47-g4c3d70a09-DIRTY
Closed
6 years ago
Comments count
4
Online documentation of the `function_expansion/3` predicate repeated 14 times
Updated
6 years ago
Comments count
1
Spectre attacks mitigation
Closed
4 years ago
Comments count
4
Probabilistic reasoning
Updated
5 years ago
Comments count
5
Attribute evaluation Order to be respected by individual attributes
Updated
7 years ago
Digital signatures for downloads
Closed
4 years ago
Comments count
1
Introduce sideways open dicts
Updated
5 years ago
Comments count
8
Implement ACME: Automatic Certificate Management Environment
Closed
4 years ago
Comments count
1
Convert projects and subprojects to CMake
Closed
6 years ago
Comments count
25
Convert http://www.amzi.com/AdventureInProlog/ to a SWI-Prolog SWISH Notebook
Updated
7 years ago
Comments count
4
Improve test suite
Updated
8 years ago
Comments count
1
Cyclic terms to be allowed in asserta database (Since they are allowed in the recorda database)
Updated
8 years ago
Comments count
2
Hashtable Blobs
Closed
8 years ago
Comments count
2
prolog on the browser
Updated
2 years ago
Comments count
80
Work on filed issues
Closed
4 years ago
Comments count
5
Minimal C support for Feliks Kluzniak's memoization system
Updated
8 years ago
Comments count
5
Implementation of meta_attribute/2
Updated
8 years ago
Comments count
10
improve download/install experience
Updated
8 years ago
Improve pack infrastructure
Updated
8 years ago
Comments count
4
Attributed variables within Clauses
Updated
8 years ago
Attributed variables that are only bound by attrib_unify_hook/2
Closed
8 years ago
Comments count
3
KILLER APP - SQL SERVER EMULATOR
Updated
8 years ago
Comments count
8
Mobile solution
Updated
6 years ago
Comments count
11
regex without xpce
Closed
6 years ago
Comments count
8
Statically-checked type, mode and determinism declarations
Updated
9 years ago
Comments count
3
CLP(B): Integrate an external BDD package
Closed
4 years ago
Increase test coverage of constraint libraries
Closed
4 years ago
Deprecate XPCE
Updated
7 years ago
Comments count
5
Enhance library(simplex)
Closed
4 years ago
Reimplement CLP(Q)
Closed
4 years ago
Adapt CHR to use the attributed variables interface
Closed
4 years ago
Enhance Prolog modes of common editors
Closed
4 years ago
Comments count
4
Improve syntactic ISO conformance
Closed
4 years ago
Work on issues reported by Ulrich Neumerkel
Closed
4 years ago
Comments count
1
CLP(B) in SWISH: Draw Binary Decision Diagrams from residual goals
Closed
4 years ago
CLP(FD) animations in SWISH
Closed
4 years ago
Mailing list alternative
Closed
4 years ago
Integrating parts of GUPU in SWISH
Closed
4 years ago
Comments count
10
Porting cTI to SWI-Prolog
Closed
4 years ago
Comments count
2
Move fully to CDN / redundant web serving
Updated
8 years ago
Comments count
1
the book
Updated
7 years ago
Comments count
10
Compatibility with other systems
Closed
4 years ago
Attributed variables: Interface convergence
Closed
4 years ago
Comments count
255
Killer App
Updated
8 years ago
Comments count
17
Cool App
Updated
8 years ago
Comments count
5
RDF literal representation
Closed
7 years ago
Comments count
3
Previous
Next