-
OM-BACKTRACK is based on the original version for OM 4
by Gerard Assayag and Augusto Agon
Copyright (C) 1997-2003 by IRCAM-Centre Georges Pompidou, Paris, France.
Adapted to OM 7.2 by Paulo Henrique Raposo and Karim Haddad
-
OM-BACKTRACK 2 is an expansion of the previous version.
-
Current version: 2.1.0
Copyright (C) 2024 - Paulo Henrique Raposo
-
WARNING: BECAUSE THE MODIFICATIONS IN THE NONDETERMINISTIC PATCHES MECHANISM, THIS VERSION IS NO LONGER COMPATIBLE WITH THE PREVIOUS VERSION.
-
CHANGES IN VERSION 2:
-> REMOVED PREFERENCES MODULE AND GLOBAL EVALUATIONS;
-> NONDETERMINISTIC PATCHES WAS COMPLETED REVISED AND NOW SUPPORTS LISP FUNCTIONS, LISP PATCHES AND SUB PATCHES;
-> ADDED LOCAL EVALUATIONS: ONE-VALUE, ALL-VALUES, PRINT-VALUES, ITH-VALUE, N-VALUES, POSSIBLY? AND NECESSARILY?;
-> NEW METHODS: EITHER, FAIL, ASSERT!, APPLY-NONDETERMINISTIC AND FUNCALL-NONDETERMINISTIC;
-> NEW TUTORIAL PATCHES BASED ON ORIGINAL PAPERS BY SCREAMER'S AUTHORS.
- CHANGES IN VERSION 2.1.0:
-> Screamer update (4.0.1)
-> New functions: A-RATIONAL-BETWEEN and A-RATIO-BETWEEN
LISP LIBRARIES:
-
SCREAMER 4.0.1 (rational numbers support by Paulo Raposo)
Based on SCREAMER 4.0.0 Mantainer: Nikodemus Siivola https://github.com/nikodemus/screamer
Based on original version 3.20 by Jeffrey Mark Siskind and David Allen McAllester Copyright 1991 Massachusetts Institute of Technology. All rights reserved. Copyright 1992, 1993 University of Pennsylvania. All rights reserved. Copyright 1993 University of Toronto. All rights reserved.
OM-Backtrack is an adaptation of the backtrack part of SCREAMER to the paradigm of visual programming language of Openmusic.
SCREAMER is an extension of Common Lisp that adds support for nondeterministic programming. Screamer consists of two levels. The basic nondeterministic level adds support for backtracking and undoable side effects. On top of this nondeterministic substrate, Screamer provides a comprehensive constraint programming language in which one can formulate and solve mixed systems of numeric and symbolic constraints.
Together, these two levels augment Common Lisp with practically all of the functionality of both Prolog and constraint logic programming languages such as CHiP and CLP(R). Furthermore, Screamer is fully integrated with Common Lisp. Screamer programs can coexist and interoperate with other extensions to as CLIM and Iterate.
ORIGINAL OM-BACKTRACK TUTORIAL PAGE (BY CHARLOTTE TRUCHET): . http://recherche.ircam.fr/equipes/repmus/OpenMusic/user-doc/DocFiles/backtrackTutorial/
OM-BACKTRACK SCREENSHOT:
