Prolog Environment Built-ins

The following predicates control the Prolog environment.

ECLiPSe Prolog Environment built-in.

abolish_op(+Name, +Associativity)

Remove the declaration of the visible operator +Name of associativity Associativity.  

abort

The current computation is aborted and control is returned to the top level.  

break

A new invocation of the top level loop is called as a subgoal.  

current_atom(?Atom)

Succeeds if Atom is an atom in the system.  

current_compiled_file(?File, ?Time, ?Module)

Succeeds if File is a file that has been compiled into the system.  

current_functor(?PredSpec)

Succeeds if PredSpec is a functor known to the system.  

current_macro(?TermClass, ?TransPred, ?Options, ?Module)

Succeeds if TermClass is a macro with the transformation predicate TransPred defined in module Module and flags Options.  

current_op(?Precedence, ?Associativity, ?Name)

Succeeds if Name is a visible operator with precedence Precedence and associativity Associativity.  

define_macro(+TermClass, +TransPred, +Options)

Defines a macro transformation for the functor or type specified by TermClass. The transformation predicate is TransPred and Options is a list of options.  

demo

Starts the ECLiPSe demonstration programs.  

env

Prints information about the current ECLiPSe environment on the current output.  

erase_macro(+TransTerm)

Erases the macro definition for TransTerm done in the current module  

garbage_collect

Request an immediate garbage collection.  

get_chtab(+Char, ?Class)

Succeeds if the lexical class of character Char is Class.  

get_flag(?Flag, ?Value)

Succeeds if the flag Flag has the value Value.  

get_statistics(+PredSpec, ?Counters)

Retrieve the statistics counters of the predicate PredSpec into the list Counters.  

global_op(+Precedence, +Associativity, +Name)

Defines the global operator(s) in Name to have precedence Precedence and associativity Associativity. If Precedence is 0 then the operator definition is removed.  

help(+PredSpec)

Prints help information on the specified built-ins in PredSpec on the current output.  

help

Prints general help information on the current output.  

make

Recompile all files that have been modified since their last compilation.  

op(+Precedence, +Associativity, +Name)

Defines the operator(s) Name with precedence Precedence and associativity Associativity locally in the current module. Defining a local operator of precedence 0 hides a global operator of the same associativity group (postfix, infix or prefix).  

phrase(+Grammar, ?List)

Succeeds if List unifies with a list from the specified grammar Grammar.  

phrase(+Grammar, ?Tokens, ?Remainder)

Succeeds if Tokens can be parsed as part of the grammar defined in Grammar and Remainder contains any remaining terms in Tokens.  

pred(+PredSpec)

The flags of the predicate described by PredSpec are printed out on the current output.  

print_modes

Prints the results of the mode statistics as a mode declaration.  

print_statistics

Prints the results of the profiling execution.  

profile(+Goal)

Profile the goal and print the times spent in each predicate.  

profile(+Goal, +Flags)

Profile the goal and print the times spent in each predicate.  

restore(+File)

Restores the execution state or program state saved in the file File into memory  

save(+File)

Saves the state of the current execution state in File  

save_program(+File)

Saves the state of the current program (code and global data) in File  

set_chtab(+Char, +Class)

Sets the lexical class of character Char to class Class, this provides an interface to ECLiPSe 's lexical analyser.  

set_flag(+Flag, +Value)

Succeeds if the flag Flag is successfully set to the value Value.  

set_statistics(+PredSpec, +Counters)

Initialise the statistics counters of the predicate PredSpec with the values from the list Counters.  

statistics(?Keyword, ?Value)

Succeeds if the statistics item Keyword has value Value.  

statistics

Prints information about resource usage and garbage collection.