Prolog is also a great scripting language. Let's create a photo gallery with Scryer Prolog, using library(pio) to declaratively describe HTML pages! Code: www.metalevel....
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.
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... ;-)
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?
What a mental ride, wow! Thank you for doing these videos.
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.
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
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!
Btw, how did you manage to use your cameras from Emacs? Or did you actually LEAVE Emacs to take those pictures?
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... ;-)
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?