The Built-in Predicates of ECLiPSe

This chapter provides a summary of each of the built-in predicates available in ECLiPSe . The built-ins are listed in alphabetical order within each type of built-in. The information provided here is only a one-line description of each built-in. A more complete specification can be found by referring to the ECLiPSe Prolog Built-in Specification Manual (or BIP Book), [22].

• Logic and Control Built-ins
• Database Built-ins
• Internal Indexed Database Built-ins
• Type Testing Built-ins
• Term Comparison Built-ins
• Term Manipulation Built-ins
• All Solutions Built-ins
• Arithmetic Built-ins
• Strings and Atoms Built-ins
• Module handling Built-ins
• Stream I/O Built-ins
• Character I/O Built-ins
• Term I/O Built-ins
• Event Handling Built-ins
• Debugging Built-ins
• Arrays and Global Variable Built-ins
• Coroutining Built-ins
• External Interface Built-ins
• Prolog Environment Built-ins
• Compiler Directives
• Operating System Built-Ins
• Lists Library Predicates
• Sorts Library predicates Built-ins
• String Library Predicates