C-Prolog compatibility predicates

The following predicates are available in the compatibility package. They are exported from the module cprolog and automatically imported by use_module/1 or lib/1.

consult/1

reconsult/1

    The above two are implemented by simply calling the ECLiPSe predicate compile/1. By default   all compiled procedures are static. Procedures on which assert/1 etc. will be applied,   have to be declared as dynamic using dynamic/1.   The notation [-File] for reconsult/1 is not supported.

current_functor/2

 

current_predicate/2

 

db_reference/1

 

erased/1

 

get/1

  This is similar to the ECLiPSe predicate get/1, but control characters and blank spaces are skipped.

get0/1

 

fileerrors/0

 

heapused/1

  Needed for evaluating heapused in arithmetic expressions. It returns the sum of code heap and general heap usage.

instance/2

  Note that this compatibility predicate redefines the ECLiPSe builtin of the same name but different meaning (which is no longer available in C-Prolog mode). It is implemented using the ECLiPSe predicate referenced_record/2.

leash/1

The ECLiPSe leash built-in provides more functionality than the C-Prolog equivalent.

log/2

 

log10/2

  These are not predicates in C-Prolog (arithmetic functors), but in ECLiPSe

they are needed for evaluating log/1 and log10/1 in arithmetic expressions.

nofileerrors/0

 

primitive/1

 

prompt/2

 

put/1

  This is similar to the ECLiPSe predicate put/1, but it first applies arithmetic evaluation to its argument.

sh/0

 

see/1

 

seeing/1

 

seen/0

 

skip/1

 

tab/1

 

tell/1

 

telling/1

 

told/0

  The predicates of the see/tell family are defined in the cio library and can also be loaded independently.

ttyput/1

corresponds to the DEC-10 Prolog predicate