update README

README.md

@@ -2,17 +2,16 @@
 
 Run Julia codes in Prolog.
 
-Prolog is a powerful logic programming language designed for automating
+- Prolog is a powerful logic programming language designed for automating
 first-order logical reasoning.
-
-[Julia](https://julialang.org/) is
+- [Julia](https://julialang.org/) is
 a [high-efficient](https://julialang.org/benchmarks/) Python-like scripting
 programming language designed for data science, machine learning and scientific
 domains.
 
-<span style="font-size:small">Naming of this software: "**JU**lia in **LOGIC** programming" ⇒ (translation)
+Naming of this software: "**JU**lia in **LOGIC** programming" ⇒ (translation)
 "**茱**莉娅 + **逻辑**程序" ⇒ (acronym) "茱逻辑" ⇒ (Mandarin pronunciation) "zhū
-luó jì" ⇒ (pronounce) "**侏**罗纪" ⇒ (translate) "**Jurassic**".</span>
+luó jì" ⇒ (pronounce) "**侏**罗纪" ⇒ (translate) "**Jurassic**".
 
 # Prerequisites