Yesterday I visited the city I was born and raised in. One notable place is "La Base." A gigantic piece of reinforced concrete that was set up by the Nazis to launch their submarines during WWII.

It was too expensive to dismantle. Instead of blowing it up, locals turned it into an affordable art center, and subsidized music studios.

The city I was born in took Nazi bases and filled them with joy, creativity, and social equality.

Fascism doesn't last.

alcinnz
alcinnz boosted
#article #ontology #programming #formal #lisp #concrete

https://screwlisp.small-web.org/lispgames/plant-insect-bird-ontology/

Plant Insect Bird practical formal ontology with Leonardo calculus

I revisit my #lispgames #gamejam #gamedev. In this article I create a formal ontology to be a vehicle for my concrete game redux of the jam (which had been lacklustre if technically interesting. Let's be technically interesting and have more lustre this time round.

Thoughts, commentary, ontological guidance gentle and stern if you will please.

A brightfield emacs partial screenshot showing a fragment of the low-level source of the formal ontology being created

YMMV if you keep reading.
---------------------------------------------------------
-- organisms-kb

[: type kb-index]
[: latest-written "2025-07-13/03:04.+12"]
[: contents <organisms-kb organisms-kb-properties (location: organisms) (location: plants) (location: insects) (location: birds) (location: sensors) (location: world)>]
[: preferred-directory "Organisms/"]
[: nullvalued {purpose namephrase requires mustload removed-entities uses-hostcommands codefiles profile overlay-on overlay-types overlay-own hostinfo indivinfo onto-amend leos-use dont-display sections local-ents latest-archived-entity archivepoint-sequence attrib-converted latest-rearchived}]

---------------------------------------------------------
-- organisms-kb-properties

[: type loadtime-operation]
[: latest-rearchived nil]

(progn (setf (get 'organisms-kb 'init-startup-proc) #'(lambda nil nil))
 (setf (get 'organisms-kb 'end-startup-proc) #'(lambda nil nil))
 (setf (get 'organisms-kb 'exit-proc) #'(lambda nil nil)))
 
---------------------------------------------------------
-- (location: organisms)
A brightfield emacs partial screenshot showing a fragment of the low-level source of the formal ontology being created YMMV if you keep reading. --------------------------------------------------------- -- organisms-kb [: type kb-index] [: latest-written "2025-07-13/03:04.+12"] [: contents <organisms-kb organisms-kb-properties (location: organisms) (location: plants) (location: insects) (location: birds) (location: sensors) (location: world)>] [: preferred-directory "Organisms/"] [: nullvalued {purpose namephrase requires mustload removed-entities uses-hostcommands codefiles profile overlay-on overlay-types overlay-own hostinfo indivinfo onto-amend leos-use dont-display sections local-ents latest-archived-entity archivepoint-sequence attrib-converted latest-rearchived}] --------------------------------------------------------- -- organisms-kb-properties [: type loadtime-operation] [: latest-rearchived nil] (progn (setf (get 'organisms-kb 'init-startup-proc) #'(lambda nil nil)) (setf (get 'organisms-kb 'end-startup-proc) #'(lambda nil nil)) (setf (get 'organisms-kb 'exit-proc) #'(lambda nil nil))) --------------------------------------------------------- -- (location: organisms)
#article #ontology #programming #formal #lisp #concrete

https://screwlisp.small-web.org/lispgames/plant-insect-bird-ontology/

Plant Insect Bird practical formal ontology with Leonardo calculus

I revisit my #lispgames #gamejam #gamedev. In this article I create a formal ontology to be a vehicle for my concrete game redux of the jam (which had been lacklustre if technically interesting. Let's be technically interesting and have more lustre this time round.

Thoughts, commentary, ontological guidance gentle and stern if you will please.

A brightfield emacs partial screenshot showing a fragment of the low-level source of the formal ontology being created

YMMV if you keep reading.
---------------------------------------------------------
-- organisms-kb

[: type kb-index]
[: latest-written "2025-07-13/03:04.+12"]
[: contents <organisms-kb organisms-kb-properties (location: organisms) (location: plants) (location: insects) (location: birds) (location: sensors) (location: world)>]
[: preferred-directory "Organisms/"]
[: nullvalued {purpose namephrase requires mustload removed-entities uses-hostcommands codefiles profile overlay-on overlay-types overlay-own hostinfo indivinfo onto-amend leos-use dont-display sections local-ents latest-archived-entity archivepoint-sequence attrib-converted latest-rearchived}]

---------------------------------------------------------
-- organisms-kb-properties

[: type loadtime-operation]
[: latest-rearchived nil]

(progn (setf (get 'organisms-kb 'init-startup-proc) #'(lambda nil nil))
 (setf (get 'organisms-kb 'end-startup-proc) #'(lambda nil nil))
 (setf (get 'organisms-kb 'exit-proc) #'(lambda nil nil)))
 
---------------------------------------------------------
-- (location: organisms)
A brightfield emacs partial screenshot showing a fragment of the low-level source of the formal ontology being created YMMV if you keep reading. --------------------------------------------------------- -- organisms-kb [: type kb-index] [: latest-written "2025-07-13/03:04.+12"] [: contents <organisms-kb organisms-kb-properties (location: organisms) (location: plants) (location: insects) (location: birds) (location: sensors) (location: world)>] [: preferred-directory "Organisms/"] [: nullvalued {purpose namephrase requires mustload removed-entities uses-hostcommands codefiles profile overlay-on overlay-types overlay-own hostinfo indivinfo onto-amend leos-use dont-display sections local-ents latest-archived-entity archivepoint-sequence attrib-converted latest-rearchived}] --------------------------------------------------------- -- organisms-kb-properties [: type loadtime-operation] [: latest-rearchived nil] (progn (setf (get 'organisms-kb 'init-startup-proc) #'(lambda nil nil)) (setf (get 'organisms-kb 'end-startup-proc) #'(lambda nil nil)) (setf (get 'organisms-kb 'exit-proc) #'(lambda nil nil))) --------------------------------------------------------- -- (location: organisms)