Term Writing in Prolog.

%! More...

Detailed Description

%!

---

Class Documentation

write_term/2

class write_term/2

write_term(+ T, + Opts)

defined in the ISO standard

Displays term T on the current output stream, according to the following options:

• quoted(+ Bool) is iso If true, quote atoms if this would be necessary for the atom to be recognized as an atom by YAP's parser The default value is false
• ignore_ops(+ Bool) is iso If true, ignore operator declarations when writing the term The default value is false
• numbervars(+ Bool) is iso If true, output terms of the form $VAR(N), where N is an integer, as a sequence of capital letters The default value is false
• portrayed(+ Bool) If true, use portray/1 to portray bound terms The default value is false
• portray(+ Bool) If true, use portray/1 to portray bound terms The default value is false
• max_depth(+ Depth) If Depth is a positive integer, use Depth as the maximum depth to portray a term The default is 0, that is, unlimited depth
• priority(+ Piority) If Priority is a positive integer smaller than 1200, give the context priority The default is 1200
• cycles(+ Bool) Do not loop in rational trees (default)

write_term/3

class write_term/3

write_term(+ S, + T, + Opts)

defined in the ISO standard

Displays term T on the current output stream, according to the same options used by write_term/3

write/2

class write/2

write(+ S, T)

defined in the ISO standard

vWrites term T to stream S instead of to the current output stream Singletons variables are written as underscores

defined in the ISO standard

Writes term T to the current output stream Singletons variables are written as underscores v

write_canonical/1

class write_canonical/1

write_canonical(+ T)

defined in the ISO standard

Displays term T on the current output stream Atoms are quoted when necessary, and operators are ignored, that is, the term is written in standard parenthesized prefix notation Singles are written as underscores, and loops are broken

write_canonical/2

class write_canonical/2

write_canonical(+ S,+ T)

defined in the ISO standard

Displays term T on the stream S Atoms are quoted when necessary, and operators are ignored

writeq/2

class writeq/2

writeq(+ S, ? T)

defined in the ISO standard

As writeq/1 , but the output is sent to the stream S

print/2

class print/2

print(+ S, T)

Prints term T to the stream S instead of to the current output stream

display/1

class display/1

display(+ T)

Displays term T on the current output stream All Prolog terms are written in standard parenthesized prefix notation

display/2

class display/2

display(+ S, T)

Like display/1 , but using stream S to display the term

Macro Definition Documentation

PAR

#define PAR	(		x,
			y,
			z
	)		{ x, y, z }

Definition at line 274 of file writeterm.c.

strncat

#define strncat	(		X,
			Y,
			Z
	)		strcat(X, Y)

Definition at line 84 of file writeterm.c.

strncpy

#define strncpy	(		X,
			Y,
			Z
	)		strcpy(X, Y)

Definition at line 87 of file writeterm.c.

SYSTEM_STAT

#define SYSTEM_STAT   stat

Definition at line 147 of file writeterm.c.

Function Documentation

Yap_InitWriteTPreds()

void Yap_InitWriteTPreds

(

void

)

Definition at line 730 of file writeterm.c.

Yap_TermToBuffer()

char * Yap_TermToBuffer	(	Term	t,
		int	flags
	)

Definition at line 711 of file writeterm.c.

Yap_WriteTerm()

bool Yap_WriteTerm	(	int	output_stream,
		Term	t,
		Term opts	USES_REGS
	)

Definition at line 283 of file writeterm.c.

Macros
#define	strncat(X, Y, Z)   strcat(X, Y)
#define	strncpy(X, Y, Z)   strcpy(X, Y)
#define	SYSTEM_STAT   stat
#define	PAR(x, y, z)    { x, y, z }

Functions
bool	Yap_WriteTerm (int output_stream, Term t, Term opts USES_REGS)
char *	Yap_TermToBuffer (Term t, int flags)
void	Yap_InitWriteTPreds (void)