前言

最近在MOOC上聽吳飛教授--人工智慧：模型與演算法，課程中有一節實驗課涉及利用python邏輯程式設計解決著名的斑馬問題和八皇后問題，於是第一次嘗試用python寫程式。首先因為我習慣用vs2019所以選擇直接在vs installer上面安裝了python的相關環境，具體的操作也非常簡單，直接開啟installer然後選擇相應的元件選擇安裝就行，網上搜索也有教程。

然後就到了安裝邏輯程式設計所需的相應第三方包kanren的步驟，我首先參考的是用VS除錯Python程式時怎麼安裝第三方庫——命令列方式的方法，但是發現在PowerShell對話方塊裡面用pip顯示kanren安裝完成後，回到vs編輯器中還是無法識別kanren包的欄位。

隨後我又參考了VS2019 開發Python 引入第三方包的方法，直接在vs解決方案資源管理器裡面新增所需要的包，通過vs來呼叫pip之後成功安裝就能成功呼叫用此方法安裝好的第三方包了（但是原博寫的是他用這個方法失敗了又嘗試了別的方法我也不知道為什麼）。

話不多說上步驟。

VS2019 引入第三方Python包

1. 開啟 解決方案資源管理器 ，右鍵點選 Python環境 下的 PythonX.X(對應版本，我這裡是Python3.7）

2. 在右鍵選單中點選 管理Python程式包

3. 在 Python環境 視窗中，如果圖示位置顯示的是 概述 則將其改為 包(PyPl) ,如果已經是 包(PyPl)

4. 輸入第三方包的名字，這裡以kanren為例，然後點選 執行命令: pip install kanren ,在彈出視窗點選 立即提升 ，給予管理員許可權

5. 輸出 視窗顯示如下，安裝成功

6. 程式測試

kanren教程參考

 python邏輯程式設計之kanren 

python程式設計的邏輯_帶Python的AI –邏輯程式設計