Picat: differenze tra le versioni

Da Wikipedia, l'enciclopedia libera.
Vai alla navigazione Vai alla ricerca
Differenza successiva →
Contenuto cancellato Contenuto aggiunto
VisualeWikitesto
creazione stub
(Nessuna differenza)

Versione delle 23:16, 24 ott 2016

Abbozzo informatica
Questa voce sull'argomento informatica è solo un abbozzo.
Contribuisci a migliorarla secondo le convenzioni di Wikipedia. Segui i suggerimenti del progetto di riferimento.

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

  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

  • (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

  • (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=83954964"