License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/OASIcs.SLATE.2013.5
URN: urn:nbn:de:0030-drops-40273
Go to the corresponding OASIcs Volume Portal

Zhou, Neng-Fa

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

2.pdf (0.2 MB)


This talk will give the design principles of the Picat language (, 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.

BibTeX - Entry

  author =	{Neng-Fa Zhou},
  title =	{{Picat: A Scalable Logic-based Language and System (Invited talk)}},
  booktitle =	{2nd Symposium on Languages, Applications and Technologies},
  pages =	{5--6},
  series =	{OpenAccess Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-52-1},
  ISSN =	{2190-6807},
  year =	{2013},
  volume =	{29},
  editor =	{Jos{\'e} Paulo Leal and Ricardo Rocha and Alberto Sim{\~o}es},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{},
  URN =		{urn:nbn:de:0030-drops-40273},
  doi =		{10.4230/OASIcs.SLATE.2013.5},
  annote =	{Keywords: Functions, Relations, Loops, Constraints, Tabling}

Keywords: Functions, Relations, Loops, Constraints, Tabling
Collection: 2nd Symposium on Languages, Applications and Technologies
Issue Date: 2013
Date of publication: 05.06.2013

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI