SWI-Prolog/roadmap

Issues

• prolog on the browser

  #43 opened 9 years ago by Anniepoo
  80

• Integrating parts of GUPU in SWISH

  #19 opened 4 years ago by triska
  10

• Enhance Prolog modes of common editors

  #25 opened 4 years ago by triska
  4

• Adapt CHR to use the attributed variables interface

  #26 opened 4 years ago by triska
  0

• Mailing list alternative

  #20 opened 4 years ago by triska
  0

• CLP(FD) animations in SWISH

  #21 opened 4 years ago by triska
  0

• CLP(B) in SWISH: Draw Binary Decision Diagrams from residual goals

  #22 opened 4 years ago by triska
  0

• Increase test coverage of constraint libraries

  #30 opened 4 years ago by triska
  0

• Implement ACME: Automatic Certificate Management Environment

  #49 opened 4 years ago by triska
  1

• Compatibility with other systems

  #15 opened 4 years ago by triska
  0

• Porting cTI to SWI-Prolog

  #18 opened 4 years ago by triska
  2

• Work on issues reported by Ulrich Neumerkel

  #23 opened 4 years ago by triska
  1

• Improve syntactic ISO conformance

  #24 opened 4 years ago by triska
  0

• Reimplement CLP(Q)

  #27 opened 4 years ago by triska
  0

• Enhance library(simplex)

  #28 opened 4 years ago by triska
  0

• CLP(B): Integrate an external BDD package

  #31 opened 4 years ago by triska
  0

• Work on filed issues

  #42 opened 4 years ago by triska
  5

• Digital signatures for downloads

  #51 opened 4 years ago by triska
  1

• Spectre attacks mitigation

  #54 opened 4 years ago by triska
  4

• Attributed variables: Interface convergence

  #14 opened 5 years ago by triska
  255

• Packs could have a standardized layout for PLT (Tests)

  #60 opened 5 years ago by TeamSPoon
  1

• Introduce sideways open dicts

  #50 opened 8 years ago by torbjornlager
  8

• Using conan for dependencies

  #59 opened 5 years ago by JanWielemaker
  0

• Saved state portability

  #58 opened 6 years ago by erlanger
  1

• Probabilistic reasoning

  #53 opened 7 years ago by XVilka
  5

• Generating a MacOS bundle using cmake/cpack

  #57 opened 6 years ago by JanWielemaker
  1

• Convert projects and subprojects to CMake

  #48 opened 6 years ago by TeamSPoon
  25

• Broken input/output order in 7.7.19-47-g4c3d70a09-DIRTY

  #56 opened 6 years ago by pmoura
  4

• Online documentation of the `function_expansion/3` predicate repeated 14 times

  #55 opened 6 years ago by pmoura
  1

• regex without xpce

  #33 opened 6 years ago by Anniepoo
  8

• Mobile solution

  #34 opened 9 years ago by Anniepoo
  11

• the book

  #16 opened 9 years ago by Anniepoo
  10

• Deprecate XPCE

  #29 opened 9 years ago by Anniepoo
  5

• Attribute evaluation Order to be respected by individual attributes

  #52 opened 7 years ago by TeamSPoon
  0

• Convert http://www.amzi.com/AdventureInProlog/ to a SWI-Prolog SWISH Notebook

  #47 opened 9 years ago by TeamSPoon
  4

• RDF literal representation

  #11 opened 8 years ago by Anniepoo
  3

• Move fully to CDN / redundant web serving

  #17 opened 9 years ago by Anniepoo
  1

• Minimal C support for Feliks Kluzniak's memoization system

  #41 opened 9 years ago by TeamSPoon
  5

• Cyclic terms to be allowed in asserta database (Since they are allowed in the recorda database)

  #45 opened 9 years ago by TeamSPoon
  2

• Implementation of meta_attribute/2

  #40 opened 9 years ago by TeamSPoon
  10

• Attributed variables within Clauses

  #37 opened 9 years ago by TeamSPoon
  0

• Improve test suite

  #46 opened 9 years ago by Anniepoo
  1

• Hashtable Blobs

  #44 opened 9 years ago by TeamSPoon
  2

• Attributed variables that are only bound by attrib_unify_hook/2

  #36 opened 9 years ago by TeamSPoon
  3

• Improve pack infrastructure

  #38 opened 9 years ago by Anniepoo
  4

• KILLER APP - SQL SERVER EMULATOR

  #35 opened 9 years ago by TeamSPoon
  8

• Killer App

  #13 opened 9 years ago by Anniepoo
  17

• improve download/install experience

  #39 opened 9 years ago by Anniepoo
  0

• Cool App

  #12 opened 9 years ago by Anniepoo
  5

• Statically-checked type, mode and determinism declarations

  #32 opened 9 years ago by FredMesnard
  3