Sample Prolog Programs

It may be necessary to change the definitions of not, member, and dynamic for various versions of Prolog.