Sidebar

Prolog

"Initials" by "Florian Körner", licensed under "CC0 1.0". / Remix of the original. - Created with dicebear.comInitialsFlorian Körnerhttps://github.com/dicebear/dicebearPR
Prolog aarroyoc • 1 month ago • 100%
Logtalk Introduction https://logtalk.org/learning/logtalk_introduction.pdf
1
0
"Initials" by "Florian Körner", licensed under "CC0 1.0". / Remix of the original. - Created with dicebear.comInitialsFlorian Körnerhttps://github.com/dicebear/dicebearPR
Prolog bahmanm • 7 months ago • 100%
[HELP] A noob's request for code review https://github.com/bahmanm/prolog-etudes/blob/main/basic-list-techniques/mapping_nested.prolog

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](https://github.com/bahmanm/prolog-etudes) 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 🙏

3
0
"Initials" by "Florian Körner", licensed under "CC0 1.0". / Remix of the original. - Created with dicebear.comInitialsFlorian Körnerhttps://github.com/dicebear/dicebearPR
Prolog aarroyoc • 10 months ago • 66%
Scryer Prolog Meetup 2023 Notes https://blog.adrianistan.eu/scryer-prolog-meetup-2023-notes
1
2
"Initials" by "Florian Körner", licensed under "CC0 1.0". / Remix of the original. - Created with dicebear.comInitialsFlorian Körnerhttps://github.com/dicebear/dicebearPR
Prolog aarroyoc • 1 year ago • 100%
Scryer Prolog Meetup 2023 https://hsd-pbsa.de/veranstaltung/scryer-prolog-meetup-2023/
1
0
"Initials" by "Florian Körner", licensed under "CC0 1.0". / Remix of the original. - Created with dicebear.comInitialsFlorian Körnerhttps://github.com/dicebear/dicebearPR
Prolog adamcrussell • 1 year ago • 100%
Prolog used in smart contract system for real estate transactions https://twitter.com/dokterookey/status/1669608667765956608?s=46&t=KBpf4ADGwXrxINO2Vp5zTQ
1
0
"Initials" by "Florian Körner", licensed under "CC0 1.0". / Remix of the original. - Created with dicebear.comInitialsFlorian Körnerhttps://github.com/dicebear/dicebearPR
Prolog adamcrussell • 1 year ago • 100%
Prolog Day Symposium https://prologyear.logicprogramming.org/PrologDay.html

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.

1
0
"Initials" by "Florian Körner", licensed under "CC0 1.0". / Remix of the original. - Created with dicebear.comInitialsFlorian Körnerhttps://github.com/dicebear/dicebearPR
Prolog adamcrussell • 1 year ago • 100%
Interview with Pascal Hitzler: The Rise of NSAI, Explainability, Concept Induction, and more https://www.youtube.com/watch?v=o5TV0dyIgqU
1
0
"Initials" by "Florian Körner", licensed under "CC0 1.0". / Remix of the original. - Created with dicebear.comInitialsFlorian Körnerhttps://github.com/dicebear/dicebearPR
Prolog adamcrussell • 1 year ago • 100%
Automatic Differentiation in Prolog https://arxiv.org/pdf/2305.07878.pdf

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.

1
0
"Initials" by "Florian Körner", licensed under "CC0 1.0". / Remix of the original. - Created with dicebear.comInitialsFlorian Körnerhttps://github.com/dicebear/dicebearPR
Prolog adamcrussell • 1 year ago • 100%
Parsing AsciiDoc in Prolog github.com

This is a nice example of an intermediate to somewhat advanced application of DCGs.

1
0