diff --git a/README.md b/README.md
index b0e9e03..ca42bd9 100644
--- a/README.md
+++ b/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
 
diff --git a/abl/reasoning/kb.py b/abl/reasoning/kb.py
index c3665a8..0954cd6 100644
--- a/abl/reasoning/kb.py
+++ b/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."
diff --git a/docs/Overview/Installation.rst b/docs/Overview/Installation.rst
index 2f21628..c929939 100644
--- a/docs/Overview/Installation.rst
+++ b/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>`_.
\ No newline at end of file
+For Windows and Mac users, please refer to the `SWI-Prolog Install Guide <https://github.com/yuce/pyswip/blob/master/INSTALL.md>`_.
\ No newline at end of file
diff --git a/docs/README.rst b/docs/README.rst
index e0dc892..15ca9ad 100644
--- a/docs/README.rst
+++ b/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
 ----------