Skip to content

Commit 4121af5

Browse files
authoredOct 24, 2019
Merge pull request #94 from GooseDB/prolog
Ascii for Prolog
2 parents f617b49 + 8331d04 commit 4121af5

File tree

2 files changed

+24
-0
lines changed

2 files changed

+24
-0
lines changed
 

‎resources/prolog.ascii

+18
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,18 @@
1+
{0} bin_search(Elt,Li{1}st,{0}Re
2+
{0} sult):-length(List,N{1}), {0}bin_se
3+
{0} arch_inner(Elt,List,1,N{1},Re{0}sult).bi
4+
{0} n_search_inner(Elt,List,{1}J,J{0},J):-nth(J
5+
{0} ,List,Elt).bin_search_inn{1}er({0}Elt,List,Be
6+
{0} gin,End,M{1}id):-Begin{0} < End,{1}Mid{0} is (Begin+E
7+
{0} nd) div 2{1},n({0}thMid,L{1}is{0}t,Elt){1}.bi{0}n_search_inn
8+
{0} er(Elt,L{1}is{0}t,B{1}egin,{0}End{1},R{0}esul{1}t):{0}-Begin < End,
9+
{0} Mid is ({1}De{0}gi{1}n+En{0}d) {1}d{0}i{1}v{0} 2,nt{1}h(M{0}id,List,MidEl
10+
{0} t),MidEl{1}t<{0}El{1}t,NewBeg{0}i{1}n i{0}s M{1}id+{0}1,bin_search_
11+
{0} inner(El{1}t,L{0}ist{1},Ne{0}wBeg{1}in{0},End,{1}Result). bin{0}_se
12+
{0} arch_inn{1}er(E{0}lt,List,{1}Be{0}gin,End{1},Result):-Be{0}gi
13+
{0} n<End,M{1}id is (Begin{0}+End) div 2,nth(Mid,Li
14+
{0} st,Mid{1}Elt{0}),MidElt>Elt,NewEnd is Mid-1,b
15+
{0} in_s{1}ear{0}ch_inner(Elt,List,Begin,NewEn
16+
{0} d,R{1}esu{0}lt).n_factorial(0,1).n_fact
17+
{0} o{1}ria{0}l(N,F):-N #>0,N1#=N-1,n_f
18+
{0} {1}ac{0}torial(N1,F1),F#=N *F1.

‎src/language.rs

+6
Original file line numberDiff line numberDiff line change
@@ -32,6 +32,7 @@ pub enum Language {
3232
ObjectiveC,
3333
Perl,
3434
Php,
35+
Prolog,
3536
PureScript,
3637
Python,
3738
R,
@@ -83,6 +84,7 @@ impl std::fmt::Display for Language {
8384
Language::Scala => write!(f, "Scala"),
8485
Language::Shell => write!(f, "Shell"),
8586
Language::Swift => write!(f, "Swift"),
87+
Language::Prolog => write!(f, "Prolog"),
8688
Language::Perl => write!(f, "Perl"),
8789
Language::Php => write!(f, "Php"),
8890
Language::Tcl => write!(f, "Tcl"),
@@ -123,6 +125,7 @@ impl From<tokei::LanguageType> for Language {
123125
tokei::LanguageType::Lua => Language::Lua,
124126
tokei::LanguageType::Nim => Language::Nim,
125127
tokei::LanguageType::ObjectiveC => Language::ObjectiveC,
128+
tokei::LanguageType::Prolog => Language::Prolog,
126129
tokei::LanguageType::Perl => Language::Perl,
127130
tokei::LanguageType::Php => Language::Php,
128131
tokei::LanguageType::PureScript => Language::PureScript,
@@ -172,6 +175,7 @@ impl Language {
172175
Language::ObjectiveC => include_str!("../resources/objectivec.ascii"),
173176
Language::Perl => include_str!("../resources/perl.ascii"),
174177
Language::Php => include_str!("../resources/php.ascii"),
178+
Language::Prolog => include_str!("../resources/prolog.ascii"),
175179
Language::PureScript => include_str!("../resources/purescript.ascii"),
176180
Language::Python => include_str!("../resources/python.ascii"),
177181
Language::R => include_str!("../resources/r.ascii"),
@@ -218,6 +222,7 @@ impl Language {
218222
Language::ObjectiveC => vec![Color::BrightBlue, Color::Blue],
219223
Language::Perl => vec![Color::BrightBlue],
220224
Language::Php => vec![Color::BrightWhite],
225+
Language::Prolog => vec![Color::Blue, Color::Red],
221226
Language::PureScript => vec![Color::White],
222227
Language::Python => vec![Color::Blue, Color::Yellow],
223228
Language::R => vec![Color::White, Color::Blue],
@@ -318,6 +323,7 @@ fn get_all_language_types() -> Vec<tokei::LanguageType> {
318323
tokei::LanguageType::ObjectiveC,
319324
tokei::LanguageType::Perl,
320325
tokei::LanguageType::Php,
326+
tokei::LanguageType::Prolog,
321327
tokei::LanguageType::PureScript,
322328
tokei::LanguageType::Python,
323329
tokei::LanguageType::R,

0 commit comments

Comments
 (0)
Please sign in to comment.