7.6 Well Founded Semantics
All
Application
Manual
Name
Summary
Help
Documentation
Reference manual
Tabled execution (SLG resolution)
Well Founded Semantics
undefined/0
call_residual_program/2
call_delays/2
delays_residual_program/2
Well founded semantics and the toplevel
Packages
Availability:
built-in
undefined
Unknown represents neither
true
nor
false
in the well formed model. It is implemented as
:- table undefined/0. undefined :- tnot(undefined).