Forward chaining approach is used by Logical inference algorithms in Artificial Intelligence. The basic idea is explained with an example in this video.
No download links available.
