Prolog
- [HELP] A noob's request for code reviewgithub.com prolog-etudes/basic-list-techniques/mapping_nested.prolog at main · bahmanm/prolog-etudes
A collection of etudes for folks new to Prolog (and sometimes experienced ones) to learn the language in a practical fashion. - bahmanm/prolog-etudes
I just started learning Prolog (based on "Programming in Prolog") and in doing so I've been trying to write code as much as I can.
So far, my little collection of tiny predicates have seemed OK, to my mind.
However, I'm not sure if I'm confident about the most recent piece of Prolog code I've written: https://github.com/bahmanm/prolog-etudes/blob/main/basic-list-techniques/mapping_nested.prolog
Which is why I'm asking if I could please get a code review from the experts. Any hint/feedback is highly appreciated 🙏
- Scryer Prolog Meetup 2023 Notesblog.adrianistan.eu Scryer Prolog Meetup 2023 Notes
<p>The 9th and 10th of November was the Scryer Prolog Meetup 2023 in Düsseldorf. As a <a href="https://www.scryer.pl">Scryer Prolog</a> user and contributor, I was very excited to go to this meeting. Now, I'm back at home and I can write here a report of what happened in this event with the notes I'...
- Prolog Day Symposium
In November 2022, the ALP (Association of Logic Programming) organized the Prolog Day Symposium in Paris to celebrate 50 year of Prolog.
The link is to the slides and videos of the talks.
- Interview with Pascal Hitzler: The Rise of NSAI, Explainability, Concept Induction, and more
YouTube Video
Click to view this content.
- Automatic Differentiation in Prolog
Authors detail a Prolog based approach to automatic differentiation of functions. A future outcome of this present work is the creation of Prolog based Neural Networks.
- Parsing AsciiDoc in Prologgithub.com prolog-asciidoc/parsing-asciidoc-in-prolog.adoc at main · alexpdp7/prolog-asciidoc
Contribute to alexpdp7/prolog-asciidoc development by creating an account on GitHub.
This is a nice example of an intermediate to somewhat advanced application of DCGs.