NEWS 3.31 KB
Newer Older
Stefan Israelsson Tampe committed
1 2 3 4 5 6
Version 0.3

* Faster and more thorough implementation of guarded variables.
* Fluids following the guile-log stack.
* Acumulators.
* and much more
7 8 9

Version 0.4

10 11 12 13 14 15 16 17
* Fast and scalable vhash version of the assoc variable binding system
* Functional Dynamic Functions
* Functional Hash implementation using vhashes
* Program flow dynamic varible analytics
* An iso prolog implementation
* Delimeted continuations
* A catch and throw system

18 19 20 21
Version 0.4.1
* Fixed some compiler bugs
* Fixed bug in stall

22 23
Version 0.5,
* Improved parsing tool
24 25 26
  - Factorized and enabled for customized streams flow e.g.
    current indentation level in python
  - f-cons and similar tools for functional AST creation.
27
* Debug features
Stefan Israelsson Tampe committed
28 29 30
* Tabling or memoisation, experimental.
* rational datastructures, experimental.
* scheme Keyword objects and logic values.
31
* GC of prolog variables
32 33
* Attributed variables / only one success all forms/ experimental
* corouttines / experimental.
34 35
* tracing
* Better compilation error handling
Stefan Israelsson Tampe committed
36 37
* Operators are now namespaced correctly.
* fast math and guile featured operators for numerics added.
Stefan Israelsson Tampe committed
38 39

Version 0.6, TODO
40 41 42
* Functional Streams                         DONE
* SWI Prolog namespacing                     DONE
* SWI Prolog modules                         DONE
43
* SWI Prolog ensure_loded
44 45 46 47 48 49
* SWI Prolog call semantics                
* SWI Prolog macro framework for terms       DONE
* SWI Prolog macro framework for goals       DONE
* Extended version of attributed variables   DONE
* eval-when (prolog)                         DONE
* epiphermal pairs and weak hashes           DONE
50
* More general postpone, for local searches.
51
* Indexed predicates per default.            DONE
52
* Fast C-version of predicate matching.      DONE
53
* Support for namespaced operators in prolog DONE
54
* Support for X[a] and X{A}
55
* Extended attributes, more features added.  DONE
56
* if directives                              DONE
57
* swi compability                            DONE
58 59 60 61 62 63
* set algebra and set operators in prolog    DONE
* inheritance manager and inher. indexing    DONE
* match of attributed variables              DONE
* compiling and running clpfd clpb           DONE
* compiling and running clpq 
* minikanren full interleaving operators     DONE
64
* functions as vectors (SWI)
65
* GC of multiple resetted variables          PARTIAL
66 67
* persistant continuations                   DONE
* persistant dynamical functions             DONE
68
* interpretter stores variables at stall     DONE
69 70
* Improved iterator frmework for prolog      DONE
* Types and type matching                    DONE
Stefan Israelsson Tampe committed
71 72 73
* prolog engines like in swi prolog          DONE
* paralell and                               PARTIAL
* fibers                                     DONE
74
* GC of the (almost) unreachable tail of a stream  (all)
Stefan Israelsson Tampe committed
75 76
* Multi threading capabilities                     (all)
* Sandboxing                                       (prolog)
77
* More general functional hashmaps                 (all)    DONE
78
* Ordinary hash maps                               (all)
79
* Faster compilation                               (prolog)
Stefan Israelsson Tampe committed
80
* Better compilation errors                        (prolog) 
81
* Improved documentation                           (all)
Stefan Israelsson Tampe committed
82
* Improved matcher                                 (prolog) DONE
83 84
* vectors                                          (prolog)
* structs                                          (prolog)