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

Prolog

by alnkpa ALL

This a Prolog syntax highlighting for Sublime Text 2 & 3

Details

Installs

  • Total 41K
  • Win 18K
  • Mac 12K
  • Linux 11K
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 Oct 26 Oct 25 Oct 24 Oct 23 Oct 22 Oct 21 Oct 20 Oct 19 Oct 18 Oct 17 Oct 16 Oct 15
Windows 0 3 5 5 8 7 9 9 6 2 5 10 4 9 3 5 6 8 7 9 5 7 3 3 3 5 6 4 5 3 3 5 4 4 2 3 2 2 5 4 2 4 3 2 3 7
Mac 0 1 1 2 1 4 7 2 2 3 4 3 3 6 1 1 3 5 6 4 1 3 3 2 2 4 2 1 1 2 2 1 3 1 4 3 0 1 3 2 4 2 0 2 3 2
Linux 0 1 3 3 5 5 0 4 1 4 7 6 3 0 3 1 3 3 2 6 2 5 3 0 3 1 1 4 0 3 4 4 1 2 5 1 1 0 1 6 2 3 0 1 0 0

Readme

Source
raw.​githubusercontent.​com

Prolog syntax highlighting for Sublime Text 2 & 3

No Maintenance Intended

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/.