Foreword: Since there is a high probability that I will change computers in the future, and many installation packages have been deleted by me, and many engineering software still require activation and other more complicated operations, I decided Post the download tutorials I followed when downloading some engineering software here to save time in the future.
Typora (requires activation, scientific Internet access is required when downloading the installation package):
ps: Please be sure to download the installation package of version 1.4.8, which can be found by scrolling down the official website. Otherwise, if you download the latest version, a pop-up window will pop up asking you to purchase or enter the serial number.
prolog (no activation or scientific Internet required)
Installation package download:SWI-Prolog download
Installation tutorial:SWI-Prolog download and use _swiplog-CSDN Blog
Getting Started Tutorial:Prolog Getting Started Tutorial (Full Version + Expert System Case)-CSDN Blog