More hexagon #acl2 #firstOrderLogic in one #ecl #commonLisp source with #McCLIM #graphics . Er.. #hextille .
https://lispy-gopher-show.itch.io/dl-roc-lisp/devlog/1500993/more-hexagon-acl2-first-order-logicembeddable-common-lispmcclim-graphics
I am quite excited to have same source*
*read the article
Generating automatic first order #logic theorems on the left, ANSI common lisp running on the right, and #CLIM graphics popped up in the foreground.

In practice, the article is a show-and-tell of the functions I wrote today. They are quite cautious, recursive and explicit as I get more used to the #fol atm

https://lispy-gopher-show.itch.io/lispmoo2/devlog/1481398/homespun-acl2-handler-bind-condition-handling

#acl2 simple introduction to acl2 for the #commonLisp inclined.

loop$, apply$, thms oh my.

In particular, I implement a model of a simple case of the common lisp condition system that is directly compatible with both ansi common lisp and acl2. (a computational logic for applicative common lisp).

#firstOrderLogic #theoremProving #programming #logic #example

Technically this is in support of my lisp / moo compatibility layer but I am not going to beleaguer the tag.

@Labonitamascota ∃c:B(c)

#FirstOrderLogic 🥳

Finished week 4 of the course Knowledge Graphs – Foundations and Applications about formal and machine understandable representations of knowledge with Propositional Logic, First Order Logic, Description Logics, ALC, OWL and possible logical deductions from statements about graphs.

Video lecture: https://open.hpi.de/courses/knowledgegraphs2023/items/1wEImhMn0LlkY9XxeASC9R

#kg2023 #KnowledgeGraphs #SemanticWeb #LinkedData #PropositionalLogic #FirstOrderLogic #DescriptionLogics #AttributeLanguageWithComplement #WebOntologyLanguage #OWL #MrSpock