CHANGES (small bug fixes are not included) ---------------------------------------------------------------- LLP Version 0.51 2002/04/19 Release of Version 0.51 Bug fixed for unsafe variables ---------------------------------------------------------------- LLP Version 0.50 2001/01/31 Release of Version 0.50 Compilation of resources Complete treatment of top Unification with occurs check ---------------------------------------------------------------- LLP Version 0.43 1998/04/01 Release of Version 0.43 1998/04/01 remove_op/0 is added in llpc.pl 1998/03/27 forumk is added 1998/03/25 PrologServer.java is modified 1998/03/18 some small bugs are fixed 1997/11/21 length/2 bug fixed 1997/08/20 bug fixed in call instruction 1997/07/17 bug fixed for compiling R-<>G when G is a variable 1997/06/26 Quintus Prolog is now supported ---------------------------------------------------------------- LLP Version 0.42 1997/05/08 Release of Version 0.42 1997/01/07 Java interface is added 1996/12/16 Example programs are added ---------------------------------------------------------------- LLP Version 0.41 1996/12/09 Release of Version 0.41 1996/12/09 trace/0, notrace/0 is added 1996/12/07 statistics/0 is added 1996/12/07 copy_term/2 is added 1996/12/06 llprolog.el is created 1996/12/06 operator pecedences are changed to match with Lolli 1996/12/05 llpc is changed to compile & assemble 1996/12/05 fcompile/1, compile/1 is added 1996/12/05 unix(system(_,_)) is added 1996/12/05 last call in a single chunk is replaced by execute 1996/12/05 Small LLP Interpreter is created 1996/12/05 llpc, llpa are modified 1996/12/05 load/1 is added 1996/12/05 $res_1_pred, $res_1_nopred are added for special case when only one resource is found 1996/12/02 TagRES is added 1996/12/02 G -<> S can be used as R-formula (not well tested yet...) G is not compiled, but interpreted at run-time. G1 -<> G2 -<> S is compiled as (G1,G2) -<> S G -<> (S1 & S2) is compiled as (G -<> S1) & (G -<> S2) 1996/12/02 call/1 now supports the goal R -<> G 1996/12/02 mid_imp is added. end_imp is modified 1996/12/02 resource.c is modified & simplified 1996/11/27 get, put, set, unify instructions for ground terms are added 1996/11/26 numbervars/3 is added 1996/11/26 write/1, writeq/1, write_canonical/1, display/1 are added 1996/11/22 Ported to BinProlog 5.00 1996/11/21 read/1 is added (might have some bugs...) 1996/11/21 =../2 is added 1996/11/20 name/2, functor/3, and arg/3 are added 1996/11/20 built.llp4 is deleted 1996/11/19 variable G in a goal is compiled as call(G) 1996/11/18 put/1, read_token/1 are added 1996/11/16 !(R1 & R2) -<> G is compiled as (!R1, !R2) -<> G 1996/11/16 R1 -<> R2 -<> G is compiled as (R1, R2) -<> G 1996/11/15 Enviroment variables LLPDIR and PROLOG are refered. 1996/11/15 NeXT 68K is included as a target architecture 1996/11/15 System dependent parts are gathered into sysdep.h sysdep.c ---------------------------------------------------------------- LLP Version 0.40 1996/11/14 Release of Version 0.40