File: NEWS

package info (click to toggle)
gprolog 1.3.0-6
  • links: PTS
  • area: main
  • in suites: lenny
  • size: 12,708 kB
  • ctags: 8,388
  • sloc: ansic: 57,431; perl: 16,620; sh: 5,900; makefile: 1,284
file content (306 lines) | stat: -rw-r--r-- 11,155 bytes parent folder | download | duplicates (2)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
Change in GNU Prolog version 1.3.0:

* official release (Jan 4 2007)
* change error messages emitted by the compiler to follow GNU standards
* modify doc (mainly rename manual.xxx to gprolog.xxx)
* add DESTDIR variable support in main Makefile for staged installs
* fix a bug with Prolog floats in x86_64/linux (bad stack alignment)
* port for ix86/darwin (Mac OS X)
* add check target to main Makefile
* improve Win32 ports (cygwin, MinGW, MSVC 6.0 and 2005 Express Edition)
  (MSVC port uses MinGW as.exe instead of nasm.exe - named mingw-as.exe
   provided in the setup.exe)
* rename call/2 to call_det/2
* implement call/2-11 as will be defined in the next standard
* fix various problems when compiling with gcc 4 (gcc 4.1.1)
* emit .note.GNU-stack to mark the stack as no executable
  in x86_any.c, x86_64_any.c and powerpc_any.c
* change the way objects are found (obj_chain.c) using gcc ctors
* use Doug Lea malloc for OpenBSD (problem with malloc using mmap)
* fix problems in various ports:
  alpha/linux, powerpc/darwin (Mac OS X), sparc/solaris, ix86/OpenBSD

Change in GNU Prolog version 1.2.19:

* fix 2 bugs in global variables

Change in GNU Prolog version 1.2.18:

* fix problem when compiling with gcc 3.4.0
* fix bug in term comparison involving negative integers
* add consult, ... and fix minor bugs in the Win32 GUI console menu
* fix the stack overflow detection under cygwin
* port to ix86/MinGW - many thanks to:
  Cesar Rabak <csrabak@ig.com.br>
* fix a problem in the port to x86/OpenBSD
* port to sparc/NetBSD and powerpc/NetBSD - many thanks to:
  Jason Beegan <jtb@netbsd.org>
* fix a bug in =../2 involving FD variables
* fix a bug in arithmetics (in float_{integer/fractional}_part)
* fix a bug in FD solver (wrong union with a singleton)

Change in GNU Prolog version 1.2.17:

* change configure.in: by default ebp is not used
* fix a but with CTRL+C handler not reinstalled
* fix a bug with _XXX (re)displayed under the top-level
* port to x86_64/linux - many thanks to:
  Gwenole Beauchesne <gbeauchesne@mandrakesoft.com>

Change in GNU Prolog version 1.2.16:

* official release (Oct 1 2002)
* fix bug in predicate_property/2
* add new built-in fork_prolog/1 and create_pipe/2
* fix a bug in atom_concat/3
* fix bug when detecting if a stream can be repositioned

Change in GNU Prolog version 1.2.15:

* fix bug in output to constant terms (e.g. write_to_atom/2)
* include another additional patch for sockets under win32 - due to:
  Brent Fulgham <brent.fulgham@xpsystems.com>
* fix bug in bagof/3 with FD variables
* fix bug with randomize/0

Change in GNU Prolog version 1.2.14:

* added min/max to Prolog arithmetics
* fix bugs in current_predicate and predicate_property

Change in GNU Prolog version 1.2.13:

* official release (Jun 14 2002)
* port to powerpc/Darwin (Mac OS X) - many thanks to:
  Lindsey Spratt <spratt@alum.mit.edu>
* fix bug in Win32 GUI console (deal with edit control text limit)
* fix bug with in-place installation procedure
* fix problem with portray_clause/2 using $VARNAME and $VAR
  now portray_clause((p(Z):-p('$VARNAME'('A'),Z))) is ok
* fix bug with stream buffering (open/4 and set_stream_buffering/2)
* add stream mirror facility (see add_stream_mirror/2)

Change in GNU Prolog version 1.2.12:

* improve global vars (arg. selector, automatic array, new built-ins)
* fix two bugs with Ctrl+C reentrency under the top-level
* added priority/1 option to write_term to specify starting priority
* now under the top-level, _XXX variables are not displayed
* fix bug in decompose_file_name/4 (tried to modify read-only string)
* now open/4 better detects if a stream can be repositioned
* add source reader facility (built-in) - not yet documented
* fix current_predicate bug, now current_predicate(nl/0) fails
* fix linedit bug in tab pasting and add Esc-Tab function
* now linedit goes to EOL at CR to fix bug with multi-line inputs
* now linedit avoids to put in history 2 same consecutive lines
* remove max_stream limitation (the Prolog flag no longer exists)
* the template of get_print_stream/1 is now ?stream
* patch to allow more than 64Mb for the stacks under ix86/linux
* fix a bug in wam2ma (hexa name creation overflowed malloc buffer)

Change in GNU Prolog version 1.2.11:

* fix a problem under sparc/solaris using mmap (adding MAP_FIXED)
* fix a problem with gcc 3.0.x which always uses ebp in main()
* use -march=xxx gcc option instead of -mxxx for ix86

Change in GNU Prolog version 1.2.10:

* gplc now passes -L option to ld in the order of apparition
* gplc accepts meta-characters %p, %d,... in output file names
* include additional patch for sockets under win32 - due to:
  Brent Fulgham <brent.fulgham@xpsystems.com>

Change in GNU Prolog version 1.2.9:

* re-write Windows GUI Console in pure Win32 (no more MFC)
* adapt configure.in to work with autoconf 2.52
* add Prolog flag back_quotes and values {atom,chars,codes}_no_escape
* use a terminal recusion in FD arithmetic normalization
* fix bug in bind_variables/2, reported by: 
  Bowie Owens <owe043@phi-cq.vic.cmis.csiro.au>
* modify Ma2Asm mappers to use Y_OFFSET (from ENVIR_STATIC_SIZE)
* fix some bugs in the Wam debugger
* add several options to the top-level to execute goals
* add an environment variable LINEDIT to control linedit options
* fix bug in linedit on \b in start of line (using ANSI ESC sequences)
* simplify linedit: only apply to stdin
* now linedit is reentrant
* now linedit works with XFree keyboard encoding
* rename built-in get_code_no_echo/1-2 by get_key_no_echo/1-2
* add built-in get_key/1-2
* use get_key/1-2 in the top_level + debugger (thus with echo)
* improve the top-level Ctrl+C manager
* fix bux on linux configured with --disable-regs
* add pipe to pl2wam stdin when called by consult/1
* fix bug in FD: forall is now recognized in .fd files
* fix bug in DCG: expand_term((a --> X), Y) is OK
* fix X paste problem in linedit
* simplify top_comp.c to better control include dirs in devel. mode
* specialized functions for create/update/delete choice points
* fix a bug in wam2ma (hexa name creation overflowed malloc buffer)
* include patch to support basic sockets under win32 - due to:
  Brent Fulgham <brent.fulgham@xpsystems.com>
* arithmetic functions and inlined built-ins use fast call
* specialized functions for switch_on_term_xxx
* modify pl2wam to generalize '$call_c' (add options)

Change in GNU Prolog version 1.2.8:

* official release (Oct 15 2001)
* fix bug - delete file created by mkstemp(2), patch from:
  Salvador Abreu <spa@debian.org>
* space_args(true) now displays a space inside {}/1
* space_args(true) now displays a space after a comma (','/2)

Change in GNU Prolog version 1.2.7:

* add a --foreign-only option to pl2wam
* foreign/2 directives are ignored in byte-code mode (no fatal error)
* space_args(true) now displays space between operators and arguments
* add CVS Id to prolog files
* get rid of mktemp and tempnam calls (use mkstemp if available)
* fix bug in pl2wam to include break/0, trace/0,... in bip_list.pl
* fix a bug in fd_element_var/3 constraint
* fix bug in fd headers (fd_to_c.h not installed)
* fix a bug with unify_with_occurs_check/2
* fix bug on ix86 using ebp (add -fomit-frame-pointer in CFLAGS_MACHINE)

Change in GNU Prolog version 1.2.6:

* fix a bug with ! in dynamic code
* fix a bug in arithmetics

Change in GNU Prolog version 1.2.5:

* big modification (1 month) to optimize the execution speed

Change in GNU Prolog version 1.2.4:

* implement fast call (mainly for WAM functions)
* modify C->Prolog foreign interface to recover arguments space
* improve dynamic clause management and fix a bug (memory leak)
* fix _ symbol prefix problem for Free BSD
* no longer use dl_malloc on Linux but prevent MMAP using mallopt

Change in GNU Prolog version 1.2.3:

* added acos/asin to Prolog arithmetics
* full re-indentation of the sources for CVS

Change in GNU Prolog version 1.2.2:

* port to alpha/linux - many thanks to: Alexander Diemand <ax@apax.net>
* port to alpha/OSF1
* port to mips/irix - many thanks to: Alexander Diemand <ax@apax.net>
* fix a bug in stty.c (use standard termios if present)

Change in GNU Prolog version 1.2.1:

* fix a bug in stty.c (use termio by default and else termios)

Change in GNU Prolog version 1.2.0:

* official release (Jul 28 2000)

Change in GNU Prolog version 1.1.7:

* port for ix86/NetBSD - many thanks to: Brook Milligan <brook@nmsu.edu>
* more customizable configuration/installation procedure

Change in GNU Prolog version 1.1.6:

* start of native Win32 port
* added creation/1 and last_access/1 property to file_property/2
* fix a bug in the compiler about \\ inside quoted atoms
* fix a bug in dynamic clause retraction (memory leak)
* fix a bug in atom management (existing atoms eat mallocated space)
* avoid to establish a connection at start to get the hostname
* rename configuration file config.h by gp_config.h

Change in GNU Prolog version 1.1.5:

* internal version

Change in GNU Prolog version 1.1.4:

* fix a bug in the byte-code loader (bad realloc computation)
* fix a bug in the malloc (used MMAP under linux)

Change in GNU Prolog version 1.1.3:

* port for ix86/SCO - many thanks to:
  Clive Cox <clive@laluna.demon.co.uk> and
  Edmund Grimley Evans <edmundo@rano.demon.co.uk>)
* port for ix86/solaris - many thanks to: 
  Andreas Stolcke <stolcke@speech.sri.com>
* fix a bug in the FD solver for X#\=C (if C is max(X))
* fix a bug with directory_files/2 (too many open files)

Change in GNU Prolog version 1.1.2:

* official release (Nov 29 1999)
* fix a bug in the scanner about 0'<character>
* fix a bug in the compiler about \t in quoted atoms

Change in GNU Prolog version 1.1.1:

* fix bug with popen/3
* update machine.c for struct sigcontext under Linux

Change in GNU Prolog version 1.1.0:

* official release (Oct 4 1999)
* fix a bug in the output of some extended characters in native-compilation

Change in GNU Prolog version 1.0.6:

* fix a bug in sign/1 for arithmetic evaluation
* implementation of call_with_args

Change in GNU Prolog version 1.0.5:

* fix a bug in foreign C calling Prolog on sparc

Change in GNU Prolog version 1.0.4:

* fix a bug with sparc compilation

Change in GNU Prolog version 1.0.3:

* a first final port for cygwin (see PROBLEMS)
* fix some bugs in the FD solver
* fix some other bugs

Change in GNU Prolog version 1.0.2:

* fix precision bug on floating constants

Change in GNU Prolog version 1.0.1:

* add ensure_linked directive
* fix known bugs under RedHat 6.0 usgin egcs
* port for PowerPC / GNU/Linux

Change in GNU Prolog version 1.0.0:

* official release (Apr 16 1999)
* rewrite DCG in C (unification optimized, avoid ill-balanced conjunctions)
* fix known bugs

Change in GNU Prolog version 0.9.0:

* Calypso becomes GNU Prolog
* in-place installation facility
* fix compiler bug
* rewrite sorts built-in predicates and add in-place sorts predicates
* rewrite DCG translation
* rewrite all solutions built-in predicates

Change in Calypso version 1.0-beta7:

* use autoconf
* fix known bugs
* add :- built_in/0-1 and :- built_in_fd/0-1 directives
* complete C foreign interface