[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

Function Index: H -- P

Jump to:   *   +   -   /   2   <   =   >  
A   B   C   D   E   F   G   H   I   L   M   N   O   P   R   S   T   U   V   W  

Index Entry Section

H
help8. Commands
HOLDS10. Built-In Relations

I
IMAGE-URL10. Built-In Relations
in-dialect11. Miscellaneous
in-module8. Commands
inconsistent-truth-value?11. Miscellaneous
inconsistent?11. Miscellaneous
INEQUALITY10. Built-In Relations
initialize9.1 API Functions
initialize-kernel-kb11. Miscellaneous
insert-at11. Miscellaneous
INSTANCE-OF10. Built-In Relations
INVERSE10. Built-In Relations
invert-truth-value11. Miscellaneous
IRREFLEXIVE10. Built-In Relations
is-a9.1 API Functions
is-default9.1 API Functions
is-enumerated-collection9.1 API Functions
is-enumerated-list9.1 API Functions
is-enumerated-set9.1 API Functions
is-false9.1 API Functions
is-float9.1 API Functions
is-integer9.1 API Functions
is-logic-object9.1 API Functions
is-number9.1 API Functions
is-strict9.1 API Functions
is-string9.1 API Functions
is-subrelation9.1 API Functions
is-true9.1 API Functions
is-true-binary-proposition9.1 API Functions
is-true-proposition9.1 API Functions
is-true-proposition111. Miscellaneous
is-true-unary-proposition9.1 API Functions
is-unknown9.1 API Functions
ISSUE10. Built-In Relations
IST10. Built-In Relations
iterator-to-pl-iterator9.1 API Functions

L
length9.1 API Functions
LENGTH10. Built-In Relations
length11. Miscellaneous
LENGTH-OF-LIST10. Built-In Relations
LEXEME10. Built-In Relations
LIST10. Built-In Relations
list-features11. Miscellaneous
list-to-pl-iterator9.1 API Functions
list-unclassified-instances11. Miscellaneous
list-unclassified-relations11. Miscellaneous
list-undefined-relations11. Miscellaneous
listify11. Miscellaneous
listify11. Miscellaneous
LISTOF10. Built-In Relations
load8. Commands
load9.1 API Functions
load-file8. Commands
load-native-stream9.1 API Functions
load-stream9.1 API Functions
load-stream11. Miscellaneous
logic-class?11. Miscellaneous
logic-form-less?11. Miscellaneous
logic-module?11. Miscellaneous
lookup11. Miscellaneous

M
main11. Miscellaneous
MAXIMUM-VALUE10. Built-In Relations
MEAN-VALUE10. Built-In Relations
MEDIAN-VALUE10. Built-In Relations
MEMBER-OF10. Built-In Relations
MINIMUM-VALUE10. Built-In Relations
MUTUALLY-DISJOINT-COLLECTION10. Built-In Relations

N
natural-deduction-mode?11. Miscellaneous
next?9.1 API Functions
non-empty?11. Miscellaneous
non-empty?11. Miscellaneous
nth11. Miscellaneous
NTH-DOMAIN10. Built-In Relations
NUMERIC-MAXIMUM10. Built-In Relations
NUMERIC-MINIMUM10. Built-In Relations
NUMERIC-SET10. Built-In Relations

O
object-name11. Miscellaneous
object-name-string11. Miscellaneous
object-surrogate11. Miscellaneous
object-surrogate-setter11. Miscellaneous
object-to-float9.1 API Functions
object-to-integer9.1 API Functions
object-to-parsable-string9.1 API Functions
object-to-string9.1 API Functions
ORDERED10. Built-In Relations

P
PHRASE10. Built-In Relations
pop11. Miscellaneous
powerloom11. Miscellaneous
presume8. Commands
pretty-print-logical-form11. Miscellaneous
print-array11. Miscellaneous
print-array11. Miscellaneous
print-extension-sizes11. Miscellaneous
print-features8. Commands
print-goal-stack11. Miscellaneous
print-logical-form11. Miscellaneous
print-logical-form-in-dialect11. Miscellaneous
print-rules8. Commands
print-rules9.1 API Functions
print-unformatted-logical-form11. Miscellaneous
print-whynot-justification11. Miscellaneous
process-definitions8. Commands
PROJECT-COLUMN10. Built-In Relations
propagate-constraints8. Commands
PROPER-SUBRELATION10. Built-In Relations
PROPER-SUPERRELATION10. Built-In Relations

Jump to:   *   +   -   /   2   <   =   >  
A   B   C   D   E   F   G   H   I   L   M   N   O   P   R   S   T   U   V   W  


[ << ] [ >> ]           [Top] [Contents] [Index] [ ? ]

This document was generated by Hans Chalupsky on October, 29 2003 using texi2html