8 |
Printing numbers in hexidecimal |
None |
open |
|
Ed Schwartz |
2016-09-01
|
2016-09-01
|
5 |
|
6 |
Termination issue with attvars |
None |
open |
|
Theresa Swift |
2013-09-08
|
2013-09-08
|
5 |
|
5 |
XRover user manual/implementation guide |
None |
open |
|
quqi |
2006-10-26
|
2006-10-26
|
5 |
|
4 |
Option to switch off SEGV signal handler |
None |
open |
|
Helge Schulz |
2005-03-28
|
2005-03-28
|
5 |
|
3 |
Recoverable Virtual Memory |
None |
open |
|
Jim Bowery |
2004-10-09
|
2004-10-09
|
5 |
|
2 |
Differential tabling |
None |
open |
|
Jim Bowery |
2004-08-15
|
2004-08-15
|
5 |
|
1 |
overriding currently executing predicate |
None |
open |
|
Michael Kifer |
2002-04-01
|
2003-04-18
|
1 |
|