Line 79: |
Line 79: |
| ===Cloud=== | | ===Cloud=== |
| <tagcloud></tagcloud> | | <tagcloud></tagcloud> |
| + | |
| + | ===Syntax Highlighting of Code=== |
| + | |
| + | See [https://www.mediawiki.org/wiki/Extension:SyntaxHighlight SyntaxHighlight Extension] |
| + | |
| + | <syntaxhighlight lang=prolog> |
| + | mortal(X) :- |
| + | human(X). |
| + | |
| + | human(socrates). |
| + | </syntaxhighlight> |
| | | |
| ==Upgrade Test== | | ==Upgrade Test== |