In Prolog, procedures are called predicate. Following are the two reasons because of which it is also known as procedural language. The two unusual aspects of Prolog are: