Alma-0

Alma-0
Paradigmmulti-paradigm: constraint, imperative, logic
FamilyWirth Modula
Designed byKrzysztof Apt, Marc Bezem, Jacob Brunekreef, Vincent Partington, Andrea Schaerf
DeveloperCentrum Wiskunde & Informatica
First appeared1997; 27 years ago (1997)
Typing disciplinestatic
ScopeLexical (static)
Websitewww.cwi.nl/en/alma
Major implementations
Alma-0
Influenced by
Modula-2

Alma-0 is a multi-paradigm computer programming language. This language is an augmented version of the imperative Modula-2 language with logic-programming features and convenient backtracking ability.[1] It is small, strongly typed, and combines constraint programming, a limited number of features inspired by logic programming and supports imperative paradigms. The language advocates declarative programming. The designers claim that search-oriented solutions built with it are substantially simpler than their counterparts written in purely imperative or logic programming style.[2] Alma-0 provides natural, high-level constructs for building search trees.[3]

Overview

Since the designers of Alma-0 wanted to create a distinct and substantially simpler proposal than prior attempts to integrate declarative programming constructs (such as automatic backtracking) into imperative programming, the design of Alma-0 was guided by four principles:

  • The logic-based extension should be downward compatible with the underlying imperative programming language
  • The logic-based extension should be upward compatible with a future extension that will support constraint programming
  • The constructs that will implement the extension should support and encourage declarative programming
  • The extension should be kept small: nine new features have been proposed and implemented

Alma-0 can be viewed not only as a specific and concrete programming language proposal, but also as an example of a generic method for extending any imperative programming language with features that support declarative programming.

The feasibility of the Alma-0 approach has been demonstrated through a full implementation of the language (including a description of its semantics) for a subset of Modula-2.[4]

Features

The implemented features in Alma-0 include:

  • Use of boolean expressions as statements and vice versa
  • A dual for the FOR statement that introduces non-determinism in the form of choice points and backtracking
  • A FORALL statement that introduces a controlled form of iteration over the backtracking
  • Unification which, although limited to the use of equality as assignment, yields a new parameter-passing mechanism.

Imperative and logic programming modes

The Alma-0 designers claim that the assignment, which is usually shunned in pure declarative and logic programming, is actually needed in a number of natural situations, including for counting and recording purposes. They also affirm that the means of expression of such "natural" uses of assignment within the logic programming paradigm are unnatural.

References

  1. ^ Liu, Jed; Myers, Andrew C. (2003). "JMatch: Iterable Abstract Pattern Matching for Java". Practical Aspects of Declarative Languages. Lecture Notes in Computer Science. Vol. 2562/2003. pp. 110–127. doi:10.1007/3-540-36388-2_9. ISBN 978-3-540-00389-2.
  2. ^ Partington, Vincent (July 1997). Implementation of an Imperative Programming Language with Backtracking (PDF) (Report). University of Amsterdam Programming, Research Group. Archived (PDF) from the original on 29 November 2023. Retrieved 15 February 2021. Also in Postscript Archived 31 May 2024 at the Wayback Machine.
  3. ^ Van Hentenryck, Pascal; Perron, Laurent; Puget, Jean-François (October 2000). "Search and strategies in OPL". ACM Transactions on Computational Logic. 1 (2): 285–320. CiteSeerX 10.1.1.17.836. doi:10.1145/359496.359529. S2CID 15926704.
  4. ^ Dahl, Veronica (12 February 2003). Practical Aspects of Declarative Languages: 5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings. Springer Science & Business Media. ISBN 978-3-540-00389-2. Archived from the original on 31 May 2024. Retrieved 25 February 2023.

Read other articles:

Piper MaruEpisode The X-FilesNomor episodeMusim 3Episode 15SutradaraRob BowmanPenulisFrank SpotnitzChris CarterKode produksi3X15Tanggal siar9 Februari 1996Durasi44 menitKronologi episode ← SebelumnyaGrotesque Selanjutnya →Apocrypha Piper Maru adalah episode kelima belas dari musim ketiga dari serial televisi fiksi ilmiah The X-Files. Episode tersebut tayang perdana di saluran Fox pada 9 Februari 1996. Catatan kaki Referensi Edwards, Ted (1996). X-Files Confidential. Little,...

 

Railway stop in Isle of Man, the UK SantonSkylley StondaneThe Isle of Man Railway Co., Ltd.The 1875 Station BuildingGeneral informationLocationOff Castletown Road, Santon Newtown, Malew, Isle of Man, IM8 4RR.CoordinatesOrdnance Survey National Grid54.1182°N ′4.5841°WOwned byIsle of Man GovernmentDepartment of InfrastructureLine(s)Port Erin (South) Line Between Douglas & Port ErinPlatformsTwo, Half-Height RaisedOne Bay Siding, Half-Height RaisedTracksTwo Running LinesBay SidingHistoryO...

 

American conductor, composer and publisher For other people named James Hewitt, see James Hewitt (disambiguation).James Hewittportrait attributed to John HoppnerBorn4 June 1770 Dartmoor Died2 August 1827  (aged 57)Boston OccupationComposer, conductor, publisher ChildrenJohn Hill Hewitt, Sophia Hewitt Ostinelli, James Lang Hewitt, George Washington Hewitt  James Hewitt (June 4, 1770 – August 2, 1827) was an American conductor, composer, and music publisher. Born...

Artikel ini perlu dikembangkan agar dapat memenuhi kriteria sebagai entri Wikipedia.Bantulah untuk mengembangkan artikel ini. Jika tidak dikembangkan, artikel ini akan dihapus. artikel ini perlu dirapikan agar memenuhi standar Wikipedia. Tidak ada alasan yang diberikan. Silakan kembangkan artikel ini semampu Anda. Merapikan artikel dapat dilakukan dengan wikifikasi atau membagi artikel ke paragraf-paragraf. Jika sudah dirapikan, silakan hapus templat ini. (Pelajari cara dan kapan saatnya untu...

 

This article includes a list of references, related reading, or external links, but its sources remain unclear because it lacks inline citations. Please help to improve this article by introducing more precise citations. (October 2023) (Learn how and when to remove this template message) Porac AirfieldPart of Fifth Air ForcePorac AirfieldPorac Airfield (Philippines) Coordinates15°04′21.43″N 120°32′32.95″E / 15.0726194°N 120.5424861°E / 15.0726194; 120.54248...

 

Private university in Japan Aichi Gakuin University愛知学院大学Aichi Gakuin University in NisshinOther nameAGU あいぐTypePrivateEstablished1876 (1876)Academic staff513 [1]Studentsc.12,000Undergraduates11,424[2]LocationNisshin, Aichi Chikusa-ku, Nagoya, Japan35°09′43″N 137°02′49″E / 35.162°N 137.047°E / 35.162; 137.047 (Nisshin campus)CampusMultiple campusesWebsitewww.agu.ac.jp/english/index.html Aichi Gakuin University (愛知...

Multimedia amusement park in western France This article does not cite any sources. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Futuroscope – news · newspapers · books · scholar · JSTOR (August 2023) (Learn how and when to remove this template message) FuturoscopePreviously known as Planète FuturoscopeFuturoscope view from the GyrotourLocationChasseneuil-du-Po...

 

Convention center in Xinyi, Taipei, Taiwan Taipei International Convention Center臺北國際會議中心LocationXinyi, Taipei, TaiwanCoordinates25°02′00″N 121°33′38″E / 25.03333°N 121.56056°E / 25.03333; 121.56056OperatorTaiwan External Trade Development CouncilOpened1989Enclosed space • Total space14,727 m2Public transit accessTaipei 101–World Trade Center StationWebsiteOfficial website The Taipei International Convention Center (T...

 

2004 film by Mark Waters This article is about the 2004 film. For the musical based on the film, see Mean Girls (musical). For the upcoming film, see Mean Girls (2024 film). Not to be confused with Mean Girl. Mean GirlsTheatrical release posterDirected byMark WatersScreenplay byTina FeyBased onQueen Bees and Wannabesby Rosalind WisemanProduced byLorne MichaelsStarring Lindsay Lohan Rachel McAdams Tim Meadows Ana Gasteyer Lizzy Caplan Amy Poehler Tina Fey CinematographyDaryn OkadaEdited byWend...

Neighborhood of Chennai, India For the constituency, see Anna Nagar (State Assembly Constituency). For the neighbourhood in Tiruchirappalli, see Anna Nagar, Tiruchirappalli. Neighbourhood in Chennai, Tamil Nadu, IndiaAnna Nagar NaduvankaraiNeighbourhoodAnna Nagar Tower Park in the neighbourhoodAnna NagarAnna Nagar (Chennai)Show map of ChennaiAnna NagarAnna Nagar (Tamil Nadu)Show map of Tamil NaduAnna NagarAnna Nagar (India)Show map of IndiaCoordinates: 13°05′06″N 80°12′36″E ...

 

2012 novel by Clive and Dirk Cussler Poseidon's Arrow AuthorClive Cussler & Dirk CusslerCountryUnited StatesLanguageEnglishSeriesDirk Pitt adventure novelsGenreThriller novelPublisherPutnamPublication dateNovember 6, 2012Media typePrint (hardcover)[1]Pages528 pp (hardcover edition)ISBN0-399-16292-5 (hardcover)Preceded byCrescent Dawn (2010)[2][3] Followed byHavana Storm (2014)[4]  Poseidon's Arrow is a Dirk Pitt novel, the twenty-se...

 

КоммунаЛа-ЖенетузLa Genétouze 45°13′00″ с. ш. 0°01′00″ з. д.HGЯO Страна  Франция Регион Пуату — Шаранта Департамент Шаранта Приморская Кантон Монгион История и география Площадь 37,03 км²[1] Часовой пояс UTC+1:00, летом UTC+2:00 Население Население 212 человек (2010) Цифров...

1897 science fiction novel by H. G. Wells This article is about the H. G. Wells novel. For the Ralph Ellison novel, see Invisible Man. For other uses, see The Invisible Man (disambiguation). The Invisible Man First edition cover (UK)AuthorH. G. WellsCountryUnited KingdomLanguageEnglishGenreScience fiction novelPublished1897PublisherC. Arthur Pearson (UK)Edward Arnold (US)Media typePrint (hardback & paperback)Pages149TextThe Invisible Man at Wikisource The Invisible Man is a science f...

 

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

 

British web series CarpoolGenreTalk showCreated byRobert LlewellynStarringRobert LlewellynOriginal languageEnglishNo. of episodes106 (list of episodes)ProductionRunning time10–30 minutesOriginal releaseNetworkwww.llewtube.comiTunesYouTubeRelease9 January 2009 (2009-01-09) –9 July 2014 (2014-07-09)RelatedCarpool Carpool is a web series presented by English actor and comedian Robert Llewellyn. In each episode he interviews a guest while giving them a lift in an eco-friendly c...

Den här artikeln behöver källhänvisningar för att kunna verifieras. (2022-12) Åtgärda genom att lägga till pålitliga källor (gärna som fotnoter). Uppgifter utan källhänvisning kan ifrågasättas och tas bort utan att det behöver diskuteras på diskussionssidan. Elov & Beny Elov & Beny, dagen innan den första mellodeltävlingen (repetition) i Göteborg, 2023.FödelsedatumElov: 23 april 1989 (34 år)Beny: 7 november 1990 (33 år)Bakgrund Örebro, SverigeNational...

 

School in Fulham, London, EnglandFulham SchoolAddress200 Greyhound RoadFulham, London, W14 9SDEnglandCoordinates51°29′11″N 0°12′35″W / 51.4865°N 0.2097°W / 51.4865; -0.2097InformationTypePrivate senior and preparatory day schoolEstablished1996FounderJane EmmettLocal authorityHammersmith and FulhamParent organistationInspired Education GroupDepartment for Education URN131165 TablesOfstedReportsChairNick Wergan[1]Head of Senior SchoolDr Philip PurvisH...

 

Cooper FoundationFormation1934TypeEducational organizationHeadquartersLincoln, NE, United StatesChairJack CampbellKey peopleLinda CrumpConnie DuncanBrad KorellT.J. McDowell Jr.Revenue (2015) $1,521,726[1]Expenses (2015)$1,128,798[1]Websitewww.cooperfoundation.org The Cooper Foundation of Lincoln, Nebraska, is a charitable and educational organization established in 1934 by Joseph H. Cooper, a long-time theater owner and former partner of Paramount Pictures. It supports nonprof...

Shivakiar IbrahimPrincipessa d'Egitto Sua Altezza Reale Nome completoShivakiar Ibrahim Khatoum Hanim[1] NascitaIstanbul, 25 ottobre 1876 MorteIl Cairo, 17 febbraio 1947 Luogo di sepolturaQarafa (Il Cairo) Casa realealawita Dinastiaottomana PadreIbrahim Fahmi Ahmad Pascià MadreVijdan Navjuvan Khanum ConiugiFu'ad I(m. 1896 - div. 1898)Abdul Rauf Sabit Bey(m. 1900 - div. 1903)Saifullah Yusri Pascià(m. 1904 - div. 1916)Muhammad Salim Khalil Bey Demirkan(m. 5 1917 div. 2 1925)Ilhami...

 

Halaman ini berisi artikel tentang organisme parasit. Untuk infeksi, lihat Enterobiasis. Halaman ini berisi artikel tentang the nematoda dari familia Enterobius, dikenal sebagai pinworm di USA (Cacing kremi di Indonesia). Untuk nematoda lain yang juga disebut pinworm, lihat Strongyloides stercoralis. Cacing keremi Enterobius vermicularis Enterobius vermicularis Klasifikasi ilmiah Domain: Eukaryota Kerajaan: Animalia Filum: Nematoda Kelas: Chromadorea Ordo: Rhabditida Superfamili: Oxyuroidea F...

 

Strategi Solo vs Squad di Free Fire: Cara Menang Mudah!