author | Jan Wielemaker |
| Wed Jun 16 09:15:40 2021 +0200 |
committer | Jan Wielemaker |
| Wed Jun 16 09:15:40 2021 +0200 |
commit | 3250a930fb4ccc258de8b2401e3d526265731abf |
tree | 4e1854c7bde242d88ed526b790bad867584bbbde |
parent | 830806bd6d890a2079507af7bf66f396bc16c676 |
diff --git a/GetStarted.md b/GetStarted.md
index 14c5136..5b13086 100644
--- a/GetStarted.md
+++ b/GetStarted.md
@@ -8,21 +8,21 @@ are some options.
in math and functional programming helps to some extend. Start with a good
introduction text. Examples are
- - [Simply Logical](http://book.simply-logical.space/)
- - [Learn Prolog Now](http://lpn.swi-prolog.org/)
+ - [Simply Logical](http://book.simply-logical.space/)
+ - [Learn Prolog Now](http://lpn.swi-prolog.org/)
Both are online text books that embed [SWISH](https://swish.swi-prolog.org).
SWISH is an online version of SWI-Prolog. SWISH differs from a local SWI-Prolog
installation:
- - As it runs on a shared server it enforces a __sandbox__ that doesn't allow
- running any dangerous code and rejects code it cannot _prove_ to be safe.
- - No state is maintained between queries.
- - Input/output, concurrency and many other SWI-Prolog features are not or
- only in a limited way supported.
- - It does provide a nice web based interface that allows for rich output
- based on HTML or high level vizualization libraries such as
- [C3.js](https://c3js.org/)
+ - As it runs on a shared server it enforces a __sandbox__ that doesn't allow
+ running any dangerous code and rejects code it cannot _prove_ to be safe.
+ - No state is maintained between queries.
+ - Input/output, concurrency and many other SWI-Prolog features are not or
+ only in a limited way supported.
+ - It does provide a nice web based interface that allows for rich output
+ based on HTML or high level vizualization libraries such as
+ [C3.js](https://c3js.org/)
- __I've made my first steps at Prolog and want to start a real project.__ Start
with a local installation for your platform. Familiarise yourself with the
@@ -47,3 +47,4 @@ are some options.
+