alice.tuprolog.lib
Class IOLibrary

java.lang.Object
  alice.tuprolog.Library
      alice.tuprolog.lib.IOLibrary

All Implemented Interfaces:

java.io.Serializable

public class IOLibrary

extends Library

This class provides basic I/O predicates. Library/Theory Dependency: BasicLibrary

See Also:

Serialized Form

Constructor Summary

IOLibrary()

Method Summary

boolean	get_1(Term arg0)
boolean	get0_1(Term arg0)
java.lang.String	getTheory() Gets the theory provided with the library Empty theory is provided by default.
boolean	nl_0()
boolean	print_1(Term arg0)
boolean	put_1(Struct arg0)
boolean	rand_float_1(Term t)
boolean	rand_int_2(Number arg, Term num)
boolean	read_1(Term arg0)
boolean	see_1(Struct arg0)
boolean	seeing_1(Term t)
boolean	seen_0()
boolean	tab_1(Number arg)
boolean	tell_1(Struct arg0)
boolean	telling_1(Term arg0)
boolean	text_from_file_2(Struct fileName, Term text) reads a source text from a file.
boolean	told_0()
boolean	write_1(Term arg0)

Methods inherited from class alice.tuprolog.Library

dismiss, getEngine, getFunctors, getLinkedMethod, getName, getOperatorSynonymMap, getPredicates, onSolveBegin, onSolveEnd

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

IOLibrary

public IOLibrary()

Method Detail

see_1

public boolean see_1(Struct arg0)
              throws java.lang.Exception

Throws:

java.lang.Exception

seen_0

public boolean seen_0()
               throws java.lang.Exception

Throws:

java.lang.Exception

seeing_1

public boolean seeing_1(Term t)

tell_1

public boolean tell_1(Struct arg0)
               throws java.lang.Exception

Throws:

java.lang.Exception

told_0

public boolean told_0()
               throws java.lang.Exception

Throws:

java.lang.Exception

telling_1

public boolean telling_1(Term arg0)

put_1

public boolean put_1(Struct arg0)
              throws java.lang.Exception

Throws:

java.lang.Exception

get0_1

public boolean get0_1(Term arg0)
               throws java.lang.Exception

Throws:

java.lang.Exception

get_1

public boolean get_1(Term arg0)
              throws java.lang.Exception

Throws:

java.lang.Exception

tab_1

public boolean tab_1(Number arg)
              throws java.lang.Exception

Throws:

java.lang.Exception

read_1

public boolean read_1(Term arg0)
               throws java.lang.Exception

Throws:

java.lang.Exception

write_1

public boolean write_1(Term arg0)
                throws java.lang.Exception

Throws:

java.lang.Exception

print_1

public boolean print_1(Term arg0)
                throws java.lang.Exception

Throws:

java.lang.Exception

nl_0

public boolean nl_0()
             throws java.lang.Exception

Throws:

java.lang.Exception

text_from_file_2

public boolean text_from_file_2(Struct fileName,
                                Term text)

reads a source text from a file.

It's useful used with agent predicate: text_from_file(File,Source), agent(Source).

rand_float_1

public boolean rand_float_1(Term t)

rand_int_2

public boolean rand_int_2(Number arg,
                          Term num)

getTheory

public java.lang.String getTheory()

Description copied from class: Library

Gets the theory provided with the library Empty theory is provided by default.

Overrides:

getTheory in class Library