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

Author Neng-Fa Zhou



PDF
Thumbnail PDF

File

OASIcs.SLATE.2013.5.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)
https://doi.org/10.4230/OASIcs.SLATE.2013.5

Abstract

This talk will give the design principles of the Picat language (http://www.picat-lang.org), 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.
Keywords
  • Functions
  • Relations
  • Loops
  • Constraints
  • Tabling

Metrics

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

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail