From eb96a0c957ac48c419245d842ff1aa43d0d99e27 Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Wed, 30 Apr 2025 19:53:10 +0200 Subject: [PATCH 1/2] ADDED: Section about Scryer Prolog Meetups. --- README.md | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) diff --git a/README.md b/README.md index 11a1b88c..b10d58b9 100644 --- a/README.md +++ b/README.md @@ -882,6 +882,23 @@ Scryer Prolog is also very well suited for teaching and learning Prolog, and for testing syntactic conformance and hence portability of existing Prolog programs. +## Scryer Prolog Meetups + +Scryer Prolog Meetups are an excellent opportunity to present and get +to know the latest developments in Scryer Prolog and its +applications, to exchange ideas about current plans and +future directions, and to discuss projects and visions +in person. + +- [Scryer Prolog Meetup 2023](https://hsd-pbsa.de/veranstaltung/scryer-prolog-meetup-2023/) + in Düsseldorf, Germany. Its [announcement](https://github.com/mthom/scryer-prolog/discussions/1813) + and [discussion](https://github.com/mthom/scryer-prolog/discussions/2160). +- [Scryer Prolog Meetup 2024](https://www.digitalaustria.gv.at/eng/insights/Digital-Austria-Events-EN/Scryer-Prolog-Meetup-2024.html) + in Vienna, Austria. Its [announcement and discussion](https://github.com/mthom/scryer-prolog/discussions/2377). +- **Save the date:** The next Scryer Prolog Meetup will take place on + Nov. 13th and 14th 2025 in Düsseldorf, Germany. More information + will follow soon. + ## Support and discussions If Scryer Prolog crashes or yields unexpected errors, consider filing From ec28872a9a273e377d76857a8050fc60573110fa Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Wed, 30 Apr 2025 19:53:33 +0200 Subject: [PATCH 2/2] correct grammar --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index b10d58b9..456e66bf 100644 --- a/README.md +++ b/README.md @@ -529,7 +529,7 @@ is unified with a term that contains that variable as a proper subterm. For efficiency, the *occurs check* is omitted by default in Scryer Prolog and many other Prolog systems. -In Scryer Prolog, performing unifications which succeed only if the +In Scryer Prolog, unifications which succeed only if the *occurs check* is omitted yield *cyclic terms*, also called *rational trees*. For example: