ctrl+shift+p filters: :st2 :st3 :win :osx :linux
Browse

Gringo

by tobielf ST3

A syntax highlighting plugin for Answer Set Programming

Labels language syntax

Details

Installs

  • Total 314
  • Win 142
  • Mac 100
  • Linux 72
Jul 21 Jul 20 Jul 19 Jul 18 Jul 17 Jul 16 Jul 15 Jul 14 Jul 13 Jul 12 Jul 11 Jul 10 Jul 9 Jul 8 Jul 7 Jul 6 Jul 5 Jul 4 Jul 3 Jul 2 Jul 1 Jun 30 Jun 29 Jun 28 Jun 27 Jun 26 Jun 25 Jun 24 Jun 23 Jun 22 Jun 21 Jun 20 Jun 19 Jun 18 Jun 17 Jun 16 Jun 15 Jun 14 Jun 13 Jun 12 Jun 11 Jun 10 Jun 9 Jun 8 Jun 7
Windows 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
Mac 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
Linux 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0

Readme

Source
raw.​githubusercontent.​com

sublime-syntax-clingo

A syntax highlighting plugin for Answer Set Programming (ASP).

Previously I was using the “SWI-Prolog” syntax highlighting plugin for my ASP code. However, it does not support the ASP program with Python script in it, and it can't highlight ASP choice rules. I couldn't find a solution for it, so I wrote one. Feel free to use it, and let me know if you have any questions/bugs/suggestions.

How to use

Automatic Installation

This package has been merged into the Package Control channel provided by SublimeHQ. I would highly recommend you to install from Package Control, so that you can get the latest updates automatically.

  1. Goto Package Control: Install Pacakge.
  2. Search for Gringo.
  3. Hit the enter.
  4. Done.

Manual Installation

  1. Download the gringo.sublime-syntax, gringo.tmPreferences and Gringo.sublime-build.
  2. Open your SublimeText, select "Preference"->"Browse Packages..."
  3. Your file manager will open the Package for you.
  4. Put the downloaded files under User folder.
  5. Done.

VIM User

I treat SublimeText as a GUI version of VIM. If you are a VIM user, you can visit rkaminsk's repo and get a plugin for vim.