Peter Drake, he/him, LFHCfS 🔥 @peterdrake@social.cleverlibre.org

#3GoodThings

1. Student final projects are coming along nicely.
2. The only thing the campus cafe serves happens to be the thing I want to eat: a slice of pizza.
3. Rediscovering my #Prolog muscles. (It makes #Haskell look normal!)

#prolog people:

How would you express this problem?

https://www.brainzilla.com/logic/logic-grid/superheroes/

(I want to use this as an example in my programming languages class. We're only spending a few days on Prolog, so please avoid fancy features.)

"Do you have time to talk about the Banach-Tarski theorem?"

#meme #mathematics #DeepPull

#3GoodThings

1. The car is back in business.
2. Finished my readings in the programming languages book.
3. The second arc of our #FateCore #ttrpg game had a satisfyingly epic conclusion, including an opportunity to say, "It would've worked if it hadn't been for those meddling kids and their @#$% capybara!"

#prolog people: Do you have a favorite online IDE for a few days of in-class work? I'll open the bidding here:

https://www.tutorialspoint.com/execute_prolog_online.php

It looks like you put your knowledge base in the main.pg tab, put your queries in the STDIN tab, and hit Execute. (Interactive would be nicer.)

... what's future is Prolog.

#3GoodThings

1. More assignments posted and assignments returned.
2. Pulled off four #juggling club tosses in a row.
3. The car jumpstarter works.

A landscape. DeWilde exercise 4.2. #drawing #MastoArt #beginner