I thought I had it all figured out

But then this fucker had to post some Prolog code and I was mesmerized. Fuck. FUCK.

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Could someone explain to me what makes Prolog special? What does declarative logic programming have over untyped lambda calculus as a computational model? It seems to me as if the latter maps better to what the machine actually does, but that might just be me.

Sorry, I'm very new to all this.

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)

iF4EAREKAAYFAlDovBwACgkQGRQwWY30ng319gEAiv5hYGxnWspD+jnFSMZUQhbK
qHFz3IVI1jpQyaftayoBAILA6+c45HvZ931MprMT8htL2Wfdc8PZHAIxwI/N72DA
=bAE1
-----END PGP SIGNATURE-----