前言
最近在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教程參考
后續
然而經實踐證明vs2019的python編輯器還是有諸多問題...所以我的建議還是直接從官網下載pthon，可以控制台交互式編程也可以用自帶的 IDLE ，再不行還能用 PyCharm 輕便快捷 /doge