https://github.com/foxyseta/tree-sitter-prolog

Mirror of https://codeberg.org/foxy/tree-sitter-prolog. Refer to the original repository for issue tracking
https://github.com/foxyseta/tree-sitter-prolog

grammar parsing problog prolog tree-sitter

Last synced: 3 months ago
JSON representation

Mirror of https://codeberg.org/foxy/tree-sitter-prolog. Refer to the original repository for issue tracking

• Host: GitHub
• URL: https://github.com/foxyseta/tree-sitter-prolog
• Owner: foxyseta
• License: agpl-3.0
• Created: 2024-07-03T01:46:59.000Z (6 months ago)
• Default Branch: main
• Last Pushed: 2024-07-28T10:36:49.000Z (5 months ago)
• Last Synced: 2024-09-27T10:22:35.636Z (3 months ago)
• Topics: grammar, parsing, problog, prolog, tree-sitter
• Language: JavaScript
• Homepage: https://codeberg.org/foxy/tree-sitter-prolog
• Size: 837 KB
• Stars: 2
• Watchers: 1
• Forks: 2
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# tree-sitter-prolog

[![status-badge](https://ci.codeberg.org/api/badges/13456/status.svg)](https://ci.codeberg.org/repos/13456)

Prolog grammar for [tree-sitter](https://github.com/tree-sitter/tree-sitter).

The ["References" section](#references) lists the various extensions that

currently have their own grammar besides ISO Prolog.

Feel free to contribute with new ones! It is super easy, as you can just extend

an existing one.

## Project structure

The project uses pnpm as its package manager. Files `package.json` and

`pnpm-lock.yaml` can be found in the root folder.

### Grammars

A `grammar.js` file for a Prolog extension `xxx` is located at

`grammars/xxx/grammar.js`. They are formatted using dprint, according to

`grammars/dprint.json`.

### Parsers

Parser sources for a Prolog extension `xxx` are located at `grammars/xxx/src/`.

If you are not using the `build*` pnpm scripts and are manually invoking the

`tree-sitter generate` command instead, make sure your current directory is

`grammars/xxx/`.

> [!WARNING]

> When updating parser sources with `tree-sitter generate`, use the

> `--no-bindings` flag. Tree-sitter is currently unable to generate correct

> bindings for repositories with more than one grammar. The `build*` pnpm

> scripts will always use such flag.

### Queries

If a `.scm` file does not need modifications between two or more grammars, it

can be found in `queries/`. Otherwise, its version for grammar `xxx` is located

at `grammars/xxx/queries/`.

### Tests

Corpus tests for a grammar `xxx` are located at `grammars/xxx/tests/corpus/`.

Highlight tests of all grammars are located at `tests/highlight/`.

## References

### ISO Prolog

- [_ISO Prolog standard, part 1: General core, ISO-IEC-13211-1_](https://annas-archive.org/md5/2ab8eeb4b91b6c75ccb9f80a8cc446e4)

- [_ISO Prolog standard, part 2: Modules, ISO-IEC-13211-2_](https://annas-archive.org/md5/476731b3fea9384b12f5e6c2f42960c8)

### ProbLog

- [L. De Raedt, A. Kimmig and H. Toivonen. _ProbLog: A Probabilistic Prolog and

  its Application in Link Discovery_. IJCAI 2007, Proceedings of the 20th

  International Joint Conference on Artificial Intelligence, pp. 2462 - 2467,

  2007.](https://lirias.kuleuven.be/bitstream/123456789/146072/1/ijcai07-problog.pdf)