In this video I have discussed about how to do basic arithmatic in Prolog.
No download links available.