prolog

prolog recursive predicate/function
prolog function/predicate examples
prolog arithmetic examples
prolog installation, hello world program and run it