/
githubmirror
/
CS-Notes
Обзор
Документация
Войти
/
githubmirror
/
CS-Notes
Код
Запросы
0
Пакеты
0
Релизы
0
Аналитика
Безопасность
master
docs/_style/prism-master/examples/prism-prolog.html
44 строки
1 KB
CyC2018
use prism-tomorrow.css
19 дек 2018, 09:09
19 дек 2018, 09:09
e9e604e
Код
Авторство
О чём код?
<h2>Comments</h2> <pre><code>% This is a comment /* This is a multi-line comment */</code></pre> <h2>Numbers</h2> <pre><code>42 3.1415</code></pre> <h2>Strings</h2> <pre><code>"This is a string." "This is a string \ on multiple lines." "A string with \"quotes\" in it." "Another string with ""quotes"" in it."</code></pre> <h2>Example</h2> <pre><code>:- dynamic fibo/2. fibo(0, 1). fibo(1, 1). fibo(N, F) :- N >= 2, N1 is N - 1, N2 is N - 2, fibo(N1, F1), fibo(N2, F2), F is F1 + F2, assert(fibo(N,F):-!). % assert as first clause</code></pre> <h2>Known failures</h2> <p>There are certain edge cases where Prism will fail. There are always such cases in every regex-based syntax highlighter. However, Prism dares to be open and honest about them. If a failure is listed here, it doesn’t mean it will never be fixed. This is more of a “known bugs” list, just with a certain type of bug. </p> <h3>Null-ary predicates are not highlighted</h3> <pre><code>halt. trace. :- if(test1). section_1. :- elif(test2). section_2. :- elif(test3). section_3. :- else. section_else. :- endif.</code></pre>