Using markdown for Prolog code in SWISH notebooks

[Stefan Kral]

Hello,

I'd like to use markdown for highlighting certain code parts (similar to related Prolog answers on StackOverflow like shown http://stackoverflow.com/a/13351469/4609915).

Naively, I tried using the SO-style (extended?) markdown syntax, but it does not work out.

--- snippet starts

<pre>

<s>list_list_concatenated([], Ys, Ys) :-

   <b>false</b>.</s>

list_list_concatenated([X|Xs], Ys, [X|Zs]) :-

   list_list_concatenated(Xs, Ys, Zs),

   <s><b>false</b></s>.

</pre>

--- snippet ends

So far, I tried using `code` in combination with "**" for bold-face, but that does not work either... Any ideas?

Regards,

Stefan.

[Jan Wielemaker]

See http://www.swi-prolog.org/pldoc/man?section=wiki
Instead of ~~~{.pl} I'd use ``` to be compatible with GitHub.
Classical PlDoc uses ==:

==

list_list_concatenated([], Ys, Ys) :-

false.
...
==

Cheers --- Jan

[Stefan Kral]

Hi Jan,

Thanks for your reply!

Just tried it in SWISH and == is working, BUT: I also want to have some parts of the code decorated with markups like strike-thru and/or bold-face---like in that StackOverflow answer I linked to.

Can I do that? Maybe using some low(er)-level HTML workaround / hack?

Best Regards,
Stefan.