Seven Languages in Seven Weeks Prolog Chapter work