Movatterモバイル変換


[0]ホーム

URL:


Skip to main content

Advertisement

Springer Nature Link
Log in

Logic Programming in Italy: A Historical Perspective

  • Chapter

Part of the book series:Lecture Notes in Computer Science ((LNPSE,volume 6125))

  • 2794Accesses

  • 3Citations

Abstract

The history of Logic Programming in Italy is largely that of GULP, the Italian Association of Users and Researchers in Logic Programming. This paper provides a historical perspective on the birth and development of GULP in the last 25 years. The paper is mainly concerned with what has been done in Italy, but it also points out the many relationships and synergies that emerged—and still exist—in the field of Logic Programming, between Italy and other countries all over the world. I identify three main periods in the history of GULP, which closely correspond to different seasons in the history of Logic Programming in general, and I try to characterize them in terms of activities the GULP supported and of the achievements obtained by its members.

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

Access this chapter

Subscribe and save

Springer+ Basic
¥17,985 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
JPY 3498
Price includes VAT (Japan)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
JPY 5719
Price includes VAT (Japan)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
JPY 7149
Price includes VAT (Japan)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide -see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Aiello, L., Attardi, G., Prini, G.: Towards a More Declarative Programming Style. In: Neuhold, E.J. (ed.) Formal Descriptions of Programming Concepts, pp. 121–137. North-Holland, Amsterdam (1978)

    Google Scholar 

  2. Apt, K.R., Marek, V.W., Truszczynski, M., Warren, D.S. (eds.): The Logic Programming Paradigm: A 25-Year Perspective, pp. 53–71. Springer, Heidelberg (1999)

    MATH  Google Scholar 

  3. Filè, G. (ed.): Ambienti per linguaggi di nuova concezione. Franco Angeli, Milano (1995)

    Google Scholar 

  4. Fuchi, K., Kowalski, R., Furukawa, K., Ueda, K., Kahn, K., Chikayama, T., Tick, E.: Launching the new era. Commun. ACM 36(3), 49–100 (1993)

    Article  Google Scholar 

  5. Gallaire, H.: ECRC: a joint industrial research centre. Future Generation Computer Systems 3(4), 279–283 (1987)

    Article  Google Scholar 

  6. Hewitt, C.: Middle History of Logic Programming Resolution, Planner, Prolog and the Japanese Fifth Generation Project (2009),http://arxiv.org/abs/0904.3036

  7. Kowalski, R.: Logic Programming and the Real World. ALP Newsletter 14(1), 9–11 (2001)

    Google Scholar 

  8. Sessa, M.I. (ed.): 1985-1995: Ten years of Logic Programming in Italy. Palladio, Salerno (I) (1995)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Matematica, Università di Parma,  

    Gianfranco Rossi

Authors
  1. Gianfranco Rossi

Editor information

Editors and Affiliations

  1. Dip. di Matematica e Informatica, Università di Udine, Via delle Scienze 206, 33100, Udine, Italy

    Agostino Dovier

  2. Department of Computer Science, New Mexico State University, P.O. Box 30001, 88003, MSC CS, Las Cruces, NM, USA

    Enrico Pontelli

Rights and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Rossi, G. (2010). Logic Programming in Italy: A Historical Perspective. In: Dovier, A., Pontelli, E. (eds) A 25-Year Perspective on Logic Programming. Lecture Notes in Computer Science, vol 6125. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-14309-0_1

Download citation

Publish with us

Access this chapter

Subscribe and save

Springer+ Basic
¥17,985 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
JPY 3498
Price includes VAT (Japan)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
JPY 5719
Price includes VAT (Japan)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
JPY 7149
Price includes VAT (Japan)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide -see info

Tax calculation will be finalised at checkout

Purchases are for personal use only


[8]ページ先頭

©2009-2025 Movatter.jp