Skip to main content
SpringerLink
Log in

Input Language of clingo

  • Chapter
  • First Online:
Answer Set Programming

  • 2195 Accesses

Abstract

clingo is the centerpiece of the collection of ASP-related tools created at the University of Potsdam in Germany, called Potassco (for Potsdam Answer Set Solving Collection). Useful documentation and teaching materials, including information on downloading the latest clingo release and on running clingo in your browser, are available at the website of the Potassco project, https://potassco.org.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 54.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 64.99
Price excludes VAT (USA)
  • Durable hardcover 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

Institutional subscriptions

References

  1. Herman Goldstine. The computer from Pascal to von Neumann. Princeton University Press, 1973.

    MATH  Google Scholar 

  2. Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, and Francesco Scarcello. The DLV system for knowledge representation and reasoning. ACM Transactions on Computational Logic, 7(3):499–562, 2006.

    Article  MathSciNet  Google Scholar 

  3. Vladimir Lifschitz. Intelligent instantiation and supersafe rules. In Technical Communications of the 28th International Conference on Logic Programming (ICLP), 2016.

    Google Scholar 

  4. Jorge Lobo, Jack Minker, and Arcot Rajasekar. Foundations of Disjunctive Logic Programming. MIT Press, 1992.

    MATH  Google Scholar 

  5. Ilkka Niemelä and Patrik Simons. Efficient implementation of the well-founded and stable model semantics. In Proceedings Joint International Conference and Symposium on Logic Programming, pages 289–303, 1996.

    Google Scholar 

  6. Ilkka Niemelä and Patrik Simons. Extending the Smodels system with cardinality and weight constraints. In Jack Minker, editor, Logic-Based Artificial Intelligence, pages 491–521. Kluwer, 2000.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Texas at Austin, Austin, TX, USA

    Vladimir Lifschitz

Authors
  1. Vladimir Lifschitz
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

Copyright information

© 2019 Springer Nature Switzerland AG

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

Cite this chapter

Lifschitz, V. (2019). Input Language of clingo. In: Answer Set Programming. Springer, Cham. https://doi.org/10.1007/978-3-030-24658-7_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-24658-7_2

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-24657-0

  • Online ISBN: 978-3-030-24658-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation