Alma-0

Alma-0
Paradigm	multi-paradigm: constraint, imperative, logic
Family	Wirth Modula
Designed by	Krzysztof Apt, Marc Bezem, Jacob Brunekreef, Vincent Partington, Andrea Schaerf
Developer	Centrum Wiskunde & Informatica
First appeared	1997
Typing discipline	static
Scope	Lexical (static)
Website	www.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]

^ 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.
^ 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.
^ 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.

[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.

[1]

[2]

[3]