How are representing the AST on the sides of iur videos? Btw... Thanks alot for this whole channel, this is awesome and I thank you for that. People like you (teahcers) are the people that contribute the most with the world.
Thank you so much for your kind words, I greatly appreciate them! I draw the graph with showterm.el which is available in the "tools" directory of Scryer Prolog, please have a look, and I hope it helps: github.com/mthom/scryer-prolog/tree/master/tools
Really nice introduction to Prolog. Thank you for putting effort in creating this material. One question though - I see (,) and (:-) being defined as operators, but not (.) as suffix operator. For example I would expect this expression "a :- b." to have canonical form of: (.)((:-)(a, b)) but that does not seem to be the case. At least not in SWI Prolog.
Thank you a lot for your kind words, and for your interest! Regarding the question '.': '.' is not a standard suffix operator: '.' (end token) ends a so-called read-term. Note that '.' can also be used as a graphic char in tokens, for example in =.. or in ..., which are valid Prolog atoms.
Thank you a lot for your kind words, and for your interest! Regarding your question: `volatile` is not a standard predefined operator, and therefore Scryer Prolog does not define it in its default execution mode. However, we have: 5.5.2 Predefined operators A processor may support one or more additional predefined operators (table 7) as an implementation specific feature. So, additional operators may be available in a Prolog system as an implementation specific feature, as long as the system also has a strictly conforming mode in which the feature is turned off. Scryer Prolog is strictly conforming to the standard in its default execution mode, and therefore can be reliably used to detect syntactically valid and portable Prolog code, a major attraction of the system especially when learning the language.
How are representing the AST on the sides of iur videos?
Btw... Thanks alot for this whole channel, this is awesome and I thank you for that. People like you (teahcers) are the people that contribute the most with the world.
Thank you so much for your kind words, I greatly appreciate them! I draw the graph with showterm.el which is available in the "tools" directory of Scryer Prolog, please have a look, and I hope it helps: github.com/mthom/scryer-prolog/tree/master/tools
Thanks man. Really awesome short and sweet video
Really nice introduction to Prolog. Thank you for putting effort in creating this material. One question though - I see (,) and (:-) being defined as operators, but not (.) as suffix operator. For example I would expect this expression "a :- b." to have canonical form of: (.)((:-)(a, b)) but that does not seem to be the case. At least not in SWI Prolog.
Thank you a lot for your kind words, and for your interest!
Regarding the question '.': '.' is not a standard suffix operator: '.' (end token) ends a so-called read-term. Note that '.' can also be used as a graphic char in tokens, for example in =.. or in ..., which are valid Prolog atoms.
Great video as ever. I don't have `volatile` in my scryer-prolog operator table. Is that something specific to your environment?
Thank you a lot for your kind words, and for your interest!
Regarding your question: `volatile` is not a standard predefined operator, and therefore Scryer Prolog does not define it in its default execution mode. However, we have:
5.5.2 Predefined operators
A processor may support one or more additional predefined
operators (table 7) as an implementation specific feature.
So, additional operators may be available in a Prolog system as an implementation specific feature, as long as the system also has a strictly conforming mode in which the feature is turned off. Scryer Prolog is strictly conforming to the standard in its default execution mode, and therefore can be reliably used to detect syntactically valid and portable Prolog code, a major attraction of the system especially when learning the language.
goddamn tight videos, great work!
I'm the Operator with my pocket calculator...
A smooth calculator?
@@ThePowerOfProlog By pressing down a special key it plays a little melody
@@ThePowerOfProlog He was singing the lyrics of a song :)
@@BlackHermit So was I!
@@ThePowerOfProlog Do you mean this song? ua-cam.com/video/vJ2pU6Ifiys/v-deo.html