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.
@InProceedings{zhou:OASIcs.SLATE.2013.5, author = {Zhou, Neng-Fa}, title = {{Picat: A Scalable Logic-based Language and System}}, booktitle = {2nd Symposium on Languages, Applications and Technologies}, pages = {5--6}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-52-1}, ISSN = {2190-6807}, year = {2013}, volume = {29}, editor = {Leal, Jos\'{e} Paulo and Rocha, Ricardo and Sim\~{o}es, Alberto}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2013.5}, URN = {urn:nbn:de:0030-drops-40273}, doi = {10.4230/OASIcs.SLATE.2013.5}, annote = {Keywords: Functions, Relations, Loops, Constraints, Tabling} }
Feedback for Dagstuhl Publishing