diff --git a/README.md b/README.md index 11a1b88c..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: @@ -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