Functional logic programming

Functional logic programming is the combination, in a single programming language, of the paradigms of functional programming and logic programming.^[1] This style of programming is embodied by various programming languages, including Curry and Mercury.^[2]^[1] A more recent example is Verse.^[3] A journal devoted to the integration of functional and logic programming was published by MIT Press and the European Association for Programming Languages and Systems between 1995 and 2008.^[4]

References

^ ^a ^b Antoy, Sergio, and Michael Hanus. "Functional logic programming." Commun. ACM 53.4 (2010): 74–85.
^ Hanus, Michael, Herbert Kuchen, and Juan Jose Moreno-Navarro. "Curry: A truly functional logic language." Proc. ILPS. Vol. 95. No. 5. 1995.
^ AUGUSTSSON, BREITNER, CLAESSEN, JHALA, PEYTON JONES, SHIVERS, SWEENEY. "The Verse Calculus: a Core Calculus for Functional Logic Programming."
^ Kuchen, Herbert. "The Journal of Functional and Logic Programming". University of Münster.

External links

Functional logic programming at U. Kiel
"func" library for SWI-Prolog

Programming paradigms (Comparison by language)

Imperative

Structured	Jackson structures Block-structured Modular Non-structured Procedural Programming in the large and in the small Design by contract Invariant-based Nested function
Object-oriented (comparison, list)	Class-based, Prototype-based, Object-based Agent Immutable object Persistent Uniform Function Call Syntax

Declarative

Functional (comparison)	Recursive Anonymous function (Partial application) Higher-order Purely functional Total Strict GADTs Dependent types Functional logic Point-free style Expression-oriented Applicative, Concatenative Function-level, Value-level
Dataflow	Flow-based Reactive (Functional reactive) Signals Streams Synchronous
Logic	Abductive logic Answer set Constraint (Constraint logic) Inductive logic Nondeterministic Ontology Probabilistic logic Query
DSL	Algebraic modeling Array Automata-based (Action) Command (Spacecraft) Differentiable End-user Grammar-oriented Interface description Language-oriented List comprehension Low-code Modeling Natural language Non-English-based Page description Pipes and filters Probabilistic Quantum Scientific Scripting Set-theoretic Simulation Stack-based System Tactile Templating Transformation (Graph rewriting, Production, Pattern) Visual

Concurrent,
distributed,
parallel

Metaprogramming

Attribute-oriented
Automatic (Inductive)
Dynamic
Extensible
Generic
Homoiconicity
Interactive
Macro (Hygienic)
Metalinguistic abstraction
Multi-stage
Program synthesis (Bayesian, Inferential, by demonstration, by example)
Reflective
Self-modifying code
Symbolic
Template

Separation
of concerns

This programming-language-related article is a stub. You can help Wikipedia by expanding it.

Read other articles:

Hutan larangan

Hutan keramat di India Hutan larangan atau Hutan terlarang adalah suatu atau sebagian hutan yang tidak diperkenankan dimasuki sembarangan orang. Hutan larangan adalah suatu jenis hutan yang diklasifikasikan bukan berdasarkan vegetasi atau bentang alam atau hal-hal geografisnya, tetapi berdasarkan nilai sakral yang diyakini oleh masyarakat sekitar terhadap hutan tersebut. Hutan larangan yang dipercayai merupakan tempat bersemayamnya dewa-dewa dan roh nenek moyang dalam berbagai budaya di dunia...

Ted Lieu

Ted Lieu Ted W. Lieu (/ljuː/; lahir 29 Maret 1969) adalah seorang politikus Amerika Serikat yang menjabat sebagai anggota DPR sejak 2015. Lieu adalah salah satu dari 14 anggota Kongres yang merupakan warga naturalisasi Amerika Serikat, semuanya adalah anggota Partai Demokrat. Referensi Pranala luar Wikimedia Commons memiliki media mengenai Ted Lieu. Wikisumber memiliki karya asli dari atau mengenai: Ted Lieu Congressman Ted Lieu official U.S. House website Campaign website Ted Lieu di Curlie...

Banjar Sari, Angsana, Tanah Bumbu

Untuk tempat lain yang bernama sama, lihat Banjarsari. Banjar SariDesaNegara IndonesiaProvinsiKalimantan SelatanKabupatenTanah BumbuKecamatanAngsanaKode pos72275Kode Kemendagri63.10.09.2006 Luas... km²Jumlah penduduk... jiwaKepadatan... jiwa/km² Banjar Sari adalah desa di kecamatan Angsana, Tanah Bumbu, Kalimantan Selatan, Indonesia. Pranala luar (Indonesia) Keputusan Menteri Dalam Negeri Nomor 050-145 Tahun 2022 tentang Pemberian dan Pemutakhiran Kode, Data Wilayah Administrasi Pemeri...

Iván Pillud

Argentine footballer Iván Pillud Pillud with Racing Club in 2014Personal informationFull name Iván Alexis PilludDate of birth (1986-04-24) 24 April 1986 (age 37)Place of birth Capitán Bermúdez, ArgentinaHeight 1.78 m (5 ft 10 in)Position(s) Right-backTeam informationCurrent team Racing ClubNumber 4Youth career San Lorenzo2005–2007 Tiro FederalSenior career*Years Team Apps (Gls)2007–2010 Tiro Federal 26 (0)2008–2009 → Newell's Old Boys (loan) 19 (0)2009–2010 �...

Security

Degree of resistance to, or protection from, harm For other uses, see Security (disambiguation). Security breach redirects here. For the 2021 video game, see Five Nights at Freddy's: Security Breach. Women's Army Corps (1941–1945) associated national security with avoiding conversations about war work.Security is protection from, or resilience against, potential harm (or other unwanted coercion). Beneficiaries (technically referents) of security may be persons and social groups, objects and...

FusionArts Museums

FusionArts MuseumLocationManhattan, New York, United States; Prague, Czech Republic; Easton, Pennsylvania, United StatesDirectorDeborah FriesWebsiteFusionArts Museum FusionArts Museum(s), first founded at 57 Stanton Street on Manhattan's Lower East Side are a series of curated exhibition spaces dedicated to the exhibition and archiving of fusion art. The museum was and remains at its successive locations a not-for-profit gallery operated by Converging Arts Media Organization, a not-for-profi...

Синелобый амазон

Синелобый амазон Научная классификация Домен:ЭукариотыЦарство:ЖивотныеПодцарство:ЭуметазоиБез ранга:Двусторонне-симметричныеБез ранга:ВторичноротыеТип:ХордовыеПодтип:ПозвоночныеИнфратип:ЧелюстноротыеНадкласс:ЧетвероногиеКлада:АмниотыКлада:ЗавропсидыКласс:Пт�...

ترتيب زمني لاكتشاف العناصر الكيميائية

عرف الإنسان منذ القديم بعض العناصر الكيميائية كالذهب والفضة والحديد والنحاس، من ثم تم التعرف على بعض العناصر الأخرى مثل الكبريت والرصاص والفسفور وغيرها وعندما أعلن مندليف في أذار 1869 عن اكتشافه للقانون الدوري تسابق العلماء على اكتشاف الغرف الشاغرة في الجدول الدوري،والآن...

趙家驤

追晉陸軍二級上將趙家驤將軍个人资料出生1910年大清河南省衛輝府汲縣逝世1958年8月23日(1958歲—08—23)（47—48歲） † 中華民國福建省金門縣国籍中華民國政党中國國民黨获奖青天白日勳章（追贈）军事背景效忠中華民國服役國民革命軍中華民國陸軍服役时间1924年－1958年军衔二級上將（追晉）部队四十七師指挥東北剿匪總司令部參謀長陸軍�...

Malmy

MalmycomuneMalmy – Veduta LocalizzazioneStato Francia RegioneGrand Est Dipartimento Marna ArrondissementSainte-Menehould CantoneArgonne Suippe et Vesle TerritorioCoordinate49°11′N 4°48′E / 49.183333°N 4.8°E49.183333; 4.8 (Malmy)Coordinate: 49°11′N 4°48′E / 49.183333°N 4.8°E49.183333; 4.8 (Malmy) Superficie4,8 km² Abitanti26[1] (2009) Densità5,42 ab./km² Altre informazioniCod. postale51800 Fuso orarioUTC+1 Codice I...

الألعاب الأولمبية الصيفية 2024

هذه المقالة حول حدث رياضي مستقبليّ أو منتظر. ومن الممكن أن تكون المعلومات حوله متضاربةً وقد يكون مضمونها متغيرًا تغيراً كبيراً خاصة مع اقتراب انطلاق الحدث. لا تتردد في تحسين المعلومات عن طريق الاستشهاد بمصادر موثوقة. كل عنصر ذو أخبار غير موسوعية يوجه إلى ويكي الأخبار. الأل�...

Questing (horse)

British-bred Thoroughbred racehorse QuestingSireHard SpunGrandsireDanzigDamChercheuseDamsireSeeking the GoldSexFillyFoaled13 April 2009CountryUnited KingdomColourBayBreederDarley StudOwnerGodolphin RacingTrainerJohn GosdenKiaran McLaughlinRecord11:4-2-1Earnings£565,135Major winsCoaching Club American Oaks (2012)Alabama Stakes (2012)AwardsAmerican Champion Three-Year-Old Filly (2012) Questing (foaled 2009) is a British-bred Thoroughbred filly. After beginning her career in England she was tra...

2-я Сибирская стрелковая дивизия

У этого термина существуют и другие значения, см. 2-я дивизия. 2-я Сибирская стрелковая дивизия Годы существования 1883—1918 Страна Россия Входит в 1-й Сибирский армейский корпус Тип Пехота Дислокация Раздольное Медиафайлы на Викискладе 2-я Сибирская стрелковая дивизия — �...

Miss Univers

Pour les articles homonymes, voir Miss. Ne doit pas être confondu avec Miss International, Miss Monde, Miss Terre ou The International Pageant of Pulchritude. Si ce bandeau n'est plus pertinent, retirez-le. Cliquez ici pour en savoir plus. Cet article ne cite pas suffisamment ses sources (mai 2022). Si vous disposez d'ouvrages ou d'articles de référence ou si vous connaissez des sites web de qualité traitant du thème abordé ici, merci de compléter l'article en donnant les références...

Antanas Sutkus

Lithuanian photographer Exhibition of Sutkus's work at Le château d’eau, pôle photographique de Toulouse, France, 2011 Antanas Sutkus (born 27 June 1939) is a Lithuanian photographer.[1] Sutkus is a recipient of the Lithuanian National Prize for Culture and Arts, the Order of the Lithuanian Grand Duke Gediminas,[2] and the Dr. Erich Salomon Award.[3] He was one of the co-founders and a president of the Lithuanian Association of Art Photographers (Lithuanian: Lietuv...

ミラキュラスレディバグ&シャノワール

ミラキュラスレディバグ&シャノワール Miraculous, les aventures de Ladybug et Chat Noir ジャンル変身ヒロイン/ヒーローアニメ：ミラキュラスレディバグ&シャノワールMiraculous: Tales of Ladybug & Cat Noir 原作トーマス・アストリュック監督トーマス・アストリュッククリステル・アブグラル（シーズン2）ウィルフレッド・ペイン（シーズン2）ジュン・バイオレット（シー...

Cabinet of Japan

Executive branch of the Government of Japan Cabinet of Japan内閣NaikakuThe Government Seal of JapanPrime Minister's Official ResidenceAgency overviewFormed22 December 1885; 138 years ago (1885-12-22)Preceding agencyDaijō-kanJurisdictionGovernment of JapanHeadquartersChiyoda, Tokyo, JapanAgency executiveShigeru Ishiba, Prime Minister of JapanChild agenciesNaikaku Sōri Daijin KanteiPrime Minister's Official ResidenceCabinet OfficeMinistries of JapanWebsitehttps://www.kante...

Curry–Howard correspondence

Isomorphism between computer programs and constructive mathematical proofs A proof written as a functional program plus_comm = fun n m : nat => nat_ind (fun n0 : nat => n0 + m = m + n0) (plus_n_0 m) (fun (y : nat) (H : y + m = m + y) => eq_ind (S (m + y)) (fun n0 : nat => S (y + m) = n0) (f_equal S H) (m + S y) (plus_n_Sm m y)) n : forall n m : nat, n + m = m + n A proof of commutativity of addition on natural numbers in the proof assistant Coq. nat_ind stands for mathematical ind...

Point of sale display

Sales promoted A point-of-sale display selling products related to the Easter holiday A point-of-sale display (POS display) is a specialised form of sales promotion that is found near, on, or next to a checkout counter (the point of sale). They are intended to draw the customers' attention to products, which may be new products, or on special offer, and are also used to promote special events, e.g. seasonal or holiday-time sales. POS displays can include free standing display units (FSDU), sh...

Daïra de Rouïba

Cet article est une ébauche concernant Alger et une wilaya algérienne. Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants. Daïra de Rouïba Localisation de la daïra dans la Wilaya d'Alger Administration Pays Algérie Wilaya Alger Chef-lieu Rouïba Nb. communes 3 Géographie Coordonnées 36° 44′ nord, 3° 17′ est Localisation Géolocalisation sur la carte : Algérie Daïra de Rouïba...