Infix operator "in" (in-test and in-iterator).
#Backtrack synonym code#
Performs a run-time error with the specified return code ErrorNumber and sets the internal error information.Ĭreates the list of terms of the universal type any from the EllipsisBlock.ĭeclares/restricts the type of a variable or value. Returns precision of the specified floating-point domain. This compile time predicate returns the string ConstantName that represents the name of the current constant. Returns the result of the variables' comparison. This compile time predicate returns the string ClassName that represents the name of the current interface or class. Test whether the specified variable is bound to a value. Insert a fact at the end of the matched internal facts database. Insert a fact at the beginning of the matched internal facts database.
Insert the specified fact at the end of the matched internal facts database. At the runtime the 1st field of this structure contains the address of the corresponding domain descriptor and the 2nd field contains either zero (for class facts sections) or pointer to an object (i.e. The compiler automatically builds the corresponding compound terms from such constants whenever it's in need. Wide zero terminated sequence of wide characters.įactDB = struct ( named_internal_database_domain, object ).Īll user-defined names of facts sections are the constants of this domain. Currently no literals are allowed for this domain. Only assignment and comparison for equality (in the lexicographical sense) operations are applied to the values of this domain. It is implemented as a pointer to the zero terminated array of ASCII characters. The double quotes in the string can be represented by the escape-sequence only (the single quote can be represented both with an escape-sequence and a graphical symbol).Ī built-in domain who's elements are sequences of (one-byte) ASCII-characters.
#Backtrack synonym 64 Bit#
Unsigned integer with platform size (32 bit in a 32 bit program 64 bit in a 64 bit program).Ī handle (e.g. Signed integer with platform size (32 bit in a 32 bit program 64 bit in a 64 bit program). Zero-terminated sequence of ASCII (one-byte) characters. Wide zero-terminated sequence of wide characters. Platform_name : string = "Windows 64bits". Platform_name : string = "Windows 32bits". Here YYYY means the number of a year, MM means a month number, and DD means a day number. The difference can be seen in this table:ĭefines the maximal value of "digits", which is supported by the compiler.Ī special constant of a handle type with the zero value.Ī special constant of a handle type with the invalid (-1) value.ĭefines the digital capacity of compilation platform.Ĭompilation date. rem is the remainder corresponding to quot.įor positive results div and quot have same functionality.
#Backtrack synonym mod#
mod is the remainder corresponding to div. Operands and result may be converted using ordinary subtype rules.ĭiv and quot are different integral division operators. All other operators are left associative.Īll binary operators takes two arguments of same base type and returns a value of that base type.The power operator ^ and otherwise are right associative.All division and multiplication operators have same precedence.The operators are listed from highest to lowest precedence.The quotient and remainder of an integral division rounded towards zero The quotient and remainder of an integral division rounded towards minus infinity 4.9.2 Rules of Checked Explicit Conversions.Notice that the clause variable This is automatically defined in the clauses for object predicates. To disambiguate from other entities with the same name you can use " ::" before names of built-in items. constructions) and in implementations (which are supported for runtime).Įach compilation unit implicitly contains the declaration of this embedded hidden class. These built-in constants, domains, and predicates can be used both during compilation (for example, in # if. Visual Prolog contains an embedded hidden class, which provides declarations and implementations to all built-in constants, domains, and predicates.
0 kommentar(er)
