Programming languages such as Prolog, Knowledge Machine and ECLiPSe support backward chaining within their inference engines.
Мови програмування, такі як Пролог, Knowledge Machine і ECLiPSe підтримують метод зворотного виводу в своїх механізмах виводу.