Picat

Da Wikipedia, l'enciclopedia libera.
Vai alla navigazione Vai alla ricerca
Abbozzo
Questa voce sull'argomento linguaggi di programmazione è solo un abbozzo.
Contribuisci a migliorarla secondo le convenzioni di Wikipedia.

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. URL consultato il 24 ottobre 2016 (archiviato dall'url originale il 25 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.
  • (EN) Neng-Fa Zhou e Jonathan Fruhman, A User's Guide to Picat: Version 3.5 (PDF), su picat-lang.org, 1º luglio 2023. URL consultato il 3 settembre 2023.

Collegamenti esterni[modifica | modifica wikitesto]

  • (EN) Picat, su picat-lang.org.
  Portale Informatica: accedi alle voci di Wikipedia che trattano di informatica
Estratto da "https://it.wikipedia.org/w/index.php?title=Picat&oldid=135264839"