Great video, thank you. Soon we will be able to buy a PinePhone Pro , install Scryer and use it to sort our photos. I am not much of a photographer, but I think I will do this. With respect to Html, Css, Javascript, and so on: The world would be a better place, if we replaced these and many other things with Prolog.
Just imagine the known facts about the Corona virus were available as Prolog facts. (Instead of being available on very different types of paper in physical files, in Word documents, in PDF documents ...) This would allow us to do research by simply applying Prolog programs to the set of known facts.
Thanks again for a video. Each of your videos is a mental exercise :). Recently I've stumbled upon "anti-unification". I imagine it is a really powerful construct to work with in the context outlined in this video. Do you know if it is used in Prolog programs?
Too much to respond to in a comment! The DCG stuff was useful, I would like to see more of that, I get tangled up when I try and do my own exploration of that topic. I did expect a piece where you gave an arbitrary index.html and the program responded true or false to whether it was a photo index file. - perhaps another exercise to try at home. As for the WWW -> one of the worst things to ever happen in computing, IMHO
Would be nice if you could show more Web related stuff: difference to description logic (OWL) and maybe a view on XSB / Flora-2 / Ergo for real-world inference tasks... ;-)
What a mental ride, wow! Thank you for doing these videos.
Btw, how did you manage to use your cameras from Emacs? Or did you actually LEAVE Emacs to take those pictures?
Great video, thank you.
Soon we will be able to buy a PinePhone Pro , install Scryer and use it to sort our photos. I am not much of a photographer, but I think I will do this.
With respect to Html, Css, Javascript, and so on: The world would be a better place, if we replaced these and many other things with Prolog.
Just imagine the known facts about the Corona virus were available as Prolog facts. (Instead of being available on very different types of paper in physical files, in Word documents, in PDF documents ...) This would allow us to do research by simply applying Prolog programs to the set of known facts.
+1 for the PinePhone
A good video, seems like a good idea to use prolog for all things web-related.
It was an inspiring video. Thank you so much for your effort.
I wasn't expecting a purely side-effects based video, just after the "antipatterns" one 😉
But as usual, good job!
Thanks again for a video. Each of your videos is a mental exercise :). Recently I've stumbled upon "anti-unification". I imagine it is a really powerful construct to work with in the context outlined in this video. Do you know if it is used in Prolog programs?
Too much to respond to in a comment!
The DCG stuff was useful, I would like to see more of that, I get tangled up when I try and do my own exploration of that topic.
I did expect a piece where you gave an arbitrary index.html and the program responded true or false to whether it was a photo index file. - perhaps another exercise to try at home.
As for the WWW -> one of the worst things to ever happen in computing, IMHO
Would be nice if you could show more Web related stuff: difference to description logic (OWL) and maybe a view on XSB / Flora-2 / Ergo for real-world inference tasks... ;-)