Logic programming: proceedings of the Seventh International Conference ; [papers from the Seventh International Conference on Logic Programming, held in Jerusalem, June 18 - 20, 1990]
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Cambridge, Mass. [u.a.]
MIT Press
1990
|
| Series: | Logic programming
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | XVIII, 788 S. |
| ISBN: | 0262730901 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV004417565 | ||
| 003 | DE-604 | ||
| 005 | 20080808 | ||
| 007 | t| | ||
| 008 | 910722s1990 xx |||| 10||| engod | ||
| 020 | |a 0262730901 |9 0-262-73090-1 | ||
| 035 | |a (OCoLC)260148942 | ||
| 035 | |a (DE-599)BVBBV004417565 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-91G |a DE-739 |a DE-19 |a DE-83 | ||
| 084 | |a DAT 706f |2 stub | ||
| 245 | 1 | 0 | |a Logic programming |b proceedings of the Seventh International Conference ; [papers from the Seventh International Conference on Logic Programming, held in Jerusalem, June 18 - 20, 1990] |c ed. by David H. D. Warren ... |
| 264 | 1 | |a Cambridge, Mass. [u.a.] |b MIT Press |c 1990 | |
| 300 | |a XVIII, 788 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Logic programming | |
| 650 | 0 | 7 | |a Logische Programmierung |0 (DE-588)4195096-3 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1990 |z Jerusalem |2 gnd-content | |
| 689 | 0 | 0 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Warren, David H. |e Sonstige |4 oth | |
| 711 | 2 | |a International Conference on Logic Programming |n 7 |d 1990 |c Yerûšālayim |j Sonstige |0 (DE-588)3010550-X |4 oth | |
| 856 | 4 | 2 | |m Digitalisierung TU Muenchen |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002741104&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-002741104 | |
Record in the Search Index
| _version_ | 1820868134787088384 |
|---|---|
| adam_text |
Contents
Program
Committee
xi
Series Foreword
xiii
Preface
xv
Referees
xvii
Concurrent Logic Languages
A New Implementation Technique for Flat GHC
3
Kazunori
U eda
and Masao
Monta
A Detection Algorithm of Perpetual Suspension in KLl
18
Yu Inamura and Satoshi Onishi
Kernel Andorra Prolog and its Computation Model
31
SeifHaridi and
Sverker Janson
Architectures
Sequential Architecture Models for Prolog: A Performance
Comparison
49
Mark
Korsbot
and Hans M. Mulder
An Extended RISC Methodology and its Application to FCP
67
Arie
Harsát
and Ran Ginosar
Evaluation of MRB Garbage Collection on Parallel Logic
Programming Architectures
83
Kenji Nishida, Yasunori Kimura,
Mira
Matsumoto,
and Atsuhiro Goto
Logic Databases
Incremental Re-evaluation of LDL Queries
99
Oded Shmueli and Shalom Tsur
VI
Logical Diagnosis of LDL Programs
112
Oded Shmueli and Shalom Tsur
Тор
-Down
Integrity Constraint Checking for Deductive Databases
130
Ulrike Griefahn
and Stefan
Lüttringhaus
Implementation
An Algorithm for Optimal Back-Striding in Prolog
147
Vishv M. Malhotra
A Matching Tree Oriented Abstract Machine for Prolog
159
Neng-Fa Zhou, Toshihisa Takagi, and Kazuo Ushijima
LIPS on a MIPS: Results from a Prolog Compiler for a RISC
174
Andrew Taylor
Constraints, Attribute Grammars
Incremental Constraint Satisfaction in Logic Programming
189
Pascal Van Hentenryck
A Logic-Based Modification of Attribute Grammars for Practical
Compiler Writing
203
Jukka Paakki
Independent And-Parallelism
The DCG, UDG, and MEL Methods for Automatic Compile-time
Parallelization of Logic Programs for Independent And-parallelism
221
K. Muthukumar and M. V.
Hermenegildo
Non-Strict Independent And-Parallelism
237
Manuel
Hermenegildo
and
Francesco
Rossi
&-Prolog and its Performance: Exploiting Independent
And-Parallelism
253
M. V.
Hermenegildo
and K. J. Greene
Vil
And-Parallelism
Architected
Failure Handling for
AND-Parallel Logic
Programs
271
David
M.
Meyer and John
S. Conery
Pipeline Optimizations in AND-Parallelism by Abstract Interpretation
291
Roberto Giacobazzi and
¡мига
Ricci
AND-Parallelism without Shared Variables
306
Antonio Brogi
Parallel Systems and Algorithms
Logic and Functional Programming on Distributed Memory
Architectures
325
P. G.
Bosco,
С.
Cecchi,
С.
Moiso,
M. Porta,
and
G. Sofi
OR-Parallel Prolog
and Search Problems in
AI Applications
340
T. J. Reynolds and P.
Refalas
Efficient
Parallel Term Matching and Anti-Unification
355
Arthur L. Delcher and Simon Kasif
Grammars, Program Mappings, Proof Construction
Extending Definite Clause Grammars with Scoping Constructs
373
Remo Pareschi
and Dale Miller
A Notion of Map between Logic Programs
390
A.
/.
Power and Leon Sterling
A Logic Programming Approach to Specifying Logics and
Constructing Proofs
405
Hajime Sawamura, Toshiro
Minami,
Kaoru Yokota,
and Kyoko Ohashi
vin
Semantics
Generalized Stable Models, Truth Maintenance and Conflict
Resolution
427
Laura Giordano and Alberto
Martelli
A New
Fixpoint
Semantics for General Logic Programs Compared
with the Well-Founded and the Stable Model Semantics
442
François F
ages
Extended Stable Semantics for Normal and Disjunctive Programs
459
Teodor
С.
Przymusinski
Language Issues
A Transformational View of Inheritance in Logic Programming
481
Luís Monteiro
and
António
Porto
Linear Objects: Logical Processes with Built-in Inheritance
495
Jean-Marc Andreoli and
Remo Pareschi
Representing Objects in a Logic Programming Language with
Scoping Constructs
511
Joshua S. Hodas and Dale Miller
Higher-Order Logic, Abduction
HIFUNLOG: Logic Programming with Higher-order Relational
Functions
529
Yeh-Heng Sheng
On Warren's Method for Functional Programming in Logic
546
M. H. M. Cheng, M. H. van Emden, and B. E. Richards
Intensional Updates: Abduction via Deduction
561
François
Bry
їх
Negation
Logic Programs with Classical Negation
579
Michael
G
elf
ond
and Vladimir Lifschitz
Logic Programs with Exceptions
598
Robert A.
Kowalski
and
Fariba
Sadri
Program Termination
Acyclic Programs
617
Krzysztof
R.
Apt and Marc
Bezem
Termination Proofs for Logic Programs Based on Predicate Inequalities
634
Lutz Plümer
A Practical Technique for Detecting Non-terminating Queries for a
Restricted Class of Horn Clauses, Using Directed, Weighted Graphs
649
Danny
De Schreye,
Kristóf Verschaetse,
and Maurice Bruynooghe
Program Synthesis and Optimization
Top-down Synthesis of Recursive Logic Procedures from First-order
Logic Specifications
667
K. K.
Lau
and S. D. Prestwich
Extracting Logic Programs from Proofs that Use Extended Prolog
Execution and Induction
685
Laurent Fribourg
Generation and Compilation of Efficient Computation Rules
700
Krištof
Verschaetse, Danny
De
Schreye, and Maurice Bruynooghe
Program Analysis and Transformation
Multiple Specialization of Logic Programs with Run-time Tests
717
Dean Jacobs, Anno
Langen,
and Will Winsborough
The Derivation of an Algorithm for Program Specialisation
732
John Gallagher and Maurice Bruynooghe
Analysis of Shared Data Structures for Compile-Time Garbage
Collection in Logic Programs
747
Anne Mulkers, William Winsborough, and Maurice Bruynooghe
Abstracts of Invited Lectures
What Should a Database Know?
765
Ray Reiter
Prolog III as it Actually Is
766
Alain Colmerauer
Global Optimization Problems for Database Logic Programs
767
Moshe
Y. Vardi
How Hard Is It to Reason about Propositional Programs?
772
David
Harel
Abstracts of Advanced Tutorials
The Paradigm of Concurrent Constraint Programming
777
Vijay A. Saraswat
Semantics of Logic Programs
779
Haim Gaifman
Logic Programming and Databases
783
Catńel
Beert
Higher-Order Logic Programming: A Tutorial
784
Dale Miller
Parallel Logic Programming Systems
785
Jacques Chassin
de
Kergonvneaux
Types in Logic Programming
786
Frank Pfenning
Author Index
787 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV004417565 |
| classification_rvk | SS 1990 |
| classification_tum | DAT 706f |
| ctrlnum | (OCoLC)260148942 (DE-599)BVBBV004417565 |
| discipline | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV004417565</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20080808</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">910722s1990 xx |||| 10||| engod</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262730901</subfield><subfield code="9">0-262-73090-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)260148942</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV004417565</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="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 706f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic programming</subfield><subfield code="b">proceedings of the Seventh International Conference ; [papers from the Seventh International Conference on Logic Programming, held in Jerusalem, June 18 - 20, 1990]</subfield><subfield code="c">ed. by David H. D. Warren ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, Mass. [u.a.]</subfield><subfield code="b">MIT Press</subfield><subfield code="c">1990</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVIII, 788 S.</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">Logic programming</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1990</subfield><subfield code="z">Jerusalem</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" 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="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Warren, David H.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Conference on Logic Programming</subfield><subfield code="n">7</subfield><subfield code="d">1990</subfield><subfield code="c">Yerûšālayim</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)3010550-X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung TU Muenchen</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=002741104&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-002741104</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1990 Jerusalem gnd-content |
| genre_facet | Konferenzschrift 1990 Jerusalem |
| id | DE-604.BV004417565 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T13:19:33Z |
| institution | BVB |
| institution_GND | (DE-588)3010550-X |
| isbn | 0262730901 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-002741104 |
| oclc_num | 260148942 |
| open_access_boolean | |
| owner | DE-12 DE-91G DE-BY-TUM DE-739 DE-19 DE-BY-UBM DE-83 |
| owner_facet | DE-12 DE-91G DE-BY-TUM DE-739 DE-19 DE-BY-UBM DE-83 |
| physical | XVIII, 788 S. |
| publishDate | 1990 |
| publishDateSearch | 1990 |
| publishDateSort | 1990 |
| publisher | MIT Press |
| record_format | marc |
| series2 | Logic programming |
| spelling | Logic programming proceedings of the Seventh International Conference ; [papers from the Seventh International Conference on Logic Programming, held in Jerusalem, June 18 - 20, 1990] ed. by David H. D. Warren ... Cambridge, Mass. [u.a.] MIT Press 1990 XVIII, 788 S. txt rdacontent n rdamedia nc rdacarrier Logic programming Logische Programmierung (DE-588)4195096-3 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1990 Jerusalem gnd-content Logische Programmierung (DE-588)4195096-3 s DE-604 Warren, David H. Sonstige oth International Conference on Logic Programming 7 1990 Yerûšālayim Sonstige (DE-588)3010550-X oth Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002741104&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Logic programming proceedings of the Seventh International Conference ; [papers from the Seventh International Conference on Logic Programming, held in Jerusalem, June 18 - 20, 1990] Logische Programmierung (DE-588)4195096-3 gnd |
| subject_GND | (DE-588)4195096-3 (DE-588)1071861417 |
| title | Logic programming proceedings of the Seventh International Conference ; [papers from the Seventh International Conference on Logic Programming, held in Jerusalem, June 18 - 20, 1990] |
| title_auth | Logic programming proceedings of the Seventh International Conference ; [papers from the Seventh International Conference on Logic Programming, held in Jerusalem, June 18 - 20, 1990] |
| title_exact_search | Logic programming proceedings of the Seventh International Conference ; [papers from the Seventh International Conference on Logic Programming, held in Jerusalem, June 18 - 20, 1990] |
| title_full | Logic programming proceedings of the Seventh International Conference ; [papers from the Seventh International Conference on Logic Programming, held in Jerusalem, June 18 - 20, 1990] ed. by David H. D. Warren ... |
| title_fullStr | Logic programming proceedings of the Seventh International Conference ; [papers from the Seventh International Conference on Logic Programming, held in Jerusalem, June 18 - 20, 1990] ed. by David H. D. Warren ... |
| title_full_unstemmed | Logic programming proceedings of the Seventh International Conference ; [papers from the Seventh International Conference on Logic Programming, held in Jerusalem, June 18 - 20, 1990] ed. by David H. D. Warren ... |
| title_short | Logic programming |
| title_sort | logic programming proceedings of the seventh international conference papers from the seventh international conference on logic programming held in jerusalem june 18 20 1990 |
| title_sub | proceedings of the Seventh International Conference ; [papers from the Seventh International Conference on Logic Programming, held in Jerusalem, June 18 - 20, 1990] |
| topic | Logische Programmierung (DE-588)4195096-3 gnd |
| topic_facet | Logische Programmierung Konferenzschrift 1990 Jerusalem |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002741104&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT warrendavidh logicprogrammingproceedingsoftheseventhinternationalconferencepapersfromtheseventhinternationalconferenceonlogicprogrammingheldinjerusalemjune18201990 AT internationalconferenceonlogicprogrammingyerusalayim logicprogrammingproceedingsoftheseventhinternationalconferencepapersfromtheseventhinternationalconferenceonlogicprogrammingheldinjerusalemjune18201990 |