為了在 Python 中開始邏輯編程，需要安裝以下兩個包 -

Kanren 它為我們提供了一種簡化業(yè)務(wù)邏輯編寫代碼的方式。 它讓我們用規(guī)則和事實來表達邏輯。 以下命令來安裝 kanren -

pip install kanren

SymPy SymPy 是符號數(shù)學(xué)的 Python 庫。 它旨在成為一個全功能的計算機代數(shù)系統(tǒng) (CAS)，同時保持代碼盡可能簡單，以便易于理解和擴展。 以下命令是用來安裝 SymPy -

pip install sympy