[FIX] Change SWI-Prolog to the correct case

README.md

@@ -56,9 +56,9 @@ cd ABL-Package
 pip install -v -e .
 ```
 
-### (Optional) Install Swi-Prolog
+### (Optional) Install SWI-Prolog
 
-If the use of a [Prolog-based knowledge base](https://www.lamda.nju.edu.cn/abl_test/docs/build/html/Intro/Reasoning.html#prolog) is necessary, please also install [Swi-Prolog](https://www.swi-prolog.org/):
+If the use of a [Prolog-based knowledge base](https://www.lamda.nju.edu.cn/abl_test/docs/build/html/Intro/Reasoning.html#prolog) is necessary, please also install [SWI-Prolog](https://www.swi-prolog.org/):
 
 For Linux users:
 
@@ -66,7 +66,7 @@ For Linux users:
 sudo apt-get install swi-prolog
 ```
 
-For Windows and Mac users, please refer to the [Swi-Prolog Install Guide](https://github.com/yuce/pyswip/blob/master/INSTALL.md).
+For Windows and Mac users, please refer to the [SWI-Prolog Install Guide](https://github.com/yuce/pyswip/blob/master/INSTALL.md).
 
 ## Examples
 

abl/reasoning/kb.py

@@ -481,7 +481,7 @@ class PrologKB(KBBase):
             import pyswip
         except (IndexError, ImportError):
             print(
-                "A Prolog-based knowledge base is in use. Please install Swi-Prolog using the"
+                "A Prolog-based knowledge base is in use. Please install SWI-Prolog using the"
                 + "command 'sudo apt-get install swi-prolog' for Linux users, or download it "
                 + "following the guide in https://github.com/yuce/pyswip/blob/master/INSTALL.md "
                 + "for Windows and Mac users."

docs/Overview/Installation.rst

@@ -29,10 +29,10 @@ sequentially run following commands in your terminal/command line.
     cd ABL-Package
     pip install -v -e .
 
-(Optional) Install Swi-Prolog
+(Optional) Install SWI-Prolog
 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 
-If the use of a :ref:`Prolog-based knowledge base <prolog>` is necessary, the installation of `Swi-Prolog <https://www.swi-prolog.org/>`_ is also required:
+If the use of a :ref:`Prolog-based knowledge base <prolog>` is necessary, the installation of `SWI-Prolog <https://www.swi-prolog.org/>`_ is also required:
 
 For Linux users:
 
@@ -40,4 +40,4 @@ For Linux users:
 
     sudo apt-get install swi-prolog
 
-For Windows and Mac users, please refer to the `Swi-Prolog Install Guide <https://github.com/yuce/pyswip/blob/master/INSTALL.md>`_.
+For Windows and Mac users, please refer to the `SWI-Prolog Install Guide <https://github.com/yuce/pyswip/blob/master/INSTALL.md>`_.

docs/README.rst

@@ -49,10 +49,10 @@ sequentially run following commands in your terminal/command line.
     cd ABL-Package
     pip install -v -e .
 
-(Optional) Install Swi-Prolog
+(Optional) Install SWI-Prolog
 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 
-If the use of a :ref:`Prolog-based knowledge base <prolog>` is necessary, the installation of `Swi-Prolog <https://www.swi-prolog.org/>`_ is also required:
+If the use of a :ref:`Prolog-based knowledge base <prolog>` is necessary, the installation of `SWI-Prolog <https://www.swi-prolog.org/>`_ is also required:
 
 For Linux users:
 
@@ -60,7 +60,7 @@ For Linux users:
 
     sudo apt-get install swi-prolog
 
-For Windows and Mac users, please refer to the `Swi-Prolog Install Guide <https://github.com/yuce/pyswip/blob/master/INSTALL.md>`_.
+For Windows and Mac users, please refer to the `SWI-Prolog Install Guide <https://github.com/yuce/pyswip/blob/master/INSTALL.md>`_.
 
 References
 ----------