OASIcs.SLATE.2013.5.pdf
- Filesize: 249 kB
- 2 pages
Document
Picat: A Scalable Logic-based Language and System (Invited Talk)
Author
-
Part of:
Volume:
2nd Symposium on Languages, Applications and Technologies
Series: Open Access Series in Informatics (OASIcs)
Conference: Symposium on Languages, Applications and Technologies (SLATE) - License:
Creative Commons Attribution 3.0 Unported license
- Publication date: 2013-06-05
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
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)
0PDF Downloads