为了在 Python 中开始逻辑编程，需要安装以下两个包 -
Kanren 它为我们提供了一种简化业务逻辑编写代码的方式。 它让我们用规则和事实来表达逻辑。 以下命令来安装 kanren-
kanren
pip install kanren
SymPy SymPy 是符号数学的 Python 库。 它旨在成为一个全功能的计算机代数系统 (CAS)，同时保持代码尽可能简单，以便易于理解和扩展。 以下命令是用来安装 SymPy -
pip install sympy