Turbo Prolog
Turbo Prolog
Turbo Prolog
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
f - Reals in fixed decimal notation (default).<br />
e - Reals in exponential notation.<br />
g - Use the shortest format.<br />
COMPILER DIRECTIVES<br />
check_cmpio<br />
check_de term<br />
code=nnnnn<br />
diagnostics<br />
include "filename"<br />
nobreak<br />
nowarnings<br />
shorttrace<br />
shorttrace p1, p2<br />
trace<br />
trace p1,p2, ..<br />
trail= nnn<br />
Table 12-6 Compiler Directives<br />
Check for use of compound flow patterns.<br />
Warn about the presence of nondeterministic clauses.<br />
Size of the code array in paragraphs (I paragraph is 16 bytes).<br />
Print compiler diagnostics.<br />
Include a <strong>Turbo</strong> <strong>Prolog</strong> file during compilation.<br />
Predicates should not scan the keyboard to see if @!fiJ8§Fl<br />
has been pressed.<br />
Suppress warnings.<br />
Trace all predicates, but without destroying any system optimization.<br />
shorttrace predicates p /,p2 only.<br />
Display complete trace information by removing various<br />
optimizations carried out by the compiler. For example, trace<br />
stops automatic elimination of tail recursion so that all<br />
RETURNs from predicate calls can be inspected.<br />
Trace predicates p /,p2, .. only.<br />
Size of the trail in bytes.<br />
BNF SYNTAX FOR TURBO PROLOG<br />
The following BNF notation is used to define <strong>Turbo</strong> <strong>Prolog</strong> syntax:<br />
<br />
{ X } *<br />
[Xl<br />
X!Y<br />
Names<br />
Names of language constructs are surrounded by u(" and U)".<br />
Represents zero or more repetitions of X. ,<br />
Means that X is optional.<br />
Indicates that X and Y are alternatives and that either X or Y must be used.<br />
A <strong>Turbo</strong> <strong>Prolog</strong> (name) is defined by<br />
::= «letter> ! _ ) { ! } *<br />
196 <strong>Turbo</strong> <strong>Prolog</strong> Owner's Handbook