I suspect that like many others I have a fetish for terse code :slight_smile: So, every time I type “member”, “aggregate_all”, “findall” and so on, there’s a part of me which protests. Partly inspired by reading @meditans code, I’m thinking about writing a little private “terse” library I put into …

What dost thou protest at? :grinning: Why wouldn’t “mem” or even “m”, instead of “member”, suffice for your shorthand?

It’s not about shorthand, I think. It’s more about how to mimic FOL formulae (or set notation) even more closely. So I understood it at least

No rhyme nor reason I guess – I just like maths notation, but anything much shorter than the current predicate names will do. prolog requires a lot of variable chaining so lines can get long pretty quickly.

I’m not finding any help or documentation on “pushback lists”, what are they? DCGs make sense for some state related things (I think simplex package uses them well for example) . Are there any newb friendly examples of Yan’s approach?

Also user defined operators can be pretty effective at creating DSL’s within a Prolog framework. They would certainly be able to handle your small example. The practical question, at least for me, is how to easily enter these math symbols on a standard keyboard. You seem to be mainly concerned with…

[image] ridgeworks: The practical question, at least for me, is how to easily enter these math symbols on a standard keyboard. Compose key and a custom XCompose file. Standard on X11 :smirk: – Ian

[image] emiruz: I’m not finding any help or documentation on “pushback lists”, what are they? I’ve never used them but: Push-back lists on DCG rule heads [image] emiruz: Are there any newb friendly examples of Yan’s approach? Here is some code that uses @jan ’s approach (it contains tw…

Slightly related, though in R, but actually written in Prolog :slight_smile: mathml: Translate R Expressions to MathML and LaTeX This R package translates R objects to suitable elements in MathML or LaTeX, thereby allowing for a pretty mathematical representation of R objects and funct…

Tersifying Prolog

General

peter.ludemann January 6, 2024, 7:52pm 6

DCGs are one way of reducing the verbiage of variable chaining. (Also EDCGs, and @jan 's suggestion Dealing with state - #10 by jan)

Topic		Replies	Views
Recently started woring with prolog and decided to make a text documenting my annoyances General	18	710	October 21, 2023
Dealing with state Discussion	32	1258	August 11, 2024
Named constants? Help!	37	3235	May 9, 2020
Aggregation Help!	27	1231	May 6, 2020
Solve this declaratively General	24	322	December 12, 2024

Tersifying Prolog

Related topics