Editing Alma-0 (section)

{{Use dmy dates|date=June 2022}}
{{Primary sources|date=April 2011}}
{{Infobox programming language
|name = Alma-0
|logo =
|paradigm = [[Multi-paradigm programming language|multi-paradigm]]: [[Constraint programming|constraint]], [[Imperative programming|imperative]], [[Logic programming|logic]]
|family = [[Niklaus Wirth|Wirth]] [[Modula]]
|designers = [[Krzysztof R. Apt|Krzysztof Apt]], Marc Bezem, Jacob Brunekreef, Vincent Partington, Andrea Schaerf
|developer = [[Centrum Wiskunde & Informatica]]
|released = {{Start date and age|1997}}
|latest release version =
|latest release date =
|typing = [[Type system|static]]
|scope = [[Scope (computer science)|Lexical]] (static)
|implementations = Alma-0
|dialects =
|influenced by = [[Modula-2]]
|website = {{URL|www.cwi.nl/en/alma}}
}}
'''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.<ref>{{cite book
 |last1=Liu |first1=Jed |last2=Myers |first2=Andrew C. |title=Practical Aspects of Declarative Languages |chapter=JMatch: Iterable Abstract Pattern Matching for Java |series=Lecture Notes in Computer Science |year=2003
 |volume=2562/2003 |pages=110–127 |doi=10.1007/3-540-36388-2_9 |isbn=978-3-540-00389-2}}</ref> It is small, [[Strongly typed programming language|strongly typed]], and combines [[constraint programming]], a limited number of features inspired by [[logic programming]] and supports [[Imperative programming|imperative]] [[programming paradigm|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.<ref>{{Cite report |last=Partington |first=Vincent |date=July 1997 |title=Implementation of an Imperative Programming Language with Backtracking |url=http://www.klomp.org/vinny/P9712.pdf |publisher=University of Amsterdam Programming, Research Group |access-date=15 February 2021 |archive-date=29 November 2023 |archive-url=https://web.archive.org/web/20231129091208/http://www.klomp.org/vinny/P9712.pdf |url-status=live }} Also in [http://www.cwi.nl/~apt/partington.ps Postscript] {{Webarchive|url=https://web.archive.org/web/20240531214535/http://www.cwi.nl/~apt/partington.ps |date=31 May 2024 }}.</ref> Alma-0 provides natural, high-level constructs for building search trees.<ref>{{cite journal |last1=Van Hentenryck |first1=Pascal |last2=Perron |first2=Laurent |last3=Puget |first3=Jean-François |date=October 2000 |title=Search and strategies in OPL
 |journal=ACM Transactions on Computational Logic
 |volume=1 |issue=2 |pages=285–320
 |doi=10.1145/359496.359529 |citeseerx=10.1.1.17.836|s2cid=15926704 }}</ref>