FYI
I changed your code so it formats correctly.
Instead of using the quote button " which puts a >at the start of each line, use the preformatted text button </> which bookends the selected text with ```.
``` resolve(N,N) :- integer(N), !. ```
which renders as
resolve(N,N) :- integer(N), !.
NB The default programming language for preformatted text is Prolog, you can also manually chose another language that is configured for this site, see Language highlighting
Don’t worry many new users are not aware of these features. 
Also take a look at
Discourse New User Guide
Markdown help
Markdown tutorial
Language highlighting