Prolog Iceberg Project

[jjtolton]

If you aren't familiar with an iceberg meme, the concept of an "iceberg" meme is an off-beat and some might even argue "fun" way to provide a survey of the depth of a topic. They often go with this picture of an iceberg:

For instance, here is an iceberg meme for what appears to be SQL:

As far as I am concerned, Prolog has more depth than any language I have ever been exposed to -- which is very surprising given how easy it is to write a vanilla meta-interpreter.

I would love to start gathering ideas for such a Prolog iceberg. I am afraid that my knowledge stops about just below the surface, so I am hoping folks here have some good ideas!

Thoughts so far:

Above the iceberg

• Predicates.
• Syllogisms.
• Difference between predicates and functions.

Tip of the iceberg

• Functors.
• Predicate modalities.
• General queries that describe infinite leaf answers.

Just below the surface

• Different dialects of Prolog.
• Misconceptions about Prolog.
• meta predicates

One layer down, the shallows

• DCGs
• Meta-interpreters
• Quads
• ISO Prolog
• Constraint Programming
• library(cont)

Two layers down, getting dark

• monotonicity

Three layers down, last rays of light

• list differences
• attributed vars

Staring into the abyss

(scryer specific)

• Implementing '$toplevel'
• Implementing '$loader'

The abyss

• ???

Deeper still

• Implementing clpz
• Implementing reif
• Implementing lambda
• Implementing call/N

The gates of hell

• ???

Circles of hell...

• ???

I will try to keep this list up to date along with names and contributors! Eventually we can make some fun social media out of it :)

[infradig]

Circles of hell should include cyclic terms.

[jjtolton]

which circle!?

[jjtolton]

Maybe we should call it the ISO-berg 😄😄😄