1
Download SICStus Prolog User`s Manual
Transcript
Chapter 2: Glossary 9 compactcode Virtual code representation of compiled code. A reasonable compromise between performance and space requirement. A valid value for the compiling Prolog flag. compile To load a program (or a portion thereof) into Prolog through the compiler. Compiled code runs more quickly than interpreted code, but you cannot debug compiled code in as much detail as interpreted code. compound term A compound term is a name which is an atom together with one or more arguments. For example, in the term father(X), father is the name, and X is the first and only argument. The argument to a compound term can be another compound term, as in father(father(X)). Compound terms are recognized by the built-in predicate compound/1. console-based executable An executable which inherits the standard streams from the process that invoked it, e.g. a UNIX shell or a DOS-prompt. constant An integer (for example: 1, 20, -10), a floating-point number (for example: 12.35), or an atom. Constants are recognized by the built-in predicate atomic/1. consult To load a program (or a portion thereof) into Prolog through the interpreter. Interpreted code runs more slowly than compiled code, but you can debug interpreted code in more detail than compiled code. creep What the debugger does in trace mode, also known as single-stepping. It goes to the next port of a procedure box and prints the goal, then prompts you for input. See Section 7.2 [Basic Debug], page 73. cursor The point on the screen at which typed characters appear. This is usually highlighted by a line or rectangle the size of one space, which may or may not blink. cut Written as !. A built-in predicate that succeeds when encountered; if backtracking should later return to the cut, the goal that matched the head of the clause containing the cut fails immediately. database The Prolog database comprises all of the clauses which have been loaded or asserted into the Prolog system or which have been asserted, except those clauses which have been retracted or abolished. database reference A compound term denoting a unique reference to a dynamic clause. debug A mode of program execution in which the debugger stops to print the current goal only at procedures which have spypoints set on them (see leap). debugcode Interpreted representation of compiled code. A valid value for the compiling Prolog flag.
