Document Open Access Logo

Picat: A Scalable Logic-based Language and System (Invited Talk)

Author Neng-Fa Zhou

Thumbnail PDF


  • Filesize: 249 kB
  • 2 pages

Document Identifiers

Author Details

Neng-Fa Zhou

Cite AsGet BibTex

Neng-Fa Zhou. Picat: A Scalable Logic-based Language and System (Invited Talk). In 2nd Symposium on Languages, Applications and Technologies. Open Access Series in Informatics (OASIcs), Volume 29, pp. 5-6, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2013)


This talk will give the design principles of the Picat language (, highlight the high-level and intuitive abstractions provided by Picat for easy programming, and contemplate why Picat is more robust and scalable than Prolog and could be more accessible than Prolog to ordinary programmers for scripting and modeling tasks.
  • Functions
  • Relations
  • Loops
  • Constraints
  • Tabling


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads
Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail