| parens | TPDB.Pretty |
| Parser | TPDB.Plain.Read |
| peek | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| peek_symbol | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| PIsEmpty | TPDB.CPF.Proof.Type |
| Plain | TPDB.CPF.Proof.Type |
| PlusInfinite | TPDB.Rainbow.Proof.Type |
| Plus_Infinite | TPDB.CPF.Proof.Type |
| pmap | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| poke | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| pokes | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| poke_symbol | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| Polynomial | |
| 1 (Type/Class) | TPDB.CPF.Proof.Type |
| 2 (Data Constructor) | TPDB.CPF.Proof.Type |
| 3 (Data Constructor) | TPDB.Rainbow.Proof.Type |
| Polynomial_Coefficient | TPDB.CPF.Proof.Type |
| Polynomial_Int | TPDB.Rainbow.Proof.Type |
| Polynomial_Variable | TPDB.CPF.Proof.Type |
| Poly_Fun | |
| 1 (Type/Class) | TPDB.Rainbow.Proof.Type |
| 2 (Data Constructor) | TPDB.Rainbow.Proof.Type |
| pos | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| Position | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| positions | TPDB.Data.Term, TPDB.Data, TPDB.XTC |
| Pretty | TPDB.Pretty |
| pretty | TPDB.Pretty |
| prettyList | TPDB.Pretty |
| PrettyTerm | TPDB.Plain.Write |
| prettyTerm | TPDB.Plain.Write |
| Problem | |
| 1 (Type/Class) | TPDB.Data, TPDB.XTC |
| 2 (Data Constructor) | TPDB.Data, TPDB.XTC |
| Product | TPDB.CPF.Proof.Type |
| prolog | TPDB.Xml.Pretty |
| Proof | |
| 1 (Type/Class) | TPDB.CPF.Proof.Type |
| 2 (Type/Class) | TPDB.Rainbow.Proof.Type |
| 3 (Data Constructor) | TPDB.Rainbow.Proof.Type |
| proof | TPDB.CPF.Proof.Type |
| ProofOrigin | TPDB.CPF.Proof.Type |
| Property | TPDB.Rainbow.Proof.Type |
| property | TPDB.Rainbow.Proof.Type |
| punctuate | TPDB.Pretty |