Search for a command to run...
Articles tagged with #logic
Z3 has many uses, but a good fun use is solving puzzle games! Puzzle Team created a lot of nice online puzzles. They weirdly don't have one domain, and use a different domain for each puzzle. Maybe that's some advanced SEO trick. So let's go through ...
The computing world had periods of obsession with "Artificial Intelligence" a few times. One such period was during the late 1970s and 1980s when "logic programming" was the big AI idea. It was so huge and it failed so dismally that by now not only i...
Let's talk about something I made. Once upon a time, "logic programming" was a big thing. The idea was to just give the computer a bunch of mathematical statements, and have it do the math and logic to arrive at answer. There were even whole language...