| Did you know ... | Search Documentation: |
| Foreign code and Well Founded Semantics |
FALSE if the delay list is empty (and answer is well
defined) and TRUE if the delay list is not empty. If dl
is 0 no list is instantiated, while the return value is the same. This
allows for testing that an answer is undefined as below.
if ( PL_get_delay_list(0) )
<undefined>
else
<normal answer>
For now, we consider the content of the list elements opaque. See
boot/tabling.pl for examples.