Built-In Predicates

Not every standard built-in predicate found in most Prolog evaluators are avaliable in DyALog and will not be because DyALog is mostly devoted to build parsers.

• Input / Output:
• Arithmetic:
• Comparison of Terms:
• Control:
• Error and Exception Handling:
• Information about the State of the Program:
• Meta-Logic:
• Modification of the Program:
• Internal Database:
• All Solutions:
• Debugging:
• Execution Profiling:
• Definite Clause Grammars:
• Miscellaneous: