Skip to main content

An Overview of Picat

  • Chapter
  • First Online:
Constraint Solving and Planning with Picat

Part of the book series: SpringerBriefs in Intelligent Systems ((BRIEFSINSY))

  • 600 Accesses

Abstract

Picat is a general-purpose programming language that includes features from multiple programming paradigms . By combining imperative programming’s control flow features with more advanced features from logic programming, functional programming, and scripting, Picat provides users a wide array of tools for efficiently creating programs to solve problems. A comparison with other programming languages shows how Picat programs can be more compact, more intuitive, and easier to read.

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

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
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

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    Picat is freely available at http://picat-lang.org.

  2. 2.

    http://picat-lang.org/download/picat_guide.pdf.

  3. 3.

    In general, all functions can be called by using dot notation.

  4. 4.

    A list is complete if it is empty, or if its tail is complete. For example, [a,b,c] and [X,Y,Z] are complete, but [a,b|T] is not complete if T is a variable.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Neng-Fa Zhou .

Rights and permissions

Reprints and permissions

Copyright information

© 2015 The Author(s)

About this chapter

Cite this chapter

Zhou, NF., Kjellerstrand, H., Fruhman, J. (2015). An Overview of Picat. In: Constraint Solving and Planning with Picat. SpringerBriefs in Intelligent Systems. Springer, Cham. https://doi.org/10.1007/978-3-319-25883-6_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-25883-6_1

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-25881-2

  • Online ISBN: 978-3-319-25883-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics