Functional logic languages are a class of multiparadigm language, where the goal is to combine the two most important types of declarative languages: functional languages and logic-based languages. They are hybrid languages, based on (higher-order) predicate calculus extended with characteristics of the lambda-calculus which allows introducing elements such as (strong(er)) typing. The commonly accepted, proper nomenclature for these languages is: Functional Logic. Compared to pure functional languages, functional logic languages are more expressive, via availability of features like function inversion, partial data structures, existential variables, non-deterministic search. Compared to pure logic languages, functional logic languages are more efficient operationally since functions allow more efficient evaluation strategies (lazy evaluation, deterministic reductions) than predicates. Activity in this area has risen sharply since the early 1990s.
  • ALF Foundation: Horn clause logic with equality which consists of predicates and Horn clauses for logic programming, and functions and equations for functional programming. A full integration of both programming models, so any functional expression can be used in a goal literal and arbitrary predicates can occur in conditions of equations.
  • BABEL Operational semantics based on lazy narrowing; provides some higher-order features.
  • Curry Multiparadigm declarative programming language seamlessly merges functional, logic, and concurrent programming paradigms; covers the most important operational principles in the area of integrated functional logic languages.
  • Escher Declarative, general-purpose language, merges best features of functional and logic languages. Has types and modules, higher-order and meta-programming facilities, declarative input/output. Set of system modules provides many operations on standard data types: integers, lists, characters, strings, sets, programs.
  • Functional Logic Programming Michael Hanus's pages on amalgamating functional and logic programming.
  • HAL Strongly typed, weakly moded, constraint-logic functional language designed to support construction, extension, and use of new constraint solvers.
  • LPG Generic functional logic language: functions defined by conditional rewrite rules, predicates defined by Horn clauses whose bodies may contain equations, disequations, or classical atomic formulae. Extant version uses extension of SLD-resolution merged with innermost narrowing.

Inter CAFFE

31 korisnika prisutno: 0 registrovanih i 31 senkica. Ulogovani: Nema
Filigranska kapija od stihova - Dejan Milenković
16.08.2019 22:52, tragalac@Umetnost
Muzika, tekst - moja omiljena pesma
14.06.2019 08:02, Sammir@Umetnost
Potrosacko drustvo iz vizure jednog potrosaca
14.06.2019 08:00, Sammir@Posao
Vicevi - Mujo, Haso, Lala, Sosa, plavuse i ostali
14.06.2019 07:53, Sammir@Opušteno
Dobro došli - predstavite se
14.06.2019 07:51, Sammir@Opušteno
Poezija - najlepsi stihovi
16.04.2019 08:23, tragalac@Umetnost
Preporuke za citanje - preporucite knjigu, zanimljivo stivo
18.03.2019 10:58, solium@Umetnost
Miroslav Mika Antic - neki pesnik iz Mokrina
12.03.2019 23:11, Maxa@Umetnost

Vesti

Vučić s Majom Pavlović: Pomoći ćemo da se reši problem

Sudar kod Kraljeva: Povređeno petoro mladih, dve devojke u teškom stanju

Ne zna se sudbina četiri hiljade Srba nestalih u ratovima devedesetih

Država povećala vlasnički udeo u Aerodromu "Nikola Tesla"

Nacrtana akcija Partizana: "Bukvalno me je pogodio u čelo" VIDEO

Hodžaj: Taksama usloviti Beograd za povlačenje priznanja

Lajčak: Realnost Kosova je da nije priznato od pet članica EU; Srbija ne bi trebala da potpisuje ugovor sa Evroazijskom unijom

Naslovi.net, 30.8.2019 13:22

Virtuelne razglednice

za rodjendan, godišnjicu braka, srećnu slavu, ženidbu, udaju, položen vozački, prijem u radni odnos...