Merge pull request #2930 from triska/meetups
ADDED: Section about Scryer Prolog Meetups.
This commit is contained in:
19
README.md
19
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
|
||||
|
||||
Reference in New Issue
Block a user