Prolog

100 readers
1 users here now

A community for discussion of the Prolog programming language and related Logic Programming and Symbolic AI topics.

founded 1 year ago
MODERATORS
adamcrussell@lemmy.sdf.org
listing: all - local
1
1
Logtalk Introduction (logtalk.org)
submitted 1 month ago by aarroyoc@lemuria.es to c/prolog@lemmy.sdf.org
0 comments fedilink
2
1
[HELP] A noob's request for code review (github.com)
submitted 6 months ago by bahmanm@lemmy.ml to c/prolog@lemmy.sdf.org
0 comments 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 ๐Ÿ™

3
1
Scryer Prolog Meetup 2023 Notes (blog.adrianistan.eu)
submitted 10 months ago by aarroyoc@lemuria.es to c/prolog@lemmy.sdf.org
0 comments fedilink
4
1
Scryer Prolog Meetup 2023 (hsd-pbsa.de)
submitted 1 year ago by aarroyoc@lemuria.es to c/prolog@lemmy.sdf.org
0 comments fedilink
5
1
Prolog used in smart contract system for real estate transactions (twitter.com)
submitted 1 year ago by adamcrussell@lemmy.sdf.org to c/prolog@lemmy.sdf.org
0 comments fedilink
6
1
Prolog Day Symposium (prologyear.logicprogramming.org)
submitted 1 year ago by adamcrussell@lemmy.sdf.org to c/prolog@lemmy.sdf.org
0 comments 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.

7
1
Interview with Pascal Hitzler: The Rise of NSAI, Explainability, Concept Induction, and more (www.youtube.com)
submitted 1 year ago by adamcrussell@lemmy.sdf.org to c/prolog@lemmy.sdf.org
0 comments fedilink
8
1
Automatic Differentiation in Prolog (arxiv.org)
submitted 1 year ago by adamcrussell@lemmy.sdf.org to c/prolog@lemmy.sdf.org
0 comments 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.

9
1
Parsing AsciiDoc in Prolog (github.com)
submitted 1 year ago by adamcrussell@lemmy.sdf.org to c/prolog@lemmy.sdf.org
0 comments fedilink
 
 

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