Go to the first, previous, next, last section, table of contents.

Concept Definition Index

Jump to: & - . - a - b - c - d - e - f - g - h - i - j - k - l - m - n - o - p - q - r - s - t - u - v - w - x

&

&-Prolog, &-Prolog

.

.ciaorc, .ciaorc

a

abstract methods

acceptable modes

acknowledgments

active module, active module

addmodule and pred(N) meta-arguments

answer variable

assertion body syntax, assertion body syntax, assertion body syntax, assertion body syntax

assertion language

attributed variables

Austrian Research Institute for AI

auto-documenter command args, setting

auto-documenter command, setting

auto-documenter default format, setting

auto-documenter lib path, setting

auto-documenter working dir, setting

auto-indentation

b

binary directory

box-type debugger

Bristol University

bugs, reporting

c

calls assertion, calls assertion

certainty factor

CGI executables

change, comment

changing the executables used

check assertion

checking the assertions

Christian Holzbauer

Ciao basic builtins, Ciao basic builtins

Ciao preprocessor, Ciao preprocessor, Ciao preprocessor

ciao, global description

Ciao, why this name

Ciao/Prolog mode version

client installation

coloring, syntax

comment assertion

comments, machine readable

comp assertion, comp assertion

compatibility properties

compiler, standalone

compiling, compiling

compiling programs, compiling programs, compiling programs, compiling programs, compiling programs, compiling programs

compiling, from command line

compiling, Win32

computational cost

concurrent attribute

concurrent predicate

concurrent predicates

configuration file

contributed libraries, contributed libraries

creating executables

csh-compatible shell, csh-compatible shell, csh-compatible shell

current input stream

current output stream

customize, customize

d

data declaration

database initialization

debug (interpreted) mode

debugging, debugging

debugging, source-level, debugging, source-level

decl assertion, decl assertion

declarations, user defined

DECsystem-10 Prolog User's Manual

depth first iterative deepening

determinate goal

development environment, development environment, development environment, development environment, development environment

downloading emacs, downloading emacs

downloading, latest versions

e

emacs interface, emacs interface

emacs mode, loading several

emacs mode, setting up, Win32

emacs, download, emacs, download

emacs, intro, emacs, intro

engine directory, engine directory

Enrico Pontelli

entry assertion

environment variable definitions

environment variables

environment variables, setup

equi join in the WHERE-clause

executables, compressed

executables, dynamic

executables, generating, executables, generating

executables, how to run

executables, lazy load

executables, self-contained

executables, static

executables, types

existential quantification

f

false assertion

formatting commands

formatting conventions, for emacs

Francisco Bueno

g

granularity control

h

help, help, help, help, help

i

Inference of properties

inheritable interface

inheritance relationship

initialization clauses

initialization file, initialization file

installation, checking the

installation, Mac OS X, full instructions

installation, Mac OS X, summary

installation, network based

installation, Un*x, full instructions

installation, Un*x, summary

installation, Windows clients

installation, Windows server

installation, Windows, from binaries

installation, Windows, from sources

instantiation properties

interface inheritance

interpreting, interpreting

ISO-Prolog, ISO-Prolog

ISO-Prolog builtins, ISO-Prolog builtins

iso-prolog, compliance

iterative-deepening

j

Java event handling from Prolog

Java exception handling from Prolog

Java to Prolog interface

Johan Andersson

k

Kalyan Muthukumar

l

lib library, lib library

library directory

limitations, architecture-specific

Linkoping U., Linkoping U.

loading programs, loading programs, loading programs

locating errors

lpdoc command args, setting

lpdoc command, setting

lpdoc default format, setting

lpdoc lib path, setting

lpdoc working dir, setting

lpmake autodocumentation

m

manual, printing, manual, printing, manual, printing, manual, printing

manuals, printing, manuals, printing

Manuel Hermenegildo, Manuel Hermenegildo

Maria Jose Garcia de la Banda

Mats Carlsson, Mats Carlsson, Mats Carlsson, Mats Carlsson

Maurice Bruynooghe

modular interface

module qualification

modules, active

moving changelog entries

multi-evaluated

multiarchitecture support

n

Naming term aguments

New Mexico State University

o

p

parallel Prolog

parallelizing compiler

parametric type functor

Pierre Deransart

PiLLoW on-line tutorial

pred assertion, pred assertion

preprocessing programs

preprocessor command args, setting

preprocessor command, setting

printing, manual, printing, manual, printing, manual, printing, manual

program development environment

program parallelization

program specialization

program transformations, program transformations

programming environment, programming environment

prolog flag, prolog flag

Prolog server, Prolog server, Prolog server

Prolog shell scripts

Prolog to Java Interface Structure

Prolog to Java Interface Structure. Java side

Prolog to Java Interface Structure. Prolog side

prolog-emacs interface

prop assertion, prop assertion

properties of computations

properties of execution states

properties, basic

properties, native

public domain, public domain

public interface

q

r

records, records, records

recursive level

references, to Ciao

referring to Ciao

regtype assertion, regtype assertion

regular expressions

regular type expression

Roger Nasr, Roger Nasr

run-time checks

running programs, running programs, running programs, running programs

s

script header, inserting automatically

scripts, scripts, scripts

sh-compatible shell, sh-compatible shell, sh-compatible shell

shortcut, windows

Socket implementation

source directory

source-level debugging, source-level debugging

standard total ordering

static debugging

status, this manual

style sheets, style sheets, style sheets, style sheets

success assertion, success assertion

Swedish Institute of Computer Science

Syntax-based highlighting

t

Technical University of Madrid

top-level shell, starting, unix

top-level shell, starting, windows

toplevel command args, setting

toplevel command, setting

tour, of the manual

tracing the source code

troubleshooting, troubleshooting, troubleshooting

trust assertion

u

uninstalling, uninstalling

user modules, debugging

users mailing list

v

variable instantiation

Veroniek Dumortier

version control

version maintenance mode for packages

w

why the name Ciao

windows shortcut

WWW, interfacing with

x

Go to the first, previous, next, last section, table of contents.