[mmastrac]

If you want to understand prolog, you must understand the four-port model:

https://grack.com/writing/school/enel553/report/prolog.html

[AdieuToLogic]

And to understand the four-port model is to understand solution-space navigation and pruning.

[cwillu]

It's why smartphones lost all their ports: forbidden knowledge must not be leaked to the public.

[AdieuToLogic]

> ... forbidden knowledge must not be leaked to the public.

Understanding is a personal achievement and has nothing to do with "forbidden knowledge" when the source of said knowledge is both quoted above and freely available.

[cwillu]

I fear that the joke didn't land with you.

[alecthomas]

I found it very amusing :)

[AdieuToLogic]

It didn't and I am now doing a facepalm as penance. :-D