tutorial

Informations

• Publié par: Veseb
• Nombre de lectures: 21
• Langue: Español

Extrait

F
2000
ersit
-
former
>>
Christian
I
German
D
is
Ho
y
w
oder
to
Heinz
W
F
rite
Octob
Fogic
man
Programs
on
in
ersions
Florid

A
Rainer
T
aulh
utorial
hlepphorst
for
FLOR
the
at
Database
reiburg
Language
y
Fogic
er
V
This
ersion
ual
3.0
based
loXML
the
W
v
olfgang
b
Ma
J
y
urgen
maynformatiknirei
rohn
bur
Himmer
ge
P
Institut
Kandzia
f
Sc

and
ur
Upho
Informatik
Univ.
.
.
2
.
Con
.
ten
.
ts
.
1
.
In
.
tro
ersion
duction
.
4
.
2
.
A
29
First
.
Example
.
4
.
3
.
Ob
.
jects
.
and
.
their
Base
Prop
Closure
erties
Signatures
6
.
3.1
and
Ob
.
ject
.
Names
6.6
and
.
V
7
ariable
.
Names
.
.
7.2
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Equalit
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
29
.
.
.
.
.
.
.
.
.
.
6
ath
3.1.1
.
Metho
.
ds
.
.
18
.
.
.
.
.
.
.
.
.
.
.
and
.
.
.
.
.
19
.
.
.
.
.
.
.
.
.
7.4
.
.
.
.
.
.
.
.
.
7.5
.
.
.
.
.
.
.
.
.
8
.
Prop
.
.
.
.
.
.
.
Sub
.
.
.
.
.
Closure
.
.
.
.
6
.
3.1.2
Miscellaneous
Class
.
Mem
.
b
.
ership
.
and
Programs
Sub
t
class
.
Relationship
.
.
.
.
.
.
Stratiation
.
.
.
.
.
.
.
31
.
.
.
vs
.
.
.
.
.
.
.
.
.
.
8
.
3.2
.
Expressing
F
Information
Equalit
ab
.
out
.
an
.
Ob
.
ject
.
Folecules
.
.
.
.
.
.
.
.
.
.
tegers
.
.
.
.
.
.
.
.
.
.
.
.
.
String
.
.
8
.
3.3
.
Beha
.
vioral
.
Inheritance
.
.
.
.
.
.
.
.
Con
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Ob
.
8.1
.
of
.
Predicate
.
.
.
.
.
.
.
.
9
24
3.4
erties
Signatures
Relationships
.
.
.
.
.
.
.
.
.
25
.
erties
.
.
.
.
.
.
.
.
.
.
.
.
.
25
.
erties
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
9
.
26
.
Ev
.
Fixp
.
tics
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Negation
.
.
.
.
.
.
9
.
3.5
.
Exploring
.
the
.
Database
11
.
.
.
.
.
17
.
Folecules
.
P
.
Expressions
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
17
.
Builtn
.
eatures
.
7.1
.
y
.
.
.
.
.
.
.
.
.
.
.
.
.
.
11
.
4
.
Nesting
.
Ob
.
ject
.
Prop
.
erties
.
11
.
4.1
.
Folecules
.
without
.
an
.
y
18
prop
In
erties
Comparisons
.
Arithmetics
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
7.3
.
handling
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
13
.
5
.
Predicate
.
Sym
.
b
.
ols
.
13
.
6
20
P
Data
ath
v
Expressions
.
13
.
6.1
.
Nesting
.
of
.
P
.
ath
.
Expressions
.
and
.
Folecules
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
21
.
Aggregation
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
14
.
6.2
.
Ob
.
ject
.
Creation
.
with
.
Scalar
.
P
.
ath
.
Expressions
23
.
The
.
ject
.
24
.
Closure
.
erties
.
the
.
y
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
8.2
15
Prop
6.3
of
P
class
ath
.
Expressions
.
in
.
Queries
.
.
.
.
.
.
.
.
.
.
.
.
.
.
8.3
.
Prop
.
of
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
8.4
.
Prop
.
.
.
.
.
.
.
.
16
.
6.4
.
Multi
.
alued
.
P
.
ath
.
Expressions
.
.
.
.
.
.
.
.
.
.
25
.
Rules
.
Queries
.
10
.
and
.
aluation
.
10.1
.
oin
.
Seman
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
16
.
6.5
.
P
.
ath
.
Expressions
10.2
with
and
Inheritable
.
Metho
.
ds
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
29
.
Inheritance
.
CONTENTS
..
Intionary
.
3
48
12
References
T
.
yp
.
e
.
c
.
hec
.
king
.
33
.
13
.
Querying
.
the
.
W
A
orld
.
Wide
.
W
.
eb
relationship
with
.
Florid
.
34
.
13.1
.
Mo
.
deling
.
the
.
W
.
eb
.
in
.
Fogic
Fogic
.
.
.
.
.
of
.
.
.
53
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Inheritance
.
.
.
.
.
.
.
47
.
.
.
.
.
.
.
Sp
.
.
.
.
.
.
.
.
.
Seman
.
.
34
.
13.2
.
T
51
ra
Bac
v
.
ersing
.
the
.
W
.
eb
.
A
.
First
.
Example
.
.
.
.
of
.
.
.
.
.
.
.
.
.
.
.
14.6
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
46
.
Negation
.
.
.
.
.
.
.
.
35
.
13.3
.
P
.
arse
Negation
rees
tics
of
.
W
.
eb
.
do
.
cumen
.
ts
48
.
up
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
W
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Grammar
.
tax
.
orm
.
structure
.
.
.
.
.
.
.
.
36
.
14
.
Some
.
Example
.
Programs
A
41
syn
14.1
.
Rules
.
and
.
P
.
ath
.
Expressions
.
.
.
.