Hacker News<p>Dyna – Logic Programming for Machine Learning</p><p><a href="https://dyna.org/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">dyna.org/</span><span class="invisible"></span></a></p><p><a href="https://mastodon.social/tags/HackerNews" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>HackerNews</span></a> <a href="https://mastodon.social/tags/Dyna" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Dyna</span></a> <a href="https://mastodon.social/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LogicProgramming</span></a> <a href="https://mastodon.social/tags/MachineLearning" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>MachineLearning</span></a> <a href="https://mastodon.social/tags/AIResearch" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AIResearch</span></a></p>
Administered by:
#LogicProgramming
0 posts0 participants0 posts today
Teaching logic programming: a review. ~ Serhiy O. Semerikov et als. https://elibrary.kdpu.edu.ua/bitstream/123456789/12019/1/CTE_838_Semerikov_et_al.pdf #LogicProgramming #Prolog #ASP #CLP
Readings shared July 11, 2025. https://jaalonso.github.io/vestigium/posts/2025/07/12-readings_shared_07-11-25 #AI #FunctionalProgramming #ITP #LLMs #LeanProver #Logic #LogicProgramming #Math
Vestigium · Readings shared July 11, 2025The readings shared in Bluesky on 11 July 2025 are
Kimina-Prover: Applying test-time RL search on large formal reasoning models. ~ Haiming Wang et als. #LLMs #ITP #LeanProver
AI for mathematical disc
Teaching and learning mathematics with Prolog. ~ Tom Bensky (2021). https://arxiv.org/abs/2108.09893 #Prolog #LogicProgramming #Math
arXiv.orgTeaching and learning mathematics with PrologProcedural computer languages have long been used in many aspects of mathematics pedagogy. In this work, we examine the use of Prolog, a declarative language for the same purpose. We find the facts+rules aspect of Prolog to be a novel platform for developing coding lessons to supplement the learning of mathematics. Specific examples are presented.
Exploring topological spaces with Prolog: A practical approach using "Mathematics with Prolog". ~ Kenichi Sasagawa. https://medium.com/@kenichisasagawa/exploring-topological-spaces-with-prolog-a-practical-approach-using-mathematics-with-prolog-b5806bb8b98f #Prolog #LogicProgramming #Math
Medium · Exploring Topological Spaces with Prolog: A Practical Approach Using “Mathematics with Prolog”
Readings shared June 5, 2025. https://jaalonso.github.io/vestigium/posts/2025/06/05-readings_shared_06-05-25 #AI #ITP #IsabelleHOL #LeanProver #LogicProgramming #Math
Vestigium · Readings shared June 5, 2025The readings shared in Bluesky on 5 June 2025 are
Exceptional set in the abc conjecture (in Lean). ~ Jared Duker Lichtman, Bhavik Mehta. #ITP #LeanProver #Math
IDE for validating specifications. ~ Ev
David Poole on knowledge graphs and relational learning. https://youtu.be/9bb9QzxEKWo #AI #LogicProgramming
youtu.be- YouTubeEnjoy the videos and music you love, upload original content, and share it all with friends, family, and the world on YouTube.
Readings shared April 27, 2025. https://jaalonso.github.io/vestigium/posts/2025/04/27-readings_shared_04-27-25 #AI #CategoryTheory #CommonLisp #Emacs #FormalVerification #LogicProgramming #Prolog
Vestigium · Readings shared April 27, 2025The readings shared in Bluesky on 27 April 2025 are
Bitcoinolog: Reason about Bitcoin addresses with Prolog. ~ Markus Triska. #Prolog #LogicProgramming
Working with Common Lisp pathnames. ~ Nicolas M
Bitcoinolog: Reason about Bitcoin addresses with Prolog. ~ Markus Triska. https://youtu.be/bpCMklQeJKQ #Prolog #LogicProgramming
youtu.be- YouTubeEnjoy the videos and music you love, upload original content, and share it all with friends, family, and the world on YouTube.
Curry: A Functional Logic Programming Language
curry-lang.org- Curry Programming LanguageA Truly Integrated Functional Logic Programming Language