• Places
    • Home
    • Graphs
    • Prefixes
  • Admin
    • Users
    • Settings
    • Plugins
    • Statistics
  • Repository
    • Load local file
    • Load from HTTP
    • Load from library
    • Remove triples
    • Clear repository
    • RDF quality heuristics
  • Query
    • YASGUI SPARQL Editor
    • Simple Form
    • SWISH Prolog shell
  • Help
    • Documentation
    • Tutorial
    • Roadmap
    • HTTP Services
  • Login

7.6 Well Founded Semantics
AllApplicationManualNameSummaryHelp

  • 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).

ClioPatria (version V3.1.1-40-g9d9e003)