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

&

&-Prolog, &-Prolog

.

.ciaorc, .ciaorc

a

abstract methods

acceptable modes

acknowledgments

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

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

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

contributed libraries, contributed libraries

creating executables

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

current input stream

current output stream

d

database initialization

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

development environment, development environment, development environment, development environment

downloading emacs

downloading, latest versions

e

emacs interface, emacs interface

emacs mode, loading several

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, dynamic

executables, generating, executables, generating

executables, how to run

executables, lazy load

executables, static

executables, types

existential quantification

f

false assertion

formatting commands

formatting conventions, for emacs

Francisco Bueno

g

granularity control

h

hard side-effects

help, help, help, help

i

Inference of properties

inheritable interface

inheritance relationship

initialization clauses

initialization file, initialization file

installation, checking the

installation, network based

installation, Un*x, full instructions

installation, Un*x, summary

installation, Windows, from sources

instantiation properties

interface inheritance

interpreted mode, interpreted mode

interpreting, interpreting

ISO-Prolog, ISO-Prolog

ISO-Prolog builtins, ISO-Prolog builtins

iso-prolog, compliance

iterative-deepening

j

Java commands, Java commands, Java commands, Java commands

Java event handling from Prolog

Java exception handling from Prolog

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

Low level Java to Prolog interface

Low-Level Prolog to Java Interface Structure

Low-Level Prolog to Java Interface Structure. Java side

Low-Level Prolog to Java Interface Structure. Prolog side

lpdoc command args, setting

lpdoc command, setting

lpdoc default format, setting

lpdoc lib path, setting

lpdoc working dir, setting

m

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

moving changelog entries

multi-evaluated

multiarchitecture support

n

New Mexico State University

o

p

parallel Prolog

parallelizing compiler

parametric property

parametric regular type abstractions

Pierre Deransart

pred assertion, pred assertion

preprocessing programs

preprocessor command args, setting

preprocessor command, setting

printing, manual, printing, manual, printing, manual

program development environment

program parallelization

program specialization

program transformations, program transformations

programming environment, programming environment

Prolog answers, Prolog answers

prolog flag, prolog flag

Prolog shell scripts

prolog-emacs interface

prop assertion, prop assertion

properties of computations

properties of execution states

properties, basic

properties, native

property abstraction

public domain, public domain

public interface

q

r

records, records

recursive level

regtype assertion, regtype assertion

regular expressions

Roger Nasr, Roger Nasr

run-time checks

running programs, running programs, running programs, running programs

s

scripts, scripts, scripts

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

Socket implementation

soft side-effects

source directory

source-level debugging, source-level debugging

standard total ordering

static debugging

status, this manual

style sheets, style sheets, style sheets

success assertion, success assertion

Swedish Institute of Computer Science

Syntax 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

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

writing programs

WWW, interfacing with

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