#logic programming

aspls — Answer Set Programming (Clingo)

paolaguarasci

Language support for Answer Set Programming (ASP-Core-2 / Clingo): run Clingo, answer-set results panel, syntax highlighting, diagnostics, completion, hover, go-to-definition, find-references.

Mercury Language Plugin

pomid0rko0

Full language support for the Mercury logic/functional programming language: syntax highlighting, snippets, build tasks, and a language server with live mmc diagnostics, outline, definitions, hover and completion.