From: Markus Triska Date: Tue, 26 May 2020 17:23:33 +0000 (+0200) Subject: ADDED: Logo. X-Git-Tag: v0.8.127~60^2^2 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=7cc92ec1c141b066fcf7151dd9679016a6aa7602;p=scryer-prolog.git ADDED: Logo. Motivation and considerations: - A Scryer certainly needs a raven. Ravens are among the most intelligent animals on earth. - When writing Prolog programs, a few strokes are often enough. - Purple is the colour most associated with magic and royalty, indicating the almost surreal and pure features provided by Scryer, in the lineage of Marseille Prolog. - The shape of the silhouette looks a bit like an "S" for "Scryer". - A square which surrounds the image is traditionally associated with finishing a proof (square, Latin "quadratum", has the same starting letters as "quod erat demonstrandum"). I call this raven: *Cryer*. Cryer is an archaic spelling for "crier", an officer who makes public announcements in a court of justice. The Prolog top-level likewise makes announcements about what is true. --- diff --git a/README.md b/README.md index fcae6824..022cc560 100644 --- a/README.md +++ b/README.md @@ -5,6 +5,8 @@ source industrial strength production environment that is also a testbed for bleeding edge research in logic and constraint programming, which is itself written in a high-level language. +![Scryer Logo: Cryer](logo/scryer.png) + ## Phase 1 Produce an implementation of the Warren Abstract Machine in Rust, done diff --git a/logo/scryer.png b/logo/scryer.png new file mode 100644 index 00000000..7fd46011 Binary files /dev/null and b/logo/scryer.png differ diff --git a/logo/scryer.svg b/logo/scryer.svg new file mode 100644 index 00000000..80ffe24b --- /dev/null +++ b/logo/scryer.svg @@ -0,0 +1,896 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +