1 ▲ 2 ▼ Prolog Basics Explained with Pokémon (unplannedobsolescence.com) submitted 2 months ago by monica_b1998@lemmy.world to c/prolog@lemmy.sdf.org comment fedilink
2 ▲ 1 ▼ Logtalk Introduction (logtalk.org) submitted 2 years ago by aarroyoc@lemuria.es to c/prolog@lemmy.sdf.org comment fedilink
3 ▲ 1 ▼ [HELP] A noob's request for code review (github.com) submitted 2 years ago by bahmanm@lemmy.ml to c/prolog@lemmy.sdf.org comment fedilink 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 🙏
4 ▲ 1 ▼ Scryer Prolog Meetup 2023 Notes (blog.adrianistan.eu) submitted 2 years ago by aarroyoc@lemuria.es to c/prolog@lemmy.sdf.org comment fedilink
5 ▲ 1 ▼ Scryer Prolog Meetup 2023 (hsd-pbsa.de) submitted 3 years ago by aarroyoc@lemuria.es to c/prolog@lemmy.sdf.org comment fedilink
6 ▲ 1 ▼ Prolog used in smart contract system for real estate transactions (twitter.com) submitted 3 years ago by adamcrussell@lemmy.sdf.org [M] to c/prolog@lemmy.sdf.org comment fedilink
7 ▲ 1 ▼ Prolog Day Symposium (prologyear.logicprogramming.org) submitted 3 years ago by adamcrussell@lemmy.sdf.org [M] to c/prolog@lemmy.sdf.org comment fedilink 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.
8 ▲ 1 ▼ Interview with Pascal Hitzler: The Rise of NSAI, Explainability, Concept Induction, and more (www.youtube.com) submitted 3 years ago by adamcrussell@lemmy.sdf.org [M] to c/prolog@lemmy.sdf.org comment fedilink
9 ▲ 1 ▼ Automatic Differentiation in Prolog (arxiv.org) submitted 3 years ago by adamcrussell@lemmy.sdf.org [M] to c/prolog@lemmy.sdf.org comment fedilink 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.
10 ▲ 1 ▼ Parsing AsciiDoc in Prolog (github.com) submitted 3 years ago by adamcrussell@lemmy.sdf.org [M] to c/prolog@lemmy.sdf.org comment fedilink This is a nice example of an intermediate to somewhat advanced application of DCGs.