Qunitus Prolog on Unix

[Steven C. Cater]

I am having a problem with Quintus Prolog version 2.4.2 running on a Sun 3/60
under SunOS version 3.4. [Yes, I know that these are old versions].

The problem is this: one moment my Prolog program is chugging happily along,
and the next moment I get an error message from Prolog:
	
	[ERROR: out of space (error 207)]

and I get thrown back into the command interpreter level. 

It appears that this happens durring an 'assert'/1 operation. I put a probe in
the program to print out statistics just before the point where the error
occurs and get the results:
	
	memory (total) 2,906,872 bytes
	program space 1,624,776 bytes: 831,324 in use   793,452 free
	global space    956,288 bytes: 418,200 in use   538,088 free
	local stack     233,796 bytes:     788 in use   233,008 free

At this point the UN*X command pstat -s shows that my swap space looks like:

	8912K used (2848K text), 21312K free, 1224K wasted, 0K missing
	max process allocable = 20464K
	avail: 20*1024K 1*256K ... etc.

and the UN*X command ps -gv shows for the Prolog engine 

	SIZE = 2904K
	RSS  = 1656K
	TSIZ = 408K
	TRS  = 392K
	%mem = 13.1
	
and the UN*X csh command limit shows for the shell process
	
	datasize 245,504 Kbytes
	stacksize 245,504 Kbytes
	memory use unlimited

and the UN*X command dkinfo shows that my swap device (/dev/sd0b) contains
61472 sectors (30,736 Kbytes).

The machine has 16 Mbytes of physical memory.

ALL OF THE ABOVE INFORMATION SEEMS TO SUGGEST TO ME THAT THERE IS PLENTY OF
SPACE AVAILABLE. THE QUINTUS MANUAL SAYS THAT ALL PROLOG DATA AREAS CAN
EXPAND AS NEEDED UP TO THE LIMIT OF AVAILABLE RESOURCES. 

Therefore, I should not get the error 207.

But I do get the error 207, so some part of the above information is incorrect
or else there is a bug in SunOS 3.4 or Quintus 2.4.2.


I would greatly appreciate any help anyone can give me in further diagnosing
the problem, correcting the problem, or working around it. If this is a known
bug in the old releases of software that I am using, which is corrected in a
later release, I would also like to know that.


Thanks.

Please e-mail response to either:

	orville at vindalu.lu.eas.asu.edu
	weyrich at csun2.cs.uga.edu

or phone
	602-948-2600 ext 273.