A term is the internal representation of an Epilog term, i.e. an expression that is intended to represent an object in the application domain of a program (such as a person or building). Compare to sentence, which is the internal representation of an Epilog sentence, i.e. an expression that is intended to represent a condition that is true or false.
|