2026-07-25T00:39:44Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:4027 2024-03-06T10:29:11Z ddc:004 open_access

Picat: A Scalable Logic-based Language and System (Invited Talk) Zhou, Neng-Fa Functions Relations Loops Constraints Tabling 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Neng-Fa Zhou 2013 Is Part Of OASIcs, Volume 29, 2nd Symposium on Languages, Applications and Technologies (2013) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/OASIcs.SLATE.2013.5 urn:nbn:de:0030-drops-40273 https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2013.5 eng https://creativecommons.org/licenses/by/3.0/legalcode