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

Prolog

by alnkpa ST2/ST3

This a Prolog syntax highlighting for Sublime Text 2 & 3

Details

Installs

  • Total 34K
  • Win 15K
  • OS X 10K
  • Linux 10K
Dec 11 Dec 10 Dec 9 Dec 8 Dec 7 Dec 6 Dec 5 Dec 4 Dec 3 Dec 2 Dec 1 Nov 30 Nov 29 Nov 28 Nov 27 Nov 26 Nov 25 Nov 24 Nov 23 Nov 22 Nov 21 Nov 20 Nov 19 Nov 18 Nov 17 Nov 16 Nov 15 Nov 14 Nov 13 Nov 12 Nov 11 Nov 10 Nov 9 Nov 8 Nov 7 Nov 6 Nov 5 Nov 4 Nov 3 Nov 2 Nov 1 Oct 31 Oct 30 Oct 29 Oct 28 Oct 27
Windows 6 8 11 2 11 20 12 17 15 13 14 8 13 24 14 19 7 13 9 12 19 11 15 11 11 9 17 21 14 12 3 4 15 15 20 21 13 10 3 10 9 14 13 9 6 12
OS X 2 6 5 4 9 6 3 5 13 5 6 3 9 9 4 4 3 2 6 4 4 4 4 8 7 5 8 7 11 8 5 2 8 6 8 0 10 4 5 5 7 3 4 10 6 4
Linux 3 5 1 7 4 3 8 5 5 3 8 7 5 7 10 12 4 4 9 6 6 10 10 2 3 4 6 8 17 8 2 5 7 5 8 8 2 5 3 6 6 5 8 8 7 6

Readme

Source
raw.​githubusercontent.​com

Prolog syntax highlighting for Sublime Text 2 & 3

This package provides syntax highlighting and automated build for the logic programming language Prolog. It is highly work in progress, so use with care.

Auto Build System

To be able to use the Ctrl+B automatic build, you need to define main/0 where you compute the solution and you also print it. For example:

main :- compute(input, Solution), writef('%t\n', [Solution]).

An indicator that this is not done (correctly) is the following error:

ERROR: call/2: Undefined procedure: main/1
ERROR:   However, there are definitions for:
ERROR:         main/0

Installation

Installation via Sublime Package Control

I recommend using the Sublime Package Control to install this package. This way is much more convenient. It is named Prolog.

Manual installation

If you want to manually install this package, please do:

cd /tmp
wget -O sublimeprolog.tar.gz http://github.com/alnkpa/sublimeprolog/tarball/master
tar -xzvf sublimeprolog.tar.gz
cd alnkpa-sublimeprolog-<commit>
mv Prolog.tmLanguage ~/.config/sublime-text-2/Packages/User/

License

This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. If a copy of the MPL was not distributed with this file, You can obtain one at http://mozilla.org/MPL/2.0/.