IMDEA Software

IMDEA initiative

Home > Events > Invited Talks > 2013 > The Picat Language and System

Neng-Fa Zhou

Monday, June 17, 2013

4:00pm Meeting room 302 (Mountain View), level 3

Neng-Fa Zhou, Professor, The City University of New York

The Picat Language and System

Abstract:

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.