03.06.2013 Views

Turbo Prolog

Turbo Prolog

Turbo Prolog

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!