程序设计语言Lisp与Prolog分别是(41)，它们的理论基础分别是(42)它们的数据结构分别是(43)，它们的程序形式分别是(44)，主要应用于(45)。