SWI-Prolog roadmap issues

SWI-Prolog / roadmap

Discuss future development

21 stars 3 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Packs could have a standardized layout for PLT (Tests)

#60 TeamSPoon opened 5 years ago
1
Using conan for dependencies

#59 JanWielemaker opened 5 years ago
0
Saved state portability

#58 erlanger opened 6 years ago
1
Generating a MacOS bundle using cmake/cpack

#57 JanWielemaker closed 5 years ago
1
Broken input/output order in 7.7.19-47-g4c3d70a09-DIRTY

#56 pmoura closed 6 years ago
4
Online documentation of the `function_expansion/3` predicate repeated 14 times

#55 pmoura opened 6 years ago
1
Spectre attacks mitigation

#54 triska closed 4 years ago
4
Probabilistic reasoning

#53 XVilka opened 6 years ago
5
Attribute evaluation Order to be respected by individual attributes

#52 TeamSPoon opened 7 years ago
0
Digital signatures for downloads

#51 triska closed 4 years ago
1
Introduce sideways open dicts

#50 torbjornlager opened 8 years ago
8
Implement ACME: Automatic Certificate Management Environment

#49 triska closed 4 years ago
1
Convert projects and subprojects to CMake

#48 TeamSPoon closed 6 years ago
25
Convert http://www.amzi.com/AdventureInProlog/ to a SWI-Prolog SWISH Notebook

#47 TeamSPoon opened 8 years ago
4
Improve test suite

#46 Anniepoo opened 8 years ago
1
Cyclic terms to be allowed in asserta database (Since they are allowed in the recorda database)

#45 TeamSPoon opened 8 years ago
2
Hashtable Blobs

#44 TeamSPoon closed 8 years ago
2
prolog on the browser

#43 Anniepoo opened 8 years ago
80
Work on filed issues

#42 triska closed 4 years ago
5
Minimal C support for Feliks Kluzniak's memoization system

#41 TeamSPoon opened 8 years ago
5
Implementation of meta_attribute/2

#40 TeamSPoon opened 8 years ago
10
improve download/install experience

#39 Anniepoo opened 8 years ago
0
Improve pack infrastructure

#38 Anniepoo opened 8 years ago
4
Attributed variables within Clauses

#37 TeamSPoon opened 8 years ago
0
Attributed variables that are only bound by attrib_unify_hook/2

#36 TeamSPoon closed 8 years ago
3
KILLER APP - SQL SERVER EMULATOR

#35 TeamSPoon opened 8 years ago
8
Mobile solution

#34 Anniepoo opened 9 years ago
11
regex without xpce

#33 Anniepoo closed 6 years ago
8
Statically-checked type, mode and determinism declarations

#32 FredMesnard opened 9 years ago
3
CLP(B): Integrate an external BDD package

#31 triska closed 4 years ago
0
Increase test coverage of constraint libraries

#30 triska closed 4 years ago
0
Deprecate XPCE

#29 Anniepoo opened 9 years ago
5
Enhance library(simplex)

#28 triska closed 4 years ago
0
Reimplement CLP(Q)

#27 triska closed 4 years ago
0
Adapt CHR to use the attributed variables interface

#26 triska closed 4 years ago
0
Enhance Prolog modes of common editors

#25 triska closed 4 years ago
4
Improve syntactic ISO conformance

#24 triska closed 4 years ago
0
Work on issues reported by Ulrich Neumerkel

#23 triska closed 4 years ago
1
CLP(B) in SWISH: Draw Binary Decision Diagrams from residual goals

#22 triska closed 4 years ago
0
CLP(FD) animations in SWISH

#21 triska closed 4 years ago
0
Mailing list alternative

#20 triska closed 4 years ago
0
Integrating parts of GUPU in SWISH

#19 triska closed 4 years ago
10
Porting cTI to SWI-Prolog

#18 triska closed 4 years ago
2
Move fully to CDN / redundant web serving

#17 Anniepoo opened 9 years ago
1
the book

#16 Anniepoo opened 9 years ago
10
Compatibility with other systems

#15 triska closed 4 years ago
0
Attributed variables: Interface convergence

#14 triska closed 4 years ago
255
Killer App

#13 Anniepoo opened 9 years ago
17
Cool App

#12 Anniepoo opened 9 years ago
5
RDF literal representation

#11 Anniepoo closed 7 years ago
3