Funkcional logikalıq programmalastırıw

Funkcional logikalıq programmalastırıw — bul bir programmalastırıw tilinde funkcional programmalastırıw hám logikalıq programmalastırıw paradigmalarınıń birikpesiAntoy, Sergio, and Michael Hanus. "Functional logic programming." Commun. ACM 53.4 (2010): 74–85.. Programmalastırıwdıń bul usılı Curry hám Mercury sıyaqlı hár túrli programmalastırıw tillerinde sáwlelengenHanus, Michael, Herbert Kuchen, and Juan Jose Moreno-Navarro. "Curry: A truly functional logic language." Proc. ILPS. Vol. 95. No. 5. 1995.Antoy, Sergio, and Michael Hanus. "Functional logic programming." Commun. ACM 53.4 (2010): 74–85.. Jaqınıraq mısal — VerseAUGUSTSSON, BREITNER, CLAESSEN, JHALA, PEYTON JONES, SHIVERS, SWEENEY. "The Verse Calculus: a Core Calculus for Functional Logic Programming.".
Funkcional hám logikalıq programmalastırıwdıń integraciyasına arnalǵan jurnal 1995 hám 2008-jıllar arasında MIT Press hám Evropa Programmalastırıw Tilleri hám Sistemaları Associaciyası tárepinen baspadan shıǵarılǵan.

 Derekler 

Kategoriya:Programmalastırıw paradigmaları
__BÖLİDİMÖNDEMEW__