Mild Shock wrote:
Hi,
Assume that we live in a world where we have excess memory. So we can
afford stacks! And then make the crucial observation,
we can use the stack of the Prolog engine,
no need to create an artificial stack in C,
or use the native stack of C.
I guess SWI-Prolog has already groked the first we can "afford stacks".
But did anybody already grok the "100% Prolog" idea?
Well we are not yet there 100% Prolog has still an overhead. Here is a
little test acyclic_term/2:
/* SWI-Prolog 9.3.26, C Stacks and/or Agendas */ ?-
time((between(1,30,_), acyclic2, fail; true)).
% 330,150 inferences, 0.016 CPU in 0.023 seconds (69% CPU, 21129600
Lips) true.
you assume too much. The 'overheat' is merely based on the size of memory required, and the number of instructions sent to the CPU's decoder,
together with data, occupying the bus, through the pipeline, ignoring the pipeline etc. Not directly related to time. And 'stacks' ARE memory, not something to 'afford as excess' fucking stoopid.
Sysop: | Keyop |
---|---|
Location: | Huddersfield, West Yorkshire, UK |
Users: | 546 |
Nodes: | 16 (2 / 14) |
Uptime: | 22:34:09 |
Calls: | 10,390 |
Calls today: | 1 |
Files: | 14,063 |
Messages: | 6,416,990 |