[
next
] [
tail
] [
up
]
Contents
1
Introduction
2
Getting Started
3
Calculus and Proof Procedure
3.1
Calculus
3.2
Proof Procedure
4
Usage
4.1
Search Control Heuristics
4.1.1
Priority functions
4.1.2
Generic Weight Functions
4.1.3
Clause Evaluation Functions
4.1.4
Heuristics
4.2
Term Orderings
4.2.1
Precedence Generation Schemes
4.2.2
Weight Generation Schemes
4.3
Literal Selection Strategies
4.4
The Watchlist Feature
4.5
Learning Clause Evaluation Functions
4.5.1
Creating Knowledge Bases
4.5.2
Populating Knowledge Bases
4.5.3
Using Learned Knowledge
4.6
Other Options
5
Input Language
5.1
LOP
5.2
TPTP Format
6
Output…or how to interpret what you see
6.1
The Bare Essentials
6.2
Impressing your Friends
6.3
Detailed Reporting
6.4
Requesting Specific Results
A
License
[
next
] [
front
] [
up
]