The SLP Prototype: Source Modules

• Version Settings
               [ver.h]
• The Boolean Datatype
               [bool.h]
• The String Datatype
               [str.h]    [str.cxx]
• Output Functions
               [out.h]    [out.cxx]
• Runtime Assertion Check
               [check.h]    [check.cxx]
• Management of Program Options
               [opt.h]    [opt.cxx]
• Character Classes
               [ch.h]    [ch.cxx]
• Abstract Input Stream
               [in.h]
• File Input
               [in_file.h]    [in_file.cxx]
• CGI POST Input
               [in_cgi.h]    [in_cgi.cxx]
• Interactive Input (From Keyboard)
               [in_kbd.h]    [in_kbd.cxx]

• Atoms (Symbol Table) [Documentation not current]
               [atom.h]    [atom.cxx]
• Ground Terms (Constants: Atoms or Integers)
               [cnst.h]    [cnst.cxx]
• Variables in Formulas
               [var.h]    [var.cxx]
• All Variables in a Formula
               [scope.h]    [scope.cxx]
• Unsafe Variables in Current Formula
               [unsafe.h]    [unsafe.cxx]
• Terms
               [term.h]    [term.cxx]
• List of Terms (Argument Lists)
               [tlist.h]    [tlist.cxx]
• Literals (Atomic Formulas)
               [lit.h]    [lit.cxx]
• Enumeration Type for Operator Associativity
               [lit.h]
• Logical Operators (And, Or, ...)
               [op.h]    [op.cxx]
• Logical Formulas (Operator Trees) [Documentation not yet available]
               [fml.h]    [fml.cxx]
• Lists of Formulas [Documentation not yet available]
               [flist.h]    [flist.cxx]

• Argument List of Ground Atomic Formulas
               [garg.h]    [garg.cxx]
• Ground Atomic Formulas (Positive Ground Literal)
               [glit.h]    [glit.cxx]
• Ground Default Negation
               [gneg.h]    [gneg.cxx]
• Conditional Facts [Documentation not yet available]
               [cf.h]    [cf.cxx]

• Argument (Term) of an Atomic Formula in a Rule
               [rarg.h]    [rarg.cxx]
• Argument List of an Atomic Formula in a Rule
               [rargs.h]    [rargs.cxx]
• Atomic Formulas (Positive Literals) in Rules
               [rlit.h]    [rlit.cxx]
• List of Atomic Formulas in Rules (Head, Positive Body)
               [rlits.h]    [rlits.cxx]
• Default Negation in a Rule
               [rneg.h]    [rneg.cxx]
• Rule
               [rule.h]    [rule.cxx]
• Hyperresolution
               [hyper.h]    [hyper.cxx]

• Token Types
               [tok.h]    [tok.cxx]
• The Lexical Scanner
               [lex.h]    [lex.cxx]
• Path through a Formula (for Clause Conversion) [Documentation not yet available]
               [path.h]    [path.cxx]
• Conversion into Clauses [Documentation not yet available]
               [conv.h]    [conv.cxx]
• The Parser [Documentation not yet available]
               [parse.h]    [parse.cxx]

• Interpretation of Critical Default Negations
               [nint.h]    [nint.cxx]
• Current Set of Such Interpretations (Corresponding to Minimal Models)
               [nints.h]    [nints.cxx]
• Set of Positive Disjunctions (Used in the Minimal Model Generator)
               [mdis.h]    [mdis.cxx]
• Backtrack Stack for the Minimal Model Generator
               [mback.h]    [mback.cxx]
• Minimal Model Generator
               [mgen.h]    [mgen.cxx]
• Static Fixpoint
               [fixp.h]    [fixp.cxx]

• Main Program
               [main.cxx]