added javadoc and made final
added link to "Prolog for Programmers"
started on append/3 - partly resolves #23