[New Blog Post] Making a 'MiniKanren' using Z3Py #python #minikanren #logicprogramming #smt #z3 philipzucker.com/minikanren-z3p…

Been working on a new kind of Prolog-inspired query language for Entity Component Systems, and it's starting to come together ^^

#prolog #logicprogramming #gamedev #indiegame #gamedev elopment #IndieGameDev #flecs #ecs #entitycomponentsystem #c pp #c

Interested in how Logic-Paradigms can be more user-oriented and user-friendly? Designing User Interfaces or #IDE for #LogicProgramming ? Submit your thoughts and work to #IULP2019 iulp2019.uni-leipzig.de, collocated with #LPNMR2019 ! #programming #Usability #ArtificialIntelligence

The proof-theoretic foundations of logic programming. ~ Dale Miller. lix.polytechnique.fr/Labo/Dale.Mill… #LogicProgramming

Good morning Meshers! The first keynote of day 2 is about to kick off! Veronica Dahl, #logicprogramming legend, will speak on #AI for social responsibility 🙌

💡💰 #Crypto #Web3 #LogicProgramming #AffiliateMarketing #Innovations

Prolog: The next 50 years. books.google.es/books?id=_M7FE… #Prolog #LogicProgramming

I finally finished my Master's thesis 'Tuning of fuzzy logic programs through satisfiability modulo theories'! #LogicProgramming ( #Prolog SWI-Prolog official account) + #FuzzyLogic ( #FASILL ) + #SAT / #SMT 😱 I'll probably go to hell for putting all this together... jariaza.es/docs/jariaza-t…

[New Blog Post] Metamath for Datalog Provenance philipzucker.com/metamath-datal… #datalog #logic #proof #logic programming

Small things that make you smile: chapters from a book I co-edited 10 years ago have been downloaded 23,138 times. Proud of this work. #logicprogramming

Honored to have been nominated to serve as Program Chair of the 2023 International Conference on Logic Programming. #logicprogramming

The mathematics of Prolog. ~ David S Warren. youtu.be/5Ml7AcaY8DE #Prolog #LogicProgramming #Math

The 17th Reasoning Web Summer School starts tomorrow (Sep 8). Register and attend on-line free of charge:
declarativeai2021.net/reasoning-web/
#SemanticWeb #AI #KnowledgeGraph #GraphDatabase #LogicProgramming #Ontology #RDF WomenInLogic VCLA at TU Wien Axel Polleres (Q54860587)

A Glossary of 30 key artificial intelligence terms #CloudComputing #ManagedServices #ArtificialIntelligenceTerms #AI #LogicProgramming

An open-access paper discussing lessons learned in Prolog's 50 years of evolution thru (1) an overview of its history, (2) a discussion of the main implementations, (3) a SWOT analysis & proposals for Prolog's future developments. #Prolog #logicProgramming cambridge.org/core/journals/…

Intro to Web Prolog for erlangers. ~ T. Lager bit.ly/2OPRNkR #Prolog #LogicProgramming

After 50 years, logic programming, in its several variants, is still successfully used in many application domains. This book celebrates the 50 years since Prolog’s invention and includes 31 papers on Prolog’s present, future, and applications.
#logicprogramming #prolog

Teaching computing, logic, human communication, and problem solving through Prolog. ~ Bob Kowalski. youtu.be/3mrs8rEzSpk #Prolog #LogicProgramming #CompSci

Prolog: forwards and backwards. ~ Paul Brown. prologhub.pl/prolog-forward… #Prolog #LogicProgramming

A rare and unique opportunity at #FnConf18 to attend a full day workshop on 'Logic Programming and SWI-Prolog' by the one and only Anne Ogborn AnneOgborn#WontBeErased
confengine.com/functional-con…
#LogicProgramming #Prolog #FnConf18 #SWI_Prolog #FunctionalProgramming