summaryrefslogtreecommitdiff
path: root/ale_linters/prolog
AgeCommit message (Collapse)Author
2019-02-22#2132 - Replace all uses of foo_callback with foow0rp
2019-02-10Complain about binary operators on the ends of linesw0rp
2018-10-26Add prolog swipl linter (#1979)Takuya Fujiwara
* add prolog/swipl linter * use load_files/2 instead of read_term/2 Because it also checks some semantic warnings / errors not only syntactic warnings / errors. e.g.: * singleton warning * discontiguous warning * ... cf. http://www.swi-prolog.org/pldoc/doc_for?object=style_check/1 * support error messages with no line number :- module(module_name, [pred/0]). causes ERROR: Exported procedure module_name:pred/0 is not defined * add test for prolog/swipl handler * cosmetic fixes * detect timeout using SIGALRM * rename g:prolog_swipl_goals to g:prolog_swipl_load * write doc for prolog/swipl linter * update toc and README * fix ignore patterns