Name for the pure "monotonic" school of Prolog?

[jjtolton]

I've noticed that there are some distinct camps within the Prolog community. One thing I like about Scryer is the discipline in staying true to the core principles of Prolog, such as monotonicity and lots of other good words that I'm still learning. This means things like, never use !/0, always use ISO comforming Prolog syntax, always write monotic code where possible. Is there a name for it?

Vegan Prolog, maybe? :D

And God help you when you slip up:

In all seriousness though, if it does have a name it would be helpful in learning more about it proactively!

[hurufu]

I don't think that non-monotonicity is necessarily a bad thing is has it's own merits: https://en.wikipedia.org/wiki/Non-monotonic_logic.

[jjtolton]

Naturally at some point there need to be non-monotonic concessions, and the article you mentioned makes good points about interesting applications of non-monotic logic. Pragmatically, the toplevel predicate is not monotonic, and even pure I/O at some point needs to use non-monotonic primitives.

But by analogy, Judo and Brazillian Jiu-Jitsu are fascinating martial arts not because of what is included, but because of what is omitted. The philosophy of Judo was to remove all the lethal moves from Japanese Jiu-Jitsu so that during the sparring matches, practitioners could practice at 100% (of their restricted subset of nonlethal moves) without fear of maiming a (trained) partner. In practice, this turns out to be more effective than using lethal moves which cannot be practiced against a resisting opponent.

So for me, it is the study of the pure/orthodox style that is useful, because it realigns my thinking in ways that I am really enjoying :D So that's why I'm interested in reading up on it.

[triska]

Christian Jendreiko at one point referred to this as the Viennese school, and then Wiener Schaltkreis (Viennese circuit).

[bakaq]

Given that you and Ulrich are the biggest proponents of this and it seems you are both from Vienna, that seems extremely fitting.

[jjtolton]

I guess that would make this the American School:

😄🤠🇺🇸

(on the wall of a hedge fund I interviewed at in New York City 🤣)

[jjtolton]

Christian Jendreiko at one point referred to this as the Viennese school, and then Wiener Schaltkreis (Viennese circuit).

Vienesse... Vegan... I was pretty close. 😎