Introduction to logic programming:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | Undetermined |
| Veröffentlicht: |
London [u.a.]
Academic Pr.
1986
|
| Ausgabe: | 3. [Dr.] |
| Schriftenreihe: | APIC studies in data processing
21 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XII, 278 S. graph. Darst. |
| ISBN: | 0123520908 0123520924 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV024549754 | ||
| 003 | DE-604 | ||
| 005 | 20090910 | ||
| 007 | t | ||
| 008 | 090924s1986 d||| |||| 00||| und d | ||
| 020 | |a 0123520908 |9 0-12-352090-8 | ||
| 020 | |a 0123520924 |9 0-12-352092-4 | ||
| 035 | |a (OCoLC)263394653 | ||
| 035 | |a (DE-599)BVBBV024549754 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | |a und | ||
| 049 | |a DE-83 | ||
| 082 | 0 | |a 001.64'2'015113 | |
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 084 | |a ST 233 |0 (DE-625)143620: |2 rvk | ||
| 100 | 1 | |a Hogger, Christopher J. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Introduction to logic programming |c Christopher John Hogger |
| 250 | |a 3. [Dr.] | ||
| 264 | 1 | |a London [u.a.] |b Academic Pr. |c 1986 | |
| 300 | |a XII, 278 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a APIC studies in data processing |v 21 | |
| 650 | 0 | 7 | |a Logische Programmierung |0 (DE-588)4195096-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmierung |0 (DE-588)4076370-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4151278-9 |a Einführung |2 gnd-content | |
| 689 | 0 | 0 | |a Programmierung |0 (DE-588)4076370-5 |D s |
| 689 | 0 | 1 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 1 | |5 DE-604 | |
| 856 | 4 | 2 | |m HEBIS Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018523514&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 940 | 1 | |q TUB-nve | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-018523514 | ||
Datensatz im Suchindex
| _version_ | 1804140556120489984 |
|---|---|
| adam_text | INTRODUCTION TO LOGIC PROGRAMMING CHRISTOPHER JOHN HOGGER DEPARTMENT OI
COMPUTING IMPERIAL COLLEGE OI SCIENCE AND TECHNOLOGY LONDON, UNITED
KINGDOM 1984 ACADEMIC PRESS, INC. HARCOURT BRACE JOVANOVICH, PUBLISHERS
LONDON ORLANDO SAN DIEGO NEW YORK AUSTIN MONTREAL SYDNEY TOKYO TORONTO
CONTENTS FOREWORD IX PREFACE XI MEANINGS OF PRINCIPAL SYMBOLS XIII
INTRODUCTION 1 I. REPRESENTATION AND REASONING 5 1.1. INDIVIDUALS 5 1.2.
RELATIONS 6 1.3. PREDICATES, CONNECTIVES AND FORMULAE 7 1.4. VARIABLES 9
1.5. SENTENCES 10 1.6. EXAMPLES OF REPRESENTATION 11 1.7. INTERPRETATION
OF SENTENCES 14 1.8. LOGICAL IMPLICATION 18 1.9. LOGICAL INFERENCE 19
1.10. GENERAL TOP-DOWN RESOLUTION 22 1.11. PROBLEM SOLVING 26 1.12.
ANSWER EXTRACTION 28 1.13. SUMMARY 31 1.14. BACKGROUND 31 II. LOGIC
PROGRAMS 35 II. 1. PROGRAMS, COMPUTATIONS AND EXECUTIONS 35 11.2. THE
PROCEDURAL INTERPRETATION 40 11.3. THE COMPUTATION SPACE 45 11.4. THE
STANDARD CONTROL STRATEGY 50 VI CONTENTS 11.5. COMPUTATIONAL BEHAVIOUR
55 11.6. BUILT-IN FACILITIES 65 11.7. BACKGROUND 68 III. PROGRAMMING
STYLE 71 III. 1. LOGIC AND CONTROL 72 111.2. ITERATION AND RECURSION 75
111.3. TOP-DOWN AND BOTTOM-UP BEHAVIOUR 77 111.4. DETERMINISM AND
NON-DETERMINISM 84 III. 5. NEGATION 91 111.6. PARAMETER MATCHING 96
111.7. SWITCHES 97 111.8. BACKGROUND 99 IV. DATA STRUCTURES 102 IV. 1.
REPRESENTATION AND ACCESS 103 IV.2. STRUCTURED TERM REPRESENTATIONS 106
IV.3. ASSERTIONAL REPRESENTATIONS 112 IV.4. PROCESSING DATA IN
ASSERTIONAL FORM 118 IV.5. BACKGROUND 129 V. PROGRAM VERIFICATION 130 V.
1. COMPUTED AND SPECIFIED RELATIONS 130 V.2. CORRECTNESS OF PROGRAMS:
DEFINITIONS 134 V.3. CORRECTNESS OF PROGRAMS: SUFFICIENT CRITERIA 138
V.4. SOLVABILITY 142 V.5. CORRECTNESS OF ALGORITHMS: DEFINITIONS 143
V.6. CORRECTNESS OF ALGORITHMS: SUFFICIENT CRITERIA 149 V.7. AN EXAMPLE
OF VERIFICATION 150 V.8. LIMITATIONS ON VERIFICATION 156 V.9. BACKGROUND
157 VI. FORMAL PROGRAM SYNTHESIS 161 VI.1. PROGRAM CORRECTNESS 161 VI.2.
SYNTHESIS OF LOGIC PROGRAMS 162 VI.3. SYNTHESIS USING PROCEDURE
DERIVATION 163 VI.4. AN EXAMPLE USING RESOLUTION 165 VI.5. AN EXAMPLE
USING NON-RESOLUTION INFERENCE 169 VI.6. BACKGROUND 178 VII.
IMPLEMENTATION 181 VII. 1. REPRESENTING THE CONTROL STATE 182 VII.2.
REPRESENTING THE DATA ASSIGNMENTS 192 VII.3. CONSERVING MEMORY 202
VII.4. CONSERVING PROCESSING TIME 212 VII.5. BACKGROUND 219 CONTENTS
VIII. BROADER CONTRIBUTIONS TO COMPUTING VIII. 1. COMPUTING THEORY
VIII.2. VIII.3. REFERENCES COMPUTING PRACTICE COMPUTING TECHNOLOGY 222
222 239 252 262 INDEX 273
|
| any_adam_object | 1 |
| author | Hogger, Christopher J. |
| author_facet | Hogger, Christopher J. |
| author_role | aut |
| author_sort | Hogger, Christopher J. |
| author_variant | c j h cj cjh |
| building | Verbundindex |
| bvnumber | BV024549754 |
| classification_rvk | ST 230 ST 233 |
| ctrlnum | (OCoLC)263394653 (DE-599)BVBBV024549754 |
| dewey-full | 001.64'2'015113 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 001 - Knowledge |
| dewey-raw | 001.64'2'015113 |
| dewey-search | 001.64'2'015113 |
| dewey-sort | 11.64 12 515113 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Allgemeines Informatik |
| edition | 3. [Dr.] |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01695nam a2200457 cb4500</leader><controlfield tag="001">BV024549754</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20090910 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">090924s1986 d||| |||| 00||| und d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0123520908</subfield><subfield code="9">0-12-352090-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0123520924</subfield><subfield code="9">0-12-352092-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)263394653</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV024549754</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">und</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">001.64'2'015113</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 230</subfield><subfield code="0">(DE-625)143617:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 233</subfield><subfield code="0">(DE-625)143620:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Hogger, Christopher J.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Introduction to logic programming</subfield><subfield code="c">Christopher John Hogger</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">3. [Dr.]</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">London [u.a.]</subfield><subfield code="b">Academic Pr.</subfield><subfield code="c">1986</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 278 S.</subfield><subfield code="b">graph. Darst.</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="0" ind2=" "><subfield code="a">APIC studies in data processing</subfield><subfield code="v">21</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4151278-9</subfield><subfield code="a">Einführung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HEBIS 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=018523514&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">TUB-nve</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-018523514</subfield></datafield></record></collection> |
| genre | (DE-588)4151278-9 Einführung gnd-content |
| genre_facet | Einführung |
| id | DE-604.BV024549754 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T22:01:51Z |
| institution | BVB |
| isbn | 0123520908 0123520924 |
| language | Undetermined |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-018523514 |
| oclc_num | 263394653 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | XII, 278 S. graph. Darst. |
| psigel | TUB-nve |
| publishDate | 1986 |
| publishDateSearch | 1986 |
| publishDateSort | 1986 |
| publisher | Academic Pr. |
| record_format | marc |
| series2 | APIC studies in data processing |
| spelling | Hogger, Christopher J. Verfasser aut Introduction to logic programming Christopher John Hogger 3. [Dr.] London [u.a.] Academic Pr. 1986 XII, 278 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier APIC studies in data processing 21 Logische Programmierung (DE-588)4195096-3 gnd rswk-swf Programmierung (DE-588)4076370-5 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf (DE-588)4151278-9 Einführung gnd-content Programmierung (DE-588)4076370-5 s Logik (DE-588)4036202-4 s DE-604 Logische Programmierung (DE-588)4195096-3 s HEBIS Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018523514&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Hogger, Christopher J. Introduction to logic programming Logische Programmierung (DE-588)4195096-3 gnd Programmierung (DE-588)4076370-5 gnd Logik (DE-588)4036202-4 gnd |
| subject_GND | (DE-588)4195096-3 (DE-588)4076370-5 (DE-588)4036202-4 (DE-588)4151278-9 |
| title | Introduction to logic programming |
| title_auth | Introduction to logic programming |
| title_exact_search | Introduction to logic programming |
| title_full | Introduction to logic programming Christopher John Hogger |
| title_fullStr | Introduction to logic programming Christopher John Hogger |
| title_full_unstemmed | Introduction to logic programming Christopher John Hogger |
| title_short | Introduction to logic programming |
| title_sort | introduction to logic programming |
| topic | Logische Programmierung (DE-588)4195096-3 gnd Programmierung (DE-588)4076370-5 gnd Logik (DE-588)4036202-4 gnd |
| topic_facet | Logische Programmierung Programmierung Logik Einführung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018523514&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT hoggerchristopherj introductiontologicprogramming |