Remove all clauses from the current active module that have the same name and arity as specified by the predicate indicator.
Remove all clauses from a module that have the same name and arity as specified by the predicate indicator.
This predicate stops the execution of the top-level goal of the current prolog program.
This predicate stops the execution of the top-level goal of the current prolog program.
This arithmetic predicate returns the absolute value of the argument.
This arithmetic predicate calculates the arc cosines of the argument.
Determine which module is the active module of the clausebase.
The addition operator is used to add two parameters while evaluating an arithmetic expression.
Add an event callback from a source object to a Prolog clause.
Add an event callback from a source object to a destination object.
Calculate the age in years of something using a birthdate and another date.
The predicate always/2 executes it's first term as a goal. If the first goal succeeds then it always executes the second term, even if an exception is thrown.
Determine the directory of the program executing the current prolog program and match it with the argument.
Add a menu item to the 'Tools' menu of the main window of the IDE of Trinc-Prolog.
Match a specified argument of a compound term with another term. The integer value of the first variable indicates which argument of compound_term must be used for matching with term (the third argument). The index of the left-most argument is 1.
All these arithmetic operators compare the arithmetic values of the arguments (equal, not equal, greater than, greater than or equal, smaller than, smaller than or equal).
Add a clause as the first clause to the current active module. The clause to be added must have been declared dynamic.
Add a clause as the first clause to a module. The clause to be added must have been declared dynamic.
Add a clause, as the last clause, to the current active module. The clause to be added must have been declared dynamic.
Add a clause, as the last clause, to a module. The clause to be added must have been declared dynamic.
The assignment operator creates a copy of the right operand of the operator and assigns it to the left operand.
This arithmetic predicate calculates the arc sinus of the argument.
This predicate tests whether the current input stream has stream position end-of-stream or past-end-of-stream.
This predicate tests whether the specified input stream has stream position end-of-stream or past-end-of-stream.
This arithmetic predicate calculates the arc tangent of the argument.
This clause tests if it's argument is an atom or not.
An atom name and its corresponding base64 encoding are related.
An atom name and a list of one-character atoms are related.
An atom name and a list of atom codes corresponding to the one-character atoms are related.
An atom name and a list of integers are related.
This built-in predicate can (de)compress atoms.
This predicate can be used for atom concatenation and atom splitting.
This built-in predicate can encrypt and decrypt atoms.
Calculate the MD5 digest value, encode it with base64 and unify that atom with the argument.
An atom name and a list of integers are related.
Reset the current MD5 calculation.
Update the current MD5 calculation with the value of the argument.
Relate an atom and its number of characters.
This clause succeeds if it's argument is an atom or a floating point value or an integer number.
This predicate assembles a list solutions of a goal for each different instantiation of the free variables in a goal. The elements in the list are in order of solution. The goal bagof(Object, Goal, List) will produce a 'List' of all the objects 'Object' such that the 'Goal' is satisfied. See also findall/3 or setof/3.
Decode a base64 encoded file, the file to decode is the first argument, the destination file is the second argument.
Encode a file to base64 encoding, the file to encode is the first argument, the destination file is the second argument.
Arithmetic bit AND operator.
Arithmetic bit OR operator.
Arithmetic bit complement operator.
Shift the bits a number of positions to the left.
Shift the bits a number of positions to the right.
The predicate call/1 executes it's term as a goal. The goal can be the value of a variable.
The caret operator can only be used with the bagof/3, findall/3 and setof/3 predicates, it is used to indicate which variables are cleared before finding the next solution.
The catch predicate can catch (certain) exceptions generated by throw or other built-in predicates, it prototype is: catch(Catcher, RecoverGoal). The first argument is the term that is matched with an exception term, if the match is successful then the proving of RecoverGoal is started.
The catch predicate can catch (certain) exceptions generated by throw or other built-in predicates, it prototype is: catch(Goal, Catcher, RecoverGoal). The first argument is the goal that is executed as if call(Goal) is executed. Exception terms are matched with Catcher and if a successful match was performed the proving of the RecoverGoal is started.
This arithmetic predicate calculates the smallest integer not smaller than it's argument.
This predicate relates a character and its integer character code.
Updates the character conversion table used by inputting terms or during the preparation of Prolog texts.
This compile directive switches the check for singleton variables on or off.
Determine the class name of an instance of a class.
Selects clauses of the public user-defined predicates in the database.
This predicate clears the contents of the text console window of Trinc-Prolog.
This predicate clears the value of a variable.
This predicate closes a sink/source, if there is an error during closing of the stream then the stream is not closed.
This predicate closes a sink/source according to a list of close-options.
Closes all modules, except the 'system' module.
Close the console window.
This predicate closes a module that is present in the clausebase. The single argument is the internal name of the module.
This predicate closes all streams except the standard input and output stream.
Compress a file, the file to compress is the first argument, the destination file is the second argument.
This clause succeeds if the argument is a compound term. This is a term that has a functor and one or more arguments.
Concatenate List1 and List2 and unifiy the concatenated result with the parameter ResultList.
Concatenate two strings.
Conjunction operator.
This predicate opens a module, a file open dialog is displayed and if the user selects a file and it was successfully opened then the predicate succeeds, else it fails.
This predicate is used for for opening a file containing prolog text. The argument is a filename enclosed by double or single quotes, the file is opened in readwrite mode. This predicate is the same as open_module/1.
This predicate is used for for opening a file containing prolog text. Each module is identified by an unique name, this name must be supplied as the first argument of this predicate. The second argument is a filename enclosed by double or single quotes, the third argument is the open-mode of the module. The open-mode can be a single option or a list of options, the valid options are: read, readwrite and not_active. This predicate is the same as open_module/3.
Copy a file to another file.
Term duplication, unifies the second argument with a freshly renamed copy of the first.
This arithmetic predicate calculates the cosines of its argument.
This arithmetic predicate calculates the hyperbolic cosines of its argument.
This predicate creates a new empty module in the clausebase.
This predicate creates a new empty module in the clausebase, how the module is created can be specified by the second parameter.
Finds the elements of the character conversion table used by term input. The predicate must be used as: current_char_conversion(In_char, Out_char).
Determine the current working directory of the program executing the current prolog program and match it with the argument.
This built-in predicate identifies the current input stream.
Find one or more elements of the current operator table.
This built-in predicate identifies the current output stream.
Find the predicate indicators of the user-defined procedures (static or dynamic) in the database This predicate is re-executable as many times as there are clauses of which the predicate indicator matches with the specified indicator pattern argument.
This predicate can be used to query settings of the prolog processor.
The cut operator is used for pruning alternative solutions, unexplored alternative branches are not considered any more after a cut has been encountered.
This built-in predicate unifies the current system date with the parameters.
Calculate the day number of the specified Year, Month and Day. The DayNumber is equal to the number of days since 1-1 of that same Year.
Determine the day-of-week number for a specified DateNumber.
Convert the date number to a year, month and day specification.
Convert the date- and time numbers to Year, Month, Day, Hour, Min and Sec values.
Convert a time number back to Hour, Minutes and Seconds values
Decompress a file, the file to decompress is the first argument.
Decompress a file, the file to decompress is the first argument, the destination file is the second argument.
This built-in predicate attempts to decrypt a file, the file to decrypt is the first argument. The second argument is the name of the file to which the decrypted data is written to. The last argument is the key to use for decrypting.
Delete an element from the List (second parameter) and unify the result with the third parameter ResultList.
This string predicate removes part of a string. The first argument is the string to delete a part from. The second argument is the position to start deleting from, the first character in the string is position 1. The third argument is the number of characters to delete.
This built-in predicate unlinks a file, it exits if the file was deleted else it fails.
This operator can be used delete one or more instances of a class.
Delete an environment variable from the environment of the current process.
The directive discontiguous indicates during the loading of a prolog text that the user-defined procedures may be discontiguous. This directive has no effect in Trinc-Prolog as this is default behavior which cannot be altered.
The disjunction operator allows alternative execution of the two goals.
Floating point division, this arithmetic operator divides the left operand by the right operand, both operands are treated as floating-point values and if necessary converted.
Integer division, this arithmetic operator divides the left operand by the right operand, both operands are treated as integers and if necessary converted.
Declare clauses to be dynamic. A dynamic clause is a clause to which clauses can be asserted or retracted from.
Declare clauses in a module to be dynamic. A dynamic clause is a clause to which clauses can be asserted or retracted from.
This arithmetic predicate returns the value of the constant e.
Convert the date Year, Month and Day to a date number.
Convert the date and time specification to date- and time numbers.
Calculate the time number for the specified hour.
Calculate the time number for the specified hour and minute.
Calculate the time number for the specified hour, minute and second.
This built-in predicate attempts to encrypt a file, the file to decrypt is the first argument. The second argument is the key to use for encrypting the file. The last argument determines how the encryption key is stored and if the user that decrypts the file may store the key or must always enter the key.
This directive ensures that the Prolog text being prepared for execution will include the Prolog text denoted by the term argument. When multiple directives ensure_loaded(P_text) exist for the same Prolog text, that Prolog text is included only once.
This built-in predicate determines if a directory exists or not, it exits if the directory exists else it fails.
This built-in predicate determines if a file exists or not, it exits if the file exists else it fails.
This arithmetic predicate calculates the exponential e to it's argument.
This string predicate replaces each single quote character in the term argument with two single quote characters.
The exponentiation operation raises the left operand to the value of the right operand.
Declares predicates as exported. Exported predicates can be called by predicates that are inside other modules (if they are imported in that other module).
Declares predicates as exported for a specific module. Exported predicates can be called by predicates that are inside other modules (if they are imported in that other module).
This Prolog directive declares that one or more clauses is an external clause. The implementation of an external clause is contained in an external library.
This Prolog directive declares that one or more Trinc-Prolog classes is an external class. The implementation of an external class is contained in an external library.
Check if a external library is loaded into memory or not.
This predicate always fails, it forces the Trinc-Prolog to start failing the current branch.
This predicate collects all the solutions of a goal in a list according to a give pattern, findall(Object, Goal, List). The elements in the list are in order of solution. The difference with bagof/3 is that all the objects are collected regardless of (possibly) different solutions for variables in Goal. See also setof/3.
This arithmetic predicate converts it's argument to a floating point number. If this clause is not used in arithmetic expressions then it succeeds if it's argument is a floating point value, else not.
This arithmetic predicate determines the fractional part of it's floating point argument.
This arithmetic predicate determines the integer part of it's floating point argument.
This arithmetic predicate finds the largest integer not greater than the value of it's argument.
Any buffered information is flushed and written to the current output stream.
Flushes and writes buffered information to an output stream.
Calculate the daynumber for the SUNDAY of the first week of the specified year.
This predicate creates a frozen term. A copy of the term to freeze is made and that copy is frozen.
This predicate is true if Term is a compound term with a functor that is equal to the value of Name and an arity equal to value of Arity, if term is atomic then must Name be equal to the value of Term and Arity must be 0. The predicate can also be used to compose a new compound term with a specified functor and arity. If functor/3 is used to compose a compound term then mode specification is functor(-Term, +Name, +Arity).
Read a single character from the current input stream, the text stream is altered.
Read a single character from an input stream, the text stream is altered.
Read a single character from the current input stream, the text stream is altered. The integer ASCII value of the character is unified with the parameter.
Read a single character from an input stream, the text stream is altered. The integer ASCII value of the character is unified with the parameter.
Read a single byte from the current input stream, the binary stream is altered.
Read a single byte from an input stream, the binary stream is altered.
Read a single character from the current input stream, the text stream is altered.
Read a single character from an input stream, the text stream is altered.
Read a single character code from the current input stream, the text stream is altered.
Read a single character code from an input stream, the text stream is altered.
This built-in predicate determines the processor time since the program was started in milliseconds.
This built-in predicate retrieves the value for an existing environment variable and unifies that value with the second argument.
Get the instance of a class that matched with the 'term' (first) argument.
Compile the atomic first argument to a Prolog clause and unify the new clause with the second argument.
This predicate stops the execution of the top-level goal of the current prolog program.
This predicate stops the execution of the top-level goal of the current prolog program.
This built-in predicate is only available in the IDE version of Trinc-Prolog and it opens a file in the text editor of Trinc-Prolog.
This built-in predicate is only available in the IDE version of Trinc-Prolog and it opens a file in the text editor of Trinc-Prolog. The second and third arguments are line and line position numbers, it is possible to jump to a specific location in a text file.
If the left operand succeeds the right operand is executed, else not.
If the condition succeeds the choice points are cut and the 'Then' part is executed, the 'Else' part is ignored. If the condition fails the 'Else' part is executed and the 'Then' part is ignored.
Declares predicates as imported. Imported predicates can be called from inside other modules than the module in which it is implemented (if it has been exported from that module).
Declares predicates as imported for a specific module. Imported predicates can be called from inside other modules than the module in which it is implemented (if it has been exported from that module).
If F is a ground term designating a Prolog text then prolog text P1 which contains a directive include(F) is identical to a prolog text P2 obtained by replacing the directive include(F) in P1 by the prolog text denoted by F.
The arithmetic predicate index locates a substring within a string. The string which is searched is the first argument, the string to search for is the second argument and the third argument is the position from where the search is started. The string arguments may also be atoms.
This built-in predicate retrieves the next file from a directory, the directory name may contain wildcard arguments like ? and *. Per file a structure with file information is created and matched with the second argument.
A directive initialization(T) includes a term T' resulting from the transition of the well-formed term T in a set of goals which will be executed immediately after Prolog texts have been prepared for execution.
This string predicate inserts a string into another string. The first argument is the destination string, the second argument is the string to insert and the third argument is the position where the substring is inserted.
This predicate determines if it's argument is an instance of a Prolog class or not, if it is a class instance then the predicate is exited, else it fails.
This type testing predicate succeeds if it's argument is an integer value.
This arithmetic predicate returns a random integer value between 0 and the value of it's argument minus 1.
This operator forces prolog to evaluate it's two arguments as arithmetic expressions and unifies the first argument and the value of the second argument.
This built-in predicate checks if a callback has been registered between an event of an instance and a clause.
This built-in predicate checks if a callback has been registered between an event of the source instance and a method of the destination instance.
Check if the character is a alphabetic character.
Check if the character is a alphabetic or numeric character.
Check if the character is a ASCII character.
Check if the character is a control character.
Check if the character is a digit character.
Check if the character is a graphical character.
Check if the character is a lowercase character.
Check if the character is an uppercase character.
Check if the character is a whitespace character.
Force prolog to evaluate strings, the right operand is evaluated to a string and that value is assigned to the left operand.
Determine the largest number from a list of numbers.
Unify the Element parameter with the last element of a List.
Determine if the specified year is a leap year or not.
This arithmetic predicate determines the length of a string or atom.
Determine the number of elements in the List (first parameter) and unify that number with the second parameter Num.
Determine the number of days of a certain month.
The list operator is used to separate the head from the tail of a list.
With this built-in predicate it is possible to load an external library before a clause is called. If the library was successfully loaded or already loaded then the predicate is exited, if the library could not be loaded then the predicate fails.
This arithmetic predicate calculates the natural logarithm of it's argument.
This arithmetic predicate calculates the base 10 logarithm of it's argument.
This predicate inserts or searches for elements in the binary tree.
This built-in predicate creates a subdirectory.
This built-in predicate calculates an MD5 digest value for the specified file.
This predicate melts a frozen term. A copy of the term to melt is made and that copy is melted. The third parameter is the dictionary to use for binary tree lookup.
Determine if an element (first parameter) is a member of a list (second parameter).
This arithmetic operator calculates the modulo operation of both operands.
This predicate retrieves the module name, file name and open mode for one or more compiled modules, and unifies these values with the parameters.
This built-in predicate creates a unique module name (second parameter) from the specified filename (first parameter) that is a valid atom.
Calculate the date number for a Monday of a week in a year.
Calculate the date for a Monday of a week in a year.
This prolog directive specifies that the clauses for each user-defined procedure indicated by PI may have clauses in more than one Prolog text. The argument can also be a list of predicate indicators or a predicate indicator sequence.
This arithmetic operator multiplies two numbers.
This operator is used for creating new class instances.
This operator is used for creating new class instances.
This built-in predicate retrieves the next subdirectory from a directory. The second argument is matched with the next subdirectory.
This built-in predicate retrieves the next file from directory, the directory name may contain wildcard arguments like ? and *. The second argument is matched with the next file in the directory.
This built-in predicate retrieves the next file from directory, the directory name may contain wildcard arguments like ? and *. The second argument is matched with the next file in the directory. The third argument is a list of options for searching files.
Calculate the week number for the next week.
This predicate writes a newline character to the current output stream.
This predicate writes a newline character to the specified output stream.
This predicate succeeds if it's argument is not a variable or a variable with a value.
Negation by failure, if the goal succeeds then failing starts else succeeds.
Negation by failure, if the goal succeeds then failing starts else succeeds.
This Prolog compile directive declares that for one or more clauses only one solution will be found.
Calculate the number of weeks in a year.
This clause tests whether it's argument is a floating point value or an integer.
This predicate relates a number and the list of one-char atoms forming its writeable representation.
This predicate relates a number and the list of char codes whose form its writable representation.
This predicate relates a number and the list of integers whose form its writable representation.
This predicate numbers the variables in the term so that all variables will not be empty anymore. The number to start numbering from is the second parameter and the number of the last variable is matched with the third argument.
Give a new instance a different name than the name of the class which creates the instance.
Executes a goal exactly once, whatever may be the possible number of solutions.
This predicate can add, update or remove operators from the operator table used for inputting and outputting terms. The first argument will be the precedence of the operator (a number in the range [0, 1200]). Second argument defines the operator type, allowed values are: fx, fy, xfx, yfx, xfy, xf or yf. The third argument specifies the atom to be treated as an operator or a list of atoms.
This predicate opens a source/sink which is a text stream with the default options, these default options are: type(text), reposition(false), eof_action(error). The possible io_mode values are: 'read', 'write' or 'append'.
This predicate opens a source/sink which is a stream with specified open-options. The open-options is a list of stream options with no variables as an element.
This predicate opens a module, a file open dialog is displayed and if the user selects a file and it was successfully opened then the predicate succeeds, else it fails.
This predicate can be used for opening a file containing prolog text and loading it into memory (the text is compiled while loading). The argument is a filename enclosed by single or double quotes.
The predicate open_module is used for for opening a file containing prolog text. Each module is identified by an unique name, this name must be supplied as the first argument of this predicate. The second argument is a filename enclosed by single quotes, the third argument is the open-mode of the module. The open-mode can be a single option or a list of options, the valid options are: read, readwrite and not_active. See also consult/3.
The predicate open_module_search is the same as open_module/3 but instead of an absolute path to a file a relative path can be specified. The predicate uses the relative path to search for the file starting at the location of the Trinc-Prolog executable.
This predicate can be used for opening a standard module, just the filename and extension of the file to open must be specified. The file to open must be located in a folder called 'modules'.
Peek to the next byte in the current input stream, the binary stream is not altered.
Peek to the next byte in an input stream, the binary stream is not altered.
Peek to the next character in the current input stream, the text stream is not altered.
Peek to the next character in an input stream, the text stream is not altered.
Peek to the next character code in the current input stream, the text stream is not altered.
Peek to the next character code in an input stream, the text stream is not altered.
The arithmetic predicate pi returns the value of the arithmetic constant pi.
Determine if a list is a prefix of another List (second parameter).
Calculate the week number for the previous week.
This module directive makes all predicates that follow it private.
This predicate makes all predicates that are specified by the predicate indicator, a list of predicate indicators or a predicate indicator sequence are private, they are not accessible by predicates from another module.
Get the major version number of a component of the Prolog interpreter.
Get the major and minor version numbers of a component of the Prolog interpreter.
This predicate exits if the prolog program is being executed by the Trinc-Prolog DLL else it fails.
This predicate exits if the prolog program is being executed by the Trinc-Prolog IDE else it fails.
This predicate exits if the prolog program is being executed by the registered version of the Trinc-Prolog IDE else it fails.
This predicate exits if the prolog program is being executed by the trial version of the Trinc-Prolog IDE else it fails.
This predicate exits if the prolog program is being executed by the Trinc-Prolog Virtual Machine else it fails.
This module directive makes all predicates that follow it public.
This predicate makes all predicates that are specified by the predicate indicator, list of predicate indicators or a predicate indicator sequence public.
Write a character to the current output stream, the text stream is altered.
Write a character to an output stream, the text stream is altered.
Write a byte to the current output stream, the binary stream is altered.
Write a byte to an output stream, the binary stream is altered.
Write a character to the current output stream, the text stream is altered.
Write a character to an output stream, the text stream is altered.
Write a character that responds to the character code to the current output stream, the text stream is altered.
Write a character that responds to the character code to an output stream, the text stream is altered.
This built-in predicate sets the system date.
This built-in predicate sets the system time.
Sort a list (first argument) using the supplied term for comparing the elements in the unsorted list (third argument).
Reads from the current input stream a single term.
Reads from the input stream a single term.
Reads a string in the current language from a string resource file.
Reads a string in a specific language from a string resource file.
Reads from the current input stream a single term according to the values in the read-options list.
Reads from an input stream a single term according to the values in the read-options list.
This built-in predicate renames a source file to a destination file, the destination file may not already exist.
This arithmetic operator calculates the integer remainder of the integer division operation of both arguments.
This built-in predicate removes a callback that has been registered between the an event of a source instance and a clause.
This built-in predicate removes a callback that has been registered between an event of a source instance and a method of a destination instance.
This built-in predicate removes a directory, it exits if the directory was deleted else it fails.
Succeeds repeatedly and indefinitely.
This built-in string predicate replaces all occurences of the parameter 'string_to_replace' with 'string_replace_with' in the parameter 'string'.
Remove a clause from the active module, the next unifiable predicate that matches with the argument is removed. The predicate retract is re-executable.
Remove a clause from a module, the next unifiable predicate that matches with the argument is removed. The predicate retract is re-executable.
Reverse a list (first parameter) and unify the reversed list with the second parameter.
Calculate the month and day from a specified day number. The day number is the number of days since 1-1 of the same Year.
If the argument is a floating point value then it is rounded towards the nearest integer number.
If the argument is a floating point value then it is rounded with the specified precision.
This predicate saves a module to a file. The argument is the name of the module that must be saved.
Save a compiled module, the first argument is the name of the module and the second is the name of the file which must be created or overwritten.
Save a compiled module, the first argument is the name of the module and the second is the name of the file which must be created or overwritten. The third argument is a list with options.
Open a text stream, with the default options, and make it the current input stream.
Retrieve the name of the current input stream.
Close the current input stream.
Close the current input and output stream.
Send a message to a class instance or to a set of instances that match with a goal.
Send a message to a superclass of an instance. The right operand must be the method to send to the superclass.
Send a message to a specified superclass of an instance. The left operand must be the name of the superclass.
This predicate makes the module in which it resides the current module of the clausebase.
This predicate sets the active module of the clausebase.
Add a new environment variable to the current process or set a new value for an existing environment variable.
This predicate sets the current input stream.
This predicate sets the current output stream.
This predicate can be used for changing settings of the prolog processor.
This built-in predicate assigns a given position to the position property of a given stream, this is only possible if the property reposition(true) was specified while opening the stream, see open/4.
Change a property of a stream.
This predicate assembles an ordered list of solutions of a goal for each different instantiation of the free variables in a goal. The elements in the list are in order of "term less than" order and duplicates are removed.
This predicate assembles an ordered list of solutions of a goal for each different instantiation of the free variables in a goal. The elements in the list are in order of "term greater than" order and duplicates are removed.
This predicate displays the text console window of Trinc-Prolog. The console window can be used for writing character oriented programs. This predicate succeeds always.
If the value of the argument is negative then -1 is returned, if the value is 0 then 0 is returned, else 1 is returned.
This arithmetic predicate determines the sinus of it's value.
This arithmetic predicate determines the hyperbolic sinus of it's value.
Determine the smallest number from a list of numbers.
This predicate can split (compose) a filepath into four components; drive, directory, file and extension or it can create a filepath from these components.
Determine if a list is a sublist of another List (second parameter).
Copy a part of a string into another string. The first argument is the string to copy from, the second argument is an integer that determines from which character the copying starts, the index of the first character in a string is 1. The third argument is the number of characters to copy.
Determine if a list is a suffix of another List (second parameter).
Determine the sum of all numbers in a list.
Determine the sum of all integers in a list of integers.
This arithmetic predicate calculates the square root of a number.
Calculate the date number for a specified week of a year.
Enumerate all the pairs of open streams together with their properties. This predicate is re-executable as long as there are properties of streams still to enumerate.
Enumeration of subatoms of an atom with their position and length. This predicate is re-executable as long as there are subatoms of the atom to enumerate.
This arithmetic operator subtracts the right operand from the left operand.
This arithmetic operator reverses the sign of the number.
This predicate is exited if the Trinc-Prolog virtual machine is executing the Prolog program, else not.
This string predicate converts between a string and a list of character codes.
This arithmetic predicate determines the tangent of it's value.
This arithmetic predicate determines the hyperbolic tangent of it's value. If an overflow is detected then an evaluation_error(float_overflow) is thrown.
Open a text stream for writing and make it the current output stream.
Retrieve the name of the current output stream.
Close the current output stream.
The term-greater-than operator tests whether the second argument precedes the first argument.
The term greater-than-or-equal operator tests whether the second argument is identical to or precedes the first argument.
The term-identical operator tests whether both arguments are identical.
The term-less-than operator tests whether the first argument precedes the second argument.
The term less-than-or-equal operator tests whether the first argument is identical to or precedes the second argument.
The term-not-identical tests whether the arguments are different terms.
Unify the instance for which a method of a class is being executed and the value of the parameter.
This predicate retrieves the module name, file name and open mode for the module which contains the call to this_module/3 and unifies these values with the parameters.
The throw predicate raises an exception that can be catched by patterns of the catch clause. The single parameter of throw/1 must be an instantiated variable or a term. Proving the throw/1 predicate involves searching for a catcher for the exception. The entire prove tree is searched for a suitable catcher, if no catcher can be found an error message is generated and the execution of the program stops.
This built-in predicate unifies the current system time with the parameters.
This string predicate converts a string to a lowercase string.
This string predicate converts an expression to a valid Prolog string. A valid Prolog string is a string that can be used as input for a Prolog compiler.
This string predicate converts an expression to a string. This predicate can only be used in a string expression.
This string predicate converts an expression to a string, the second parameter determines if values of variables are used during conversion or not. The predicate can only be used in a string expression.
This string predicate converts a string to an uppercase string.
This string predicate removes trailing and leading whitespace characters.
This string predicate removes leading whitespace characters.
This string predicate removes trailing whitespace characters.
This predicate always succeeds.
This arithmetic predicate rounds it's argument by removing the fractional part, i.e. it rounds towards zero.
The unifiable operator tests whether two terms are not prolog unifiable.
The unify operator causes explicit unification of two prolog terms.
The unify with occurs check predicate unifies its two arguments. Except that after the unification has succeeded it fails if it finds infinite recursive values.
Create a unique name for an instance.
The univ operator succeeds if the right argument is a list L that contains the functor of the left operand of =.. followed by its arguments.
This built-in predicate unlinks a file, it exits if the file was deleted else it fails.
Remove an external library from memory.
This predicate converts the arithmetic expression in a string or atom to an arithmetic value.
This clause succeeds if it's argument is an uninstantiated variable else it fails.
This built-in predicate overwrites the content of a file with zero characters and then deletes (unlinks) a file.
This built-in predicate outputs a term to the current output stream in a form as defined by the write-options list: [numbervars(true), quoted(false), ignore_ops(false)].
This built-in predicate outputs a term to an output stream in a form as defined by the write-options list: [numbervars(true), quoted(false), ignore_ops(false)].
This built-in predicate outputs a term to the current output stream in a form as defined by the write-options list: [numbervars(false), quoted(true), ignore_ops(true)].
This built-in predicate outputs a term to an output stream in a form as defined by the write-options list: [numbervars(false), quoted(true), ignore_ops(true)].
This built-in predicate outputs a list of terms to the current output stream.
This built-in predicate outputs a list of terms to the specified output stream.
This built-in predicate outputs a list of terms to the current output stream. The body_term goal is called to separate each element in the term list.
This built-in predicate outputs a list of terms to the specified output stream. The body_term goal is called to separate each element in the term list.
This built-in predicate outputs a term to the current output stream in a form as defined by the specified write-options list.
This built-in predicate outputs a term to an output stream in a form as defined by the specified write-options list.
This built-in predicate outputs a term to the current output stream in a form as defined by the write-options list: [numbervars(true), quoted(true), ignore_ops(false)].
This built-in predicate outputs a term to an output stream in a form as defined by the write-options list: [numbervars(true), quoted(true), ignore_ops(false)].
The variable __FILE__ is replaced by the name of the current file being compiled.
The variable __HOST__ is replaced by the hostname of the computer.
The variable __FILE__ is replaced by the number of the current line being compiled.
The variable __MODULE__ is replaced by the name of the current module being compiled.