Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 1986

Third International Conference on Logic Programming

Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986. Proceedings

Editors:

  1. Ehud Shapiro
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 225)

Sections

Buy it now

Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (60 papers)

  1. Front Matter

    PDF

  4. Efficient management of backtracking in AND-Parallelism

    • M. V. Hermenegildo, R. I. Nasr
    Pages 40-54

  5. An intelligent backtracking algorithm for parallel execution of logic programs

    • Yow-Jian Lin, Vipin Kumar, Clement Leung
    Pages 55-68

  6. Delta Prolog: A distributed backtracking extension with events

    • Luís Moniz Pereira, Luís Monteiro, José Cunha, Joaquim N. Aparício
    Pages 69-83

  7. OLD resolution with tabulation

    • Hisao Tamaki, Taisuke Sato
    Pages 84-98

  8. Logic programs and alternation

    • Petr Å tÄ›pánek, Olga Å tÄ›pánková
    Pages 99-106

  10. On the complexity of unification sequences

    • Heikki Mannila, Esko Ukkonen
    Pages 122-133

  11. How to invent a Prolog machine

    • Peter Kursawe
    Pages 134-148

  12. A sequential implementation of Parlog

    • Ian Foster, Steve Gregory, Graem Ringwood, Ken Satoh
    Pages 149-156

  16. A framework for ICAI systems based on inductive inference and logic programming

    • Kazuhisa Kawai, Riichiro Mizoguchi, Osamu Kakusho, Jun'ichi Toyoda
    Pages 188-202

  17. Rational debugging in logic programming

    • Luís Moniz Pereira
    Pages 203-210

  19. Some issues and trends in the semantics of logic programming

    • J. Jaffar, J -L. Lassez, M. J. Maher
    Pages 223-241

  20. Parallel logic programming languages

    • Akikazu Takeuchi, Koichi Furukawa
    Pages 242-254
Back to top

Keywords

Back to top

Bibliographic Information

  • Book Title: Third International Conference on Logic Programming

  • Book Subtitle: Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986. Proceedings

  • Editors: Ehud Shapiro

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/3-540-16492-8

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1986

  • Softcover ISBN: 978-3-540-16492-0Published: 01 June 1986

  • eBook ISBN: 978-3-540-39831-8Published: 30 June 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: IX, 723

  • Topics: Logics and Meanings of Programs, Artificial Intelligence

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation