"" " for Prolog and Prolog-like languages.for details."" " import refrom pygments.lexer import RegexLexer, bygroupsfrom pygments.token import Text, Comment, Operator, Keyword, Name, String, \'PrologLexer' , 'LogtalkLexer' ]class PrologLexer(RegexLexer):"" " for Prolog files."" " 'Prolog' 'prolog' ]'*.ecl' , '*.prolog' , '*.pro' , '*.pl' ]'text/x-prolog' ]'https://en.wikipedia.org/wiki/Prolog ' '' 'root' : ['/\*' , Comment.Multiline, 'nested-comment' ),'%.*' , Comment.Single),# character literal '0\' .', String.Char), '0b[01]+' , Number.Bin),'0o[0-7]+' , Number.Oct),'0x[0-9a-fA-F]+' , Number.Hex),# literal with prepended base '\d\d?\' [a-zA-Z0-9]+', Number.Integer), '(\d+\.\d*|\d*\.\d+)([eE][+-]?[0-9]+)?' , Number.Float),'\d+' , Number.Integer),'[\[\](){}|.,;!]' , Punctuation),':-|-->' , Punctuation),'"(?:\\x[0-9a-fA-F]+\\|\\u[0-9a-fA-F]{4}|\\U[0-9a-fA-F]{8}|' '\\[0-7]+\\|\\["\\abcefnrstv]|[^\\"])*"' , String.Double),"'(?:''|[^'])*'" , String.Atom), # quoted atom # Needs to not be followed by an atom. # (r'=(?=\s|[a-zA-Z\[])', Operator), 'is\b' , Operator),'(<|>|=<|>=|==|=:=|=|/|//|\*|\+|-)(?=\s|[a-zA-Z0-9\[])' ,'(mod|div|not)\b' , Operator),'_' , Keyword), # The don't-care variable '([a-z]+)(:)' , bygroups(Name.Namespace, Punctuation)),'([a-z\u00c0-\u1fff\u3040-\ud7ff\ue000-\uffef]' '[\w$\u00c0-\u1fff\u3040-\ud7ff\ue000-\uffef]*)' '(\s*)(:-|-->)' ,# function defn '([a-z\u00c0-\u1fff\u3040-\ud7ff\ue000-\uffef]' '[\w$\u00c0-\u1fff\u3040-\ud7ff\ue000-\uffef]*)' '(\s*)(\()' ,'[a-z\u00c0-\u1fff\u3040-\ud7ff\ue000-\uffef]' '[\w$\u00c0-\u1fff\u3040-\ud7ff\ue000-\uffef]*' ,# atom, characters # This one includes ! '[#&*+\-./:<=>?@\\^~\u00a1-\u00bf\u2010-\u303f]+', # atom, graphics '[A-Z_]\w*' , Name.Variable),'\s+|[\u2000-\u200f\ufff0-\ufffe\uffef]' , Text),'nested-comment' : ['\*/' , Comment.Multiline, '#pop'), '/\*' , Comment.Multiline, '#push'), '[^*/]+' , Comment.Multiline),'[*/]' , Comment.Multiline),def analyse_text(text):"" "Competes with IDL and Visual Prolog on *.pro" "" if ':-' in text:# Visual Prolog also uses :- return 0.5else :return 0class LogtalkLexer(RegexLexer):"" " For Logtalk source code."" " 'Logtalk' 'http://logtalk.org/ ' 'logtalk' ]'*.lgt' , '*.logtalk' ]'text/x-logtalk' ]'0.10' 'root' : [# Directives '^\s*:-\s' , Punctuation, 'directive' ),# Comments '%.*?\n' , Comment),'/\*(.|\n)*?\*/' , Comment),# Whitespace '\n' , Text),'\s+' , Text),# Numbers "0'[\\]?." , Number),'0b[01]+' , Number.Bin),'0o[0-7]+' , Number.Oct),'0x[0-9a-fA-F]+' , Number.Hex),'\d+\.?\d*((e|E)(\+|-)?\d+)?' , Number),# Variables '([A-Z_][a-zA-Z0-9_]*)' , Name.Variable),# Event handlers '(after|before)(?=[(])' , Keyword),# Message forwarding handler 'forward(?=[(])' , Keyword),# Execution-context methods '(context|parameter|this|se(lf|nder))(?=[(])' , Keyword),# Reflection '(current_predicate|predicate_property)(?=[(])' , Keyword),# DCGs and term expansion '(expand_(goal|term)|(goal|term)_expansion|phrase)(?=[(])' , Keyword),# Entity '(abolish|c(reate|urrent))_(object|protocol|category)(?=[(])' , Keyword),'(object|protocol|category)_property(?=[(])' , Keyword),# Entity relations 'co(mplements_object|nforms_to_protocol)(?=[(])' , Keyword),'extends_(object|protocol|category)(?=[(])' , Keyword),'imp(lements_protocol|orts_category)(?=[(])' , Keyword),'(instantiat|specializ)es_class(?=[(])' , Keyword),# Events '(current_event|(abolish|define)_events)(?=[(])' , Keyword),# Flags '(create|current|set)_logtalk_flag(?=[(])' , Keyword),# Compiling, loading, and library paths 'logtalk_(compile|l(ibrary_path|oad|oad_context)|make(_target_action)?)(?=[(])' , Keyword),'\blogtalk_make\b' , Keyword),# Database '(clause|retract(all)?)(?=[(])' , Keyword),'a(bolish|ssert(a|z))(?=[(])' , Keyword),# Control constructs '(ca(ll|tch)|throw)(?=[(])' , Keyword),'(fa(il|lse)|true|(instantiation|system)_error)\b' , Keyword),'(uninstantiation|type|domain|existence|permission|representation|evaluation|resource|syntax)_error(?=[(])' , Keyword),# All solutions '((bag|set)of|f(ind|or)all)(?=[(])' , Keyword),# Multi-threading predicates 'threaded(_(ca(ll|ncel)|once|ignore|exit|peek|wait|notify))?(?=[(])' , Keyword),# Engine predicates 'threaded_engine(_(create|destroy|self|next|next_reified|yield|post|fetch))?(?=[(])' , Keyword),# Term unification '(subsumes_term|unify_with_occurs_check)(?=[(])' , Keyword),# Term creation and decomposition '(functor|arg|copy_term|numbervars|term_variables)(?=[(])' , Keyword),# Evaluable functors '(div|rem|m(ax|in|od)|abs|sign)(?=[(])' , Keyword),'float(_(integer|fractional)_part)?(?=[(])' , Keyword),'(floor|t(an|runcate)|round|ceiling)(?=[(])' , Keyword),# Other arithmetic functors '(cos|a(cos|sin|tan|tan2)|exp|log|s(in|qrt)|xor)(?=[(])' , Keyword),# Term testing '(var|atom(ic)?|integer|float|c(allable|ompound)|n(onvar|umber)|ground|acyclic_term)(?=[(])' , Keyword),# Term comparison 'compare(?=[(])' , Keyword),# Stream selection and control '(curren|se)t_(in|out)put(?=[(])' , Keyword),'(open|close)(?=[(])' , Keyword),'flush_output(?=[(])' , Keyword),'(at_end_of_stream|flush_output)\b' , Keyword),'(stream_property|at_end_of_stream|set_stream_position)(?=[(])' , Keyword),# Character and byte input/output '(nl|(get|peek|put)_(byte|c(har|ode)))(?=[(])' , Keyword),'\bnl\b' , Keyword),# Term input/output 'read(_term)?(?=[(])' , Keyword),'write(q|_(canonical|term))?(?=[(])' , Keyword),'(current_)?op(?=[(])' , Keyword),'(current_)?char_conversion(?=[(])' , Keyword),# Atomic term processing 'atom_(length|c(hars|o(ncat|des)))(?=[(])' , Keyword),'(char_code|sub_atom)(?=[(])' , Keyword),'number_c(har|ode)s(?=[(])' , Keyword),# Implementation defined hooks functions '(se|curren)t_prolog_flag(?=[(])' , Keyword),'\bhalt\b' , Keyword),'halt(?=[(])' , Keyword),# Message sending operators '(::|:|\^\^)' , Operator),# External call '[{}]' , Keyword),# Logic and control '(ignore|once)(?=[(])' , Keyword),'\brepeat\b' , Keyword),# Sorting '(key)?sort(?=[(])' , Keyword),# Bitwise functors '(>>|<<|/\\|\\\\|\\)' , Operator),# Predicate aliases '\bas\b' , Operator),# Arithmetic evaluation '\bis\b' , Keyword),# Arithmetic comparison '(=:=|=\\=|<|=<|>=|>)' , Operator),# Term creation and decomposition '=\.\.' , Operator),# Term unification '(=|\\=)' , Operator),# Term comparison '(==|\\==|@=<|@<|@>=|@>)' , Operator),# Evaluable functors '(//|[-+*/])' , Operator),'\b(e|pi|div|mod|rem)\b' , Operator),# Other arithmetic functors '\b\*\*\b' , Operator),# DCG rules '-->' , Operator),# Control constructs '([!;]|->)' , Operator),# Logic and control '\\+' , Operator),# Mode operators '[?@]' , Operator),# Existential quantifier '\^' , Operator),# Punctuation '[()\[\],.|]' , Text),# Atoms "[a-z][a-zA-Z0-9_]*" , Text),"'" , String, 'quoted_atom' ),# Double-quoted terms '"' , String, 'double_quoted_term' ),'quoted_atom' : ["''" , String),"'" , String, '#pop'), '\\([\\abfnrtv"\' ]|(x[a-fA-F0-9]+|[0-7]+)\\)', String.Escape), "[^\\'\n]+" , String),'\\' , String),'double_quoted_term' : ['""' , String),'"' , String, '#pop'), '\\([\\abfnrtv"\' ]|(x[a-fA-F0-9]+|[0-7]+)\\)', String.Escape), '[^\\"\n]+' , String),'\\' , String),'directive' : [# Conditional compilation directives '(el)?if(?=[(])' , Keyword, 'root' ),'(e(lse|ndif))(?=[.])' , Keyword, 'root' ),# Entity directives '(category|object|protocol)(?=[(])' , Keyword, 'entityrelations' ),'(end_(category|object|protocol))(?=[.])' , Keyword, 'root' ),# Predicate scope directives '(public|protected|private)(?=[(])' , Keyword, 'root' ),# Other directives 'e(n(coding|sure_loaded)|xport)(?=[(])' , Keyword, 'root' ),'in(clude|itialization|fo)(?=[(])' , Keyword, 'root' ),'(built_in|dynamic|synchronized|threaded)(?=[.])' , Keyword, 'root' ),'(alias|d(ynamic|iscontiguous)|m(eta_(non_terminal|predicate)|ode|ultifile)|s(et_(logtalk|prolog)_flag|ynchronized))(?=[(])' , Keyword, 'root' ),'op(?=[(])' , Keyword, 'root' ),'(c(alls|oinductive)|module|reexport|use(s|_module))(?=[(])' , Keyword, 'root' ),'[a-z][a-zA-Z0-9_]*(?=[(])' , Text, 'root' ),'[a-z][a-zA-Z0-9_]*(?=[.])' , Text, 'root' ),'entityrelations' : ['(complements|extends|i(nstantiates|mp(lements|orts))|specializes)(?=[(])' , Keyword),# Numbers "0'[\\]?." , Number),'0b[01]+' , Number.Bin),'0o[0-7]+' , Number.Oct),'0x[0-9a-fA-F]+' , Number.Hex),'\d+\.?\d*((e|E)(\+|-)?\d+)?' , Number),# Variables '([A-Z_][a-zA-Z0-9_]*)' , Name.Variable),# Atoms "[a-z][a-zA-Z0-9_]*" , Text),"'" , String, 'quoted_atom' ),# Double-quoted terms '"' , String, 'double_quoted_term' ),# End of entity-opening directive '([)]\.)' , Text, 'root' ),# Scope operator '(::)' , Operator),# Punctuation '[()\[\],.|]' , Text),# Comments '%.*?\n' , Comment),'/\*(.|\n)*?\*/' , Comment),# Whitespace '\n' , Text),'\s+' , Text),def analyse_text(text):if ':- object(' in text:return 1.0elif ':- protocol(' in text:return 1.0elif ':- category(' in text:return 1.0elif re.search(r'^:-\s[a-z]' , text, re.M):return 0.9else :return 0.0quality 66%
¤ Dauer der Verarbeitung: 0.6 Sekunden
¤ *© Formatika GbR, Deutschland
