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

Zhou, Neng-Fa

doi:10.4230/OASIcs.SLATE.2013.5

Document

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

Author Neng-Fa Zhou

Part of: Volume: 2nd Symposium on Languages, Applications and Technologies (SLATE 2013)
Part of: Series: Open Access Series in Informatics (OASIcs)
Part of: Conference: Symposium on Languages, Applications and Technologies (SLATE)
License: Creative Commons Attribution 3.0 Unported license
Publication Date: 2013-06-05

PDF

File

PDF

OASIcs.SLATE.2013.5.pdf

Filesize: 249 kB
2 pages

Document Identifiers

DOI: 10.4230/OASIcs.SLATE.2013.5
URN: urn:nbn:de:0030-drops-40273

Subject Classification

Keywords

Functions
Relations
Loops
Constraints
Tabling

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

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.

Cite As Get 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

Author Details

Neng-Fa Zhou

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