Viewing profile — mycl

You say the math is more moonlighting, but you have a supervisor. Are you enrolled for a part-time degree while you work as a SWE?

The Art of Prolog is now open access: https://mitpress.mit.edu/books/art-prolog-second-edition You could think of it as " SICP for Prolog".

As to your second question: Yes, Bill Joy did that in 1976 when he added a visual mode to his line editor ex that was itself based on ed. The mode was called vi (for "visual") and …

I think it was in ed already. The POSIX ed spec says: "Any character other than or can be used instead of a slash to delimit the RE and the replacement."

The Yoneda Lemma is really some kind of "fundamental theorem" of elementary category theory. Then there are Freyd's Adjoint Functor Theorem, Kan extensions and probably others I'm …

It says this: > We already know that a significant majority of the loans in CLOs have weak covenants that offer investors only minimal legal protection; in industry parlance, they …

Interestingly, from the point of view of category theory, an isomorphism in a category is just a morphism with a two-sided inverse. A bijection is then just an isomorphism in the c…

Can you expand on that? My impression is that Kahneman and Tversky "proved" that human cognition is not Bayesian and now much of cognitive psychology is turning around and saying, …

Peter Flach's "Simply Logical: Intelligent Reasoning by Example" also deserves to be mentioned as a wonderful introduction to Prolog and computational logic in general. It's availa…

Holy Cow, I had no idea. I have a physical copy, but now I can suggest this to everyone.

Turbo Prolog lives on as Visual Prolog: https://www.visual-prolog.com/

Conference website: http://acai2018.unife.it/

Thanks for the pointers! I look forward to your postings.

Sorry to be rude, but could you ask/beg Prof Muggleton to write a book on ILP and/or meta-interpretive learning? Something like an expanded version of his outline webpage ( https:/…

If I understand correctly, the issue is moral rights ( https://en.wikipedia.org/wiki/Moral_rights ). In some jurisdictions, including Germany, these rights cannot be waived. For ex…

ISO Prolog (ISO/IEC 13211) doesn't have a free standard and it has hurt the Prolog language immeasurably. In this case the last freely available draft is quite different from the f…

But generalising from examples has been a research topic in the Prolog community since at least the early 80s. The field is called inductive logic programming ( https://en.wikipedi…

The induction of logic programs in Prolog from examples was done by Ehud Shapiro's "Model Inference System" described in his PhD thesis, "Algorithmic Programming Debugging" ( https…

It's called case-based reasoning ( https://en.wikipedia.org/wiki/Case-based_reasoning ).