Qu-Prolog 10.8 Reference Manual - Notation

# 5 Notation

Below is a summary of the notations used to describe the built-in predicates.

AbstractType

> An abstract Qu-Prolog type.

Action

> An atom specifying an action.

Argument

> A term which is an argument of a compound term.

Arity

> An integer giving the arity of a predicate or a compound term.

Associativity

> An atom giving the associativity of an operator.

Atom

> An atom.

Atomic

> An atom or a number.

AtomList

> A list of atoms.

Body

> The body of a clause or a term.

Boolean

> One of the atoms `true` or `false`.

Character

> An atom denoting a single character.

CharCode

> An integer giving the character code of a character.

CharCodeList

> A list of character codes.

Clause

> A clause.

Closed

> A closed (proper) list.

Data

> A compound term describing the exception.

DebugState

> A compound term describing the state of the debugger.

DebugArg

> An atom standing for an argument of a debugger command.

DebugCmd

> A character (atom) standing for a debugger command typed by the user.

DelayList

> A list of delayed problems.

DistinctList

> A list object variables.

Expression

> An expression.

File

> An atom giving the name of a file.

Files

> A list of files separated by commas.

Float

> A double precision float.

ForeignFn

> An atom denoting the name of the foreign function.

ForeignFns

> A list of atoms denoting the names of the foreign functions.

ForeignSpec

> A predicate describing the type and mode of its arguments.

Functor

> The functor of a compound term.

Goal

> An atom or a compound term.

Head

> The head of a clause.

HigherBody

> An atom or a compound term. Extra arguments will be added to the term to form a body.

HigherGoal

> An atom or a compound term. Extra arguments will be added to the term to form a goal.

HigherHead

> An atom or a compound term. Extra arguments will be added to the term to form a head.

Identity

> An identity of an operation (goal).

Integer

> An integer.

Language

> The name of the foreign programming language.

Library

> An atom naming a library.

Libraries

> A list of atoms giving the names of the libraries.

Limit

> An integer.

List

> A list.

Location

> An integer.

Mode

> An atom or a list of atoms.

Message

> A list of terms.

N

> An integer.

Name

> An atom.

ObjectFile

> An atom giving the name of the object file.

ObjectFiles

> A list of atoms or an atom giving the names of the object files.

ObVar

> An object variable.

OnOff

> An atom `on` or an atom `off`.

Open

> An open (improper) list.

Operator

> An atom describing a binary relationship.

OptionList

> A list of options, which depend on individual predicate.

Permission

> An integer encoding the access permission of a file.

Port

> An atom naming a port of the debugger.

Precedence

> An integer giving the precedence of an operator.

PredicateList

> A list of "predicate/arity" pairs.

PredicateMode

> A list of mode declarations.

PredicateName

> An atom which gives the name of a predicate.

Property

> An atom or a compound term describing a property.

Quantified

> A quantified term.

Quantifier

> The quantifier of a quantified term.

Reference

> An integer, which is like a pointer.

Result

> The result of an operation (goal).

Rule

> A Definite Clause Grammars rule.

Signal

> An atom.

Stream

> A compound term holding the information about a stream.

StringMode

> An atom or a compound term describing the mode of operation and the string to be parsed.

Substituted

> A term with a substitution.

Substitutions

> A list of lists representing a sequence of substitutions.

Table

> An atom naming a table.

Template

> A compound term.

Term

> Any Qu-Prolog term.

Type

> An atom describing the type of an argument.

Variable

> A meta or object variable.

VariableNames

> A list of `Variable=Name` pairs.

VarList

> A list of variables.

Table of Contents | Getting Started | Syntax | Built-in Predicates | Standard Operators | Notation | Index