|
|
toInt(term)
Convert an integer term to its integer value. |
|
|
|
|
toReal(term)
Convert a real term to its real value. |
|
|
|
|
toStr(term)
Convert a string term to its string value. |
|
|
|
|
toLit(term)
Convert a literal term to its value. |
|
|
|
|
toList(term)
Convert a list term to a list of terms. |
|
|
|
|
toObj(term)
Recursively convert literal and list terms to the corresponding
Python objects. |
|
|