santifa / pasp-mode

An Emas Major Mode for editing Answer Set Programs

pasp-mode

A major mode for editing Potassco Answer Set Programs files (.lp).

From the Potassco website:
Answer Set Programming (ASP) offers a simple and powerful modeling language to solve combinatorial problems. With our tools you can concentrate on an actual problem, rather than a smart way of implementing it.

Features

• Syntax highlighting
• Commenting functionality
• Run clingo from emacs

Keybindings

Not so many at the moment:

• C-c C-b Call clingo with the current buffer
• C-c C-x Call clingo with the current buffer as encoding and some user provided instance

Installation

Melpa

The Potassco ASP mode is available through the MELPA repository. This is the recommended way to install the pasp-mode.

You can either install pasp-mode by hand with: M-x package-install [RET] pasp-mode [RET]

or place the following snippet into your Emacs init file:

(unless (package-installed-p 'pasp-mode)
  (package-refresh-contents)
  (package-install 'pasp-mode))

Manually

Download the pasp-mode.el file from this repository. Either put it into your emacs load path and call (require 'pasp-mode) in your init file or load it directly with (load "~/path/to/pasp-mode.el")

Afterwards opening an .lp file triggers pasp-mode or call M-x pasp-mode within an open asp file.

Todo

• Smart indentation based on nesting deepth
• Refactoring of predicates/variables (complete buffer and #program parts)
• Color compilation output
• Smart rearrange of compilation output (predicates separated, table...)
• yas-snippet for rules; constraints; soft constraints; generation?

Contributions

Contributions, via issues, ideas and pull requests, are highly welcome!

License

Copyright (c) 2017 by Henrik Jürges

Distributed under the GNU General Public License; type C-h C-c to view it.

pasp-mode's Issues

Variables begining with an uppercase and continuing with lowercases are not highlighted properly

If a variable id begins with an uppercase letter and goes on with lowercase letters, only the uppercase letter is highlighted.

Possible workaround : try to match pasp--atom after pasp--variable:

(setq pasp-highlighting
      (list
       pasp--constructs       
       pasp--constant
       pasp--variable2
       pasp--variable
       pasp--atom))

Note : I wonder if this issue has been introduced by my workaround on issue #2

Support for clingo in org-mode babel ?

Hello, I wonder if you know a way to use clingo in org-mode cell code (with babel) ?

atoms and variables not highlighted when containing an underscore

When using underscores in atoms or variables, there is no highlighting.

I suspect it is because of the presence of the underscore in the pasp--constructs regexp. I suppose that you added the underscore in this regexp in order to take into account anonymous variables. The problem is that this regexp is matched before the regexp for atoms and variables.

One possible workaround (which I use) is:

• remove the underscore from the pasp--constructs regexp
• modify pasp--variable as follows:

(defconst pasp--variable
  '("_*\\([[:upper:]][[:word:]_']*\\)*" . font-lock-variable-name-face)
  "ASP variable.")

With this modification, anonymous variables are highlighted just like other variables.

A side question is: I don't understand what is the intent of the pasp--variable2. What ASP construct do you catch with it ?

not highlight

Hi there,

first of all thanks for implementing this asp-mode.
just a minor thing. I was using the predicate "noteValue" in one of my programs and the not was red highlighted.

I have given a space in the pasp-mode.el in the lines 150 and 162 like so:
'(("not " . font-lock-negation-char-face)

So far now I can highlight the default negation when used as it and not as part of any predicate, atom, etc.
I'm not expert on this and you might know a lot better than me about how this emacs file works but I hope that doesn't change any other feature.

Regards
Flavio
any comment, let me know at [email protected]