7.6 Well Founded Semantics
All Application Manual Name SummaryHelp

  • 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
Sourceundefined
Unknown represents neither true nor false in the well formed model. It is implemented as
:- table undefined/0.

undefined :- tnot(undefined).