The Picat Language and System

June 17, 2013

Neng-Fa Zhou


The Picat Language and System

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

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.