#OldComputerChallenge last day #gopher / toot 1:
gopher://tilde.club/0/~screwtape/2023-16th-July-1-plan-composition-and-retrospective.txt
https://gopher.tildeverse.org/tilde.club/0/~screwtape/2023-16th-July-1-plan-composition-and-retrospective.txt
Old Computer Challenge Directory (and web proxy:)
gopher://tilde.club/1/~screwtape/
https://gopher.tildeverse.org/tilde.club/1/~screwtape/
#zetalisp #lispm #lisp source and usage (like debugging..)
In which I define LIST records as situation calculus actions over :keyword fluents (for a PLANNER).
Basically an argument to use LISP for mathematics like Sussman, but to culturally inherit Zetalisp's SET-DIFFERENCE and INTERSECTION of LISTs