#formalMethods #gamedev #programming #commonLisp #acl2 #itch https://lispy-gopher-show.itch.io/lispmoo2/devlog/907091/formal-game-logic
Since yesterday I advocated strong use of defgeneric, defmethod and McCLIM's define-command, here I present
just giving lisp's defun to acl2's first order #logic.
I present a batch processing style for using acl2 both in #shell and in #lisp with a worked example.
Thoughts and opinions, gamedevs and logical types?
itch.io(formal) game logic - lispmoo2 by screwtape1. Intro This begins part 2 of https://lispy-gopher-show.itch.io/lispmoo2/devlog/906389/my-programming-principles-for-game-dev-12 . Which contains the first five parts. These second five parts contain...
![The game was invoked with
(handler-bind ((menu-x-pressed #'handle-menu-x-pressed))
(run-frame-top-level **))
Now, the signal invoked by the x button menu command is bound to a handler that pops open a string entry window, which has clumsily laid out:
gimmeastringEnter string: [ ]
OK Cancel](https://mastodon.sdf.org/system/media_attachments/files/114/049/786/396/190/671/original/9da6f3b1a0c37993.png "The game was invoked with
(handler-bind ((menu-x-pressed #'handle-menu-x-pressed))
(run-frame-top-level **))
Now, the signal invoked by the x button menu command is bound to a handler that pops open a string entry window, which has clumsily laid out:
gimmeastringEnter string: [ ]
OK Cancel")
