Парадигма: вычисления с откатами
Языки с поддержкой этой парадигмы поддерживают в явном виде откат в предыдущему состоянию. Например, это Prolog и Icon.
- Icon (диалекты: Extended Icon)
- Mercury
-
Prolog
(диалекты:
Edinburgh Prolog,
ISO Prolog,
Strawberry Prolog)
- Arity Prolog
- Arity/Prolog32
-
B-Prolog
- B-Prolog 1.0
- B-Prolog 1.2
- B-Prolog 1.5
- B-Prolog 1.6
- B-Prolog 2.0
- B-Prolog 2.1
- B-Prolog 3.0
- B-Prolog 3.1
- B-Prolog 3.2
- B-Prolog 4.0
- B-Prolog 5.0
- B-Prolog 5.0-a
- B-Prolog 5.0-b
- B-Prolog 6.0
- B-Prolog 6.0 beta
- B-Prolog 6.1
- B-Prolog 6.2
- B-Prolog 6.4
- B-Prolog 6.5
- B-Prolog 6.6
- B-Prolog 6.7
- B-Prolog 6.7-1
- B-Prolog 6.7-3
- B-Prolog 6.8
- B-Prolog 6.9
- B-Prolog 7.0
- B-Prolog 7.1beta4
- B-Prolog 7.4-3
- B-Prolog 8.0
- BinProlog
- Brain Aid Prolog
- Ciao Prolog
- CxProlog
- ECLiPSe CLP
- EZY Prolog
- GNU Prolog
- IF/Prolog
- JIProlog
- K-Prolog
- MINERVA
- Open Prolog
- PDC/Turbo Prolog
- Poplog (Prolog)
- Qu-Prolog
- SICStus Prolog
- SWI-Prolog
- Trinc-Prolog
- Visual Prolog
- YAP