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 |