On types and type consistency in logic programming:
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Berlin
Akad.Verl.-Ges. Aka
2000
|
| Series: | Dissertationen zur künstlichen Intelligenz
235 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Item Description: | Zugl.: Hagen, Fernuniv., Diss., 1999 |
| Physical Description: | VI, 176 S. 21 cm |
| ISBN: | 3898382354 |
Staff View
MARC
| LEADER | 00000nam a22000008cb4500 | ||
|---|---|---|---|
| 001 | BV013210115 | ||
| 003 | DE-604 | ||
| 005 | 20010206 | ||
| 007 | t | ||
| 008 | 000613s2000 gw |||| m||| 00||| eng d | ||
| 016 | 7 | |a 959142762 |2 DE-101 | |
| 020 | |a 3898382354 |c kart. : DM 52.00 (freier Pr.), sfr 51.00 (freier Pr.), S 409.00 (freier Pr.) |9 3-89838-235-4 | ||
| 035 | |a (OCoLC)48478497 | ||
| 035 | |a (DE-599)BVBBV013210115 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-91G |a DE-29T | ||
| 084 | |a DAT 706d |2 stub | ||
| 100 | 1 | |a Meyer, Gregor |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a On types and type consistency in logic programming |c Gregor Meyer |
| 264 | 1 | |a Berlin |b Akad.Verl.-Ges. Aka |c 2000 | |
| 300 | |a VI, 176 S. |b 21 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Dissertationen zur künstlichen Intelligenz |v 235 | |
| 500 | |a Zugl.: Hagen, Fernuniv., Diss., 1999 | ||
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 830 | 0 | |a Dissertationen zur künstlichen Intelligenz |v 235 |w (DE-604)BV005345280 |9 235 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009000569&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
Record in the Search Index
| _version_ | 1805068470999580672 |
|---|---|
| adam_text |
CONTENTS
1
INTRODUCTION
1
2
DIMENSIONS
OF
TYPING
IN
LOGIC
PROGRAMMING
7
2.1
INTRODUCTION
.
7
2.2
TYPE
ERRORS
.
;
.
9
2.2.1
DYNAMIC
TYPE
CHECKS
.
10
2.2.2
STATIC
TYPING
.
10
2.2.3
SIMPLISTIC
TYPE
SAFETY
.
12
2.3
TYPED
PROGRAMS
.
13
2.3.1
TYPE
LANGUAGES
.
13
2.3.2
SYNTACTIC
TYPING
.
15
2.3.3
INFERENCE
OF
PREDICATE
DECLARATIONS
.
16
2.4
THE
CLASSIFICATION
SCHEME
.
18
2.4.1
TYPES
FOR
PROVING
PARTIAL
CORRECTNESS
.
19
2.4.2
TYPES
AS
CONSTRAINTS
.
25
2.4.3
TYPES
AS
APPROXIMATIONS,
CONSISTENCY
ANNOTATIONS
.
30
3
POLYMORPHIC
FEATURE
TYPES
31
3.1
INTRODUCTION
.
31
3.2
TYPES
AND
SUBTYPING
.
33
3.2.1
CONSTRUCTOR
TYPES
.
33
3.2.2
TYPES
AND
FEATURES
.
34
3.2.3
FEATURE
TYPES
VS.
CONSTRUCTOR
TYPES
.
36
3.2.4
INTERPRETATION
OF
SUBTYPING
.
37
3.2.5
RELATED
RESEARCH
.
41
3.3
LOGIC
PROGRAMMING
WITH
FEATURE
TYPES
.
43
3.3.1
TYPES
AS
CONSTRAINTS
.
.
43
3.3.2
TYPE
CHECKING
.
44
3.4
PARAMETRIC
POLYMORPHISM
AND
FEATURE
TYPES
.
45
3.4.1
PARAMETRIC
FEATURE
TYPES
.
46
3.4.2
ALTERNATIVES
.
48
3.4.3
RELATED
RESEARCH
.
50
3.5
FORMAL
ASPECTS
.
51
3.5.1
AN
ABSTRACT
LANGUAGE
FOR
TYPES
.
51
3.5.2
TYPE
LANGUAGE
INCLUDING
PARAMETRIC
TYPES
.
59
3.5.3
PARTIAL
ORDER
ON
TYPE
TERMS
.
62
3.5.4
PARAMETRIC
CONSTRUCTOR
TYPES
.
65
3.5.5
PARAMETRIC
FEATURE
TYPES
.
68
3.5.6
SYNTAX
AND
SEMANTICS
FOR
PROGRAMS
.
70
3.6
SUMMARY
.
73
4
TYPE
CONSTRAINTS
RECONSIDERED
75
4.1
PRESCRIPTIVE
TYPING
AND
TYPE
CONSTRAINTS
.
75
4.2
PROBLEMS
.
76
4.2.1
PRESCRIPTIVE
TYPING
WITH
A
TYPED
CALCULUS
.
77
4.2.2
SEMANTIC
IMPACTS
OF
TYPE
INFERENCE
.
78
4.2.3
EFFICIENCY
CONSIDERATIONS
.
81
4.3
DISCUSSION
.
82
5
TYPES
AS
APPROXIMATIONS
AND
CONSISTENCY
ANNOTATIONS
85
5.1
TYPES
AS
APPROXIMATIONS
.
85
5.2
INCONSISTENT
CLAUSES
.
88
5.2.1
CONSISTENCY
CHECKS
FOR
FIRST-ORDER
LOGIC
.
89
5.2.2
HOM
CLAUSES
.
89
5.2.3
NON
HORN
CLAUSES
.
89
5.2.4
NEGATION
.
90
5.3
SUFFICIENT
VS.
NECESSARY
TYPE
CONSTRAINTS
.
92
5.4
DISCUSSION
.
93
6
TYPE
CONSISTENCY
WITH
SUBTYPES
AND
PARAMETRIC
POLYMORPHISM
97
6.1
INTRODUCTION
.
97
6.2
SHORTCOMINGS
OF
CONVENTIONAL
TYPE
SYSTEMS
.
98
6.3
A
NEW
APPROACH
WITH
TYPE
CONSISTENCY
.
101
6.4
FORMAL
DEFINITION
OF
TYPE
CONSISTENCY
.
106
6.4.1
SIGNATURE
.
106
6.4.2
TYPE
INEQUALITY
CONSTRAINTS
.
109
6.4.3
PRINCIPAL
UPPER
MATCHERS
.
110
6.4.4
TYPED
TERMS
.
114
6.4.5
CONVENTIONAL
TYPING
FOR
TERMS
AND
CLAUSES
.
115
6.4.6
TYPE
CONSISTENCY
FOR
TERMS
.
115
6.4.7
TYPE
CONSISTENCY
FOR
CLAUSES
.
119
IV
6.4.8
DEFINITIONAL
GENERICITY
.
123
6.4.9
USELESS
ATOMS
AND
NEGATION
.
126
6.5
DISCUSSION
.
127
6.6
SUMMARY
.
128
7
TYPE
INFERENCING
131
7.1
INTRODUCTION
.
131
7.2
ADMISSIBLE
TYPE
LANGUAGE
.
132
7.3
ALGORITHM
FOR
TYPE
INFERENCE
.
133
7.3.1
CLAUSE
DECOMPOSITION
.
134
7.3.2
TYPE
TERM
CONSTRAINTS
.
136
7.3.3
MATCHER
.
136
7.3.4
FINITE
DOMAIN
CONSTRAINTS
OVER
TYPE
ORDER
.
139
7.3.5
INFERRED
VARIABLE
TYPING
.
139
7.3.6
EFFICIENCY
.
140
7.4
CORRECTNESS
AND
COMPLETENESS
.
141
7.5
IMPLEMENTATION
.
141
8
CONCLUSIONS
AND
OUTLOOK
143
A
BASIC
DEFINITIONS
AND
TERMINOLOGY
147
A.L
SUBSTITUTIONS
.
147
A.2
LATTICE
THEORY
.
148
A.3
NOTATION
.
150
B
THE
GRAMMAR
FOR
TYPE
DEFINITIONS
IN
LOT
151
C
THE
SYSTEM
'
TYPICAL
'
153
C.L
TYPICAL
FOR
ANNOTATED
PROLOG
.
153
C.2
TYPICAL
FOR
ANNOTATED
PL1
.
161
BIBLIOGRAPHY
165
INDEX
174 |
| any_adam_object | 1 |
| author | Meyer, Gregor |
| author_facet | Meyer, Gregor |
| author_role | aut |
| author_sort | Meyer, Gregor |
| author_variant | g m gm |
| building | Verbundindex |
| bvnumber | BV013210115 |
| classification_tum | DAT 706d |
| ctrlnum | (OCoLC)48478497 (DE-599)BVBBV013210115 |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a22000008cb4500</leader><controlfield tag="001">BV013210115</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20010206</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">000613s2000 gw |||| m||| 00||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">959142762</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3898382354</subfield><subfield code="c">kart. : DM 52.00 (freier Pr.), sfr 51.00 (freier Pr.), S 409.00 (freier Pr.)</subfield><subfield code="9">3-89838-235-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)48478497</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV013210115</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-29T</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 706d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Meyer, Gregor</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">On types and type consistency in logic programming</subfield><subfield code="c">Gregor Meyer</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="b">Akad.Verl.-Ges. Aka</subfield><subfield code="c">2000</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VI, 176 S.</subfield><subfield code="b">21 cm</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Dissertationen zur künstlichen Intelligenz</subfield><subfield code="v">235</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Zugl.: Hagen, Fernuniv., Diss., 1999</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Dissertationen zur künstlichen Intelligenz</subfield><subfield code="v">235</subfield><subfield code="w">(DE-604)BV005345280</subfield><subfield code="9">235</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009000569&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV013210115 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-20T03:50:38Z |
| institution | BVB |
| isbn | 3898382354 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009000569 |
| oclc_num | 48478497 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-29T |
| owner_facet | DE-91G DE-BY-TUM DE-29T |
| physical | VI, 176 S. 21 cm |
| publishDate | 2000 |
| publishDateSearch | 2000 |
| publishDateSort | 2000 |
| publisher | Akad.Verl.-Ges. Aka |
| record_format | marc |
| series | Dissertationen zur künstlichen Intelligenz |
| series2 | Dissertationen zur künstlichen Intelligenz |
| spelling | Meyer, Gregor Verfasser aut On types and type consistency in logic programming Gregor Meyer Berlin Akad.Verl.-Ges. Aka 2000 VI, 176 S. 21 cm txt rdacontent n rdamedia nc rdacarrier Dissertationen zur künstlichen Intelligenz 235 Zugl.: Hagen, Fernuniv., Diss., 1999 (DE-588)4113937-9 Hochschulschrift gnd-content Dissertationen zur künstlichen Intelligenz 235 (DE-604)BV005345280 235 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009000569&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Meyer, Gregor On types and type consistency in logic programming Dissertationen zur künstlichen Intelligenz |
| subject_GND | (DE-588)4113937-9 |
| title | On types and type consistency in logic programming |
| title_auth | On types and type consistency in logic programming |
| title_exact_search | On types and type consistency in logic programming |
| title_full | On types and type consistency in logic programming Gregor Meyer |
| title_fullStr | On types and type consistency in logic programming Gregor Meyer |
| title_full_unstemmed | On types and type consistency in logic programming Gregor Meyer |
| title_short | On types and type consistency in logic programming |
| title_sort | on types and type consistency in logic programming |
| topic_facet | Hochschulschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009000569&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV005345280 |
| work_keys_str_mv | AT meyergregor ontypesandtypeconsistencyinlogicprogramming |