前言：由于以后大概率会换电脑，且很多安装包都被我删了，加上很多工程软件还需要激活等比较复杂的操作，我决定把之前下载一些工程软件时跟的下载教程贴在这里，以便以后节省时间。
Typora(需要激活，下载安装包时需要科学上网):
Typora1.4.8保姆式安装教程，超详细；附安装包_typora百度网盘_juechen333的博客-CSDN博客
ps:请一定要下载1.4.8版本的安装包，官网往下翻就有，否则如果下载最新版的话还是会弹出弹窗让你购买或输入序列号。
prolog（不需要激活和科学上网）
安装包下载：SWI-Prolog 下载
安装教程：SWI-Prolog的下载与使用_swiplog-CSDN博客
入门教程：Prolog入门教程（完整版+专家系统案例）-CSDN博客