Picat

Da Wikipedia, l'enciclopedia libera.
Jump to navigation Jump to search

Picat è un linguaggio di programmazione multiparadigma basato sulla logica. Simile al Prolog[1], è stato sviluppato da Neng-Fa Zhou, professore di informatica del Brooklyn College.[2]

Il linguaggio è utilizzato per la programmazione a vincoli e per problemi relativi all'intelligenza artificiale.[3][4]

Note[modifica | modifica wikitesto]

  1. ^ (EN) Sergii Dymchenko, An Introduction to Tabled Logic Programming with Picat, su Linux Journal, 22 ottobre 2015.
  2. ^ (EN) Zainab Iqbal, Computer Programming Language Wins Grand Prize at Media Lab Summit, 19 ottobre 2016.
  3. ^ (EN) Hakan Kjellerstrand, My Picat page, su hakank.org.
  4. ^ (EN) Sergii Dymchenko, Artificial intelligence planning with Picat, su sdymchenko.com, 31 gennaio 2015.

Bibliografia[modifica | modifica wikitesto]

  • (EN) Neng-Fa Zhou, Håkan Kjellerstrand e Jonathan Fruhman, Constraint Solving and Planning with Picat, Springer International Publishing, 2015, ISBN 978-3-319-25883-6.

Collegamenti esterni[modifica | modifica wikitesto]

  • (EN) Picat, su picat-lang.org.
Informatica Portale Informatica: accedi alle voci di Wikipedia che trattano di informatica