Ich wundere mich ein wenig, dass noch niemand auf die Idee gekommen ist, es könnte eine logische (also deklarative) Programmiersprache (PROLOG, SCHEME u.a.) dahinterstecken. Die zugehörige Wissensbasis (zumindest in Prolog wird der Quelltext so genannt) ist dann die -erweiterbare- Datenbank.
Die Verwendung von Google würde ich hier eher bezweifeln.