Skip to main content
  • Conference proceedings
  • © 1986

Third International Conference on Logic Programming

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

Editors:

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

Buy it now

Buying options

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

  2. Efficient management of backtracking in AND-Parallelism

    • M. V. Hermenegildo, R. I. Nasr
    Pages 40-54
  3. An intelligent backtracking algorithm for parallel execution of logic programs

    • Yow-Jian Lin, Vipin Kumar, Clement Leung
    Pages 55-68
  4. Delta Prolog: A distributed backtracking extension with events

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

    • Hisao Tamaki, Taisuke Sato
    Pages 84-98
  6. Logic programs and alternation

    • Petr Štěpánek, Olga Štěpánková
    Pages 99-106
  7. On the complexity of unification sequences

    • Heikki Mannila, Esko Ukkonen
    Pages 122-133
  8. How to invent a Prolog machine

    • Peter Kursawe
    Pages 134-148
  9. A sequential implementation of Parlog

    • Ian Foster, Steve Gregory, Graem Ringwood, Ken Satoh
    Pages 149-156
  10. A framework for ICAI systems based on inductive inference and logic programming

    • Kazuhisa Kawai, Riichiro Mizoguchi, Osamu Kakusho, Jun'ichi Toyoda
    Pages 188-202
  11. Rational debugging in logic programming

    • Luís Moniz Pereira
    Pages 203-210
  12. Some issues and trends in the semantics of logic programming

    • J. Jaffar, J -L. Lassez, M. J. Maher
    Pages 223-241
  13. Parallel logic programming languages

    • Akikazu Takeuchi, Koichi Furukawa
    Pages 242-254

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

Buy it now

Buying options

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