public final class Write extends AbstractSingleResultPredicate
write(X) - writes a term to the output stream.
Writes the term X to the current output stream. write takes account of current operator
declarations - thus an infix operator will be printed out between its arguments. write represents lists
as a comma separated sequence of elements enclosed in square brackets.
Succeeds only once.
writeln(X) writes the term X to the current output stream, followed by a new line
character. writeln(X) can be used as an alternative to write(X), nl.
toString(Term)| Modifier and Type | Method and Description |
|---|---|
protected boolean |
evaluate(Term arg) |
static Write |
write() |
static Write |
writeln() |
evaluate, evaluate, evaluate, evaluate, evaluate, getArithmeticOperators, getFileHandles, getKnowledgeBase, getOperands, getPredicate, getPredicates, getProjogListeners, getSpyPoints, getTermFormatter, init, isRetryable, setKnowledgeBaseclone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitisAlwaysCutOnBacktrackpublic static Write write()
public static Write writeln()
protected boolean evaluate(Term arg)
evaluate in class AbstractSingleResultPredicateCopyright © 2024. All rights reserved.