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.