Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

https://github.com/wouterbeek/prolog_library_collection

A collection of Prolog libraries.
https://github.com/wouterbeek/prolog_library_collection

prolog swi-prolog

Last synced: about 1 month ago
JSON representation

A collection of Prolog libraries.

Lists

README 

        
# Prolog-Library-Collection



A collection of Prolog libraries that have proven useful in various

projects.  These libraries are intended to extend the functionality

that is already available in the

[SWI-Prolog](https://www.swi-prolog.org) standard libraries.



## Dependencies



Install [SWI-Prolog](https://www.swi-prolog.org).



## Installation



Install this library:



```sh

swipl -g 'pack_install(prolog_library_collection)' -t halt

```



## Use



Once installed, modules from this library are loaded as follows:



```pl

:- [library(atom_ext)].

```



## Module overview



### Module `archive_ext`



This module extends the standard library `archive`:



  - `archive_extension(?Extension:atom)`



    Succeeds if `Extension` is a default file name extension for an

    archive filter or format, as declared in library [[media_type]].



  - `archive_media_type(?MediaType:media)`



    Succeeds if `MediaType` is the Media Type of an archive filter or

    format.



  - `archive_open(+In:stream, -Archive:blob)`



    Opens an archive over all supported and sensible archive filters

    and formats.  This specifically excludes format `mtree`, which is

    a plain text format that is almost never used yet leads to many

    false positives in practice.



### Module `assoc_ext`



This module extends the standard library `assoc`:



  - `merge_assoc(+New:assoc, +Old:assoc, -Merge:assoc)`



    Merges two assocs into a new one.  If the same key exists in `New`

    and `Old`, the format replaces the latter in `Merge`.  These

    semantics are inspired by those of the standard library predicate

    `merge_options/3` in library `option`.



  - `transpose_assoc(+Assoc:assoc, -Transposed:assoc)`



    Turns an assoc of (key,value) pairs into one with(value,key)

    pairs.



### Module `atom_ext`



This module provides additional support for working with atoms:



  - `atom_capitalize(+Original:atom, ?Capitalized:atom)`



    Succeeds if `Capitalized` is a copt of `Orginal` where the first

    character is in upper case (if applicable).



  - `atom_ellipsis(+Original:atom, ?MaxLength:between(2,inf), ?Ellipsed:atom)`



    Succeeds if `Ellipsed` is like `Original`, but has ellipsis

    applied in order to have `MaxLength`.



  - `atom_postfix(+Original:atom, ?PostFix:atom)`

  - `atom_postfix(+Original:atom, ?Length:nonneg, ?PostFix:atom)`



    Succeeds if `Postfix` is a postfix of `Original` consisting of

    `Length` characters.



  - `atom_prefix(+Original:atom, ?PostFix:atom)`

  - `atom_prefix(+Original:atom, ?Length:nonneg, ?PostFix:atom)`



    Succeeds if `Prefix` is a prefix of `Original` consisting of

    `Length` characters.



  - `atom_strip(+Original:atom, ?Stripped:atom)`

  - `atom_strip(+Original:atom, +Strip:list(char), ?Stripped:atom)`



    Succeeds if `Stripped` is a copy of `Original` where leading and

    trailing characters in `Strip` have been removed.



  - `atom_terminator(+Original:atom, +Terminator:atom, ?Terminated:atom)`



    Succeeds if `Terminated` is a copy of `Original` which is ensured

    to end with the `Terminator` character.



  - `atom_truncate(+Original:atom, +MaxLenhgt:noneng, ?Truncated:atom)`



    Like `atom_prefix/3`, but the `Truncated` atom is the `Original`

    atom in case `MaxLength` exceeds the `Original` atom length.



### `call_ext`



meta-predicates



### `closure`



### `code_ext`



This module extends support for working with character-denoting

numeric codes:



   - `put_codes(+Codes:list(code))`

   - `put_codes(+Out:stream, +Codes:list(code))`



### `conf_ext`



This module introduces a generic way for dealing with external

configuration files:



   - `cli_arguments(-Args:list(opt)) is det.`

   - `conf_json(-Conf:dict) is det.`



### `counter`



### `csv_ext`



Streamed processing of CSV files.



### `date_time`



### `dcg`



Definite Clause Grammars



In directory `/dcg` you will find a collection of Definite Clause

Grammar (DCG) modules.



### `dcg/dcg_abnf`



Advanced Bauckus-Naur Form (ABNF)



While DCGs are nice, they can be a bit verbose for expressing common

repetition patterns.  To make DCGs that include repetitions less

verbose, this module implements *variable repetition* as defined in

[[https://tools.ietf.org/html/rfc5234][RFC 5234: Augmented BNF for

Syntax Specifications: ABNF]].



#### A simple example



Suppose we want to parse sentences, which are non-empty sequences of

words:



```pl

sentence1([H|T]) -->

  word(H),

  sentece2(T).



sentence2([H|T]) -->

  word(H),

  sentence2(T)

sentence2([]) --> "".

```



When this module is loaded, the same can be written as follows:



```pl

sentence(L) -->

  +(word, L).

```



#### definition



##### variable repetition



Variable repetition is a metasyntactic construct which states that at

least `M` and at most `N` occurrences of `:Dcg_0` must be processed:



```pl

'm*n'(?M:nonneg, ?N:nonneg, :Dcg_0)//

```



##### specific repetition



Specific repetition is a metasyntactic construct which states that

exactly `N` occurrences of `Dcg_0` must be processed:



```pl

'#'(?N:nonneg, :Dcg_0)//

```



Specific repetition is a special case of [[variable repetition]],

because `#(N, Dcg_0)` is the same as `'m*n'(N, N, Dcg_0)`.



##### Kleene



Kleene star is a metasyntactic construct which states that zero or

more occurrences of `Dcg_0` must be processed:



```pl

*(?N:nonneg, :Dcg_0)//

```



Kleene star is a special case of [[variable repetition]], because

`*(N, Dcg_0)` is the same as `'m*n'(_, _, Dcg_0)`.



##### Kleene sum



Kleene sum is a metasyntactic construct which states that one or more

occurrences of `Dcg_0` must be processed:



```pl

+(?N:nonneg, :Dcg_0)//

```



Kleene sum is a special case of [[variable repetition]], because `+(N,

Dcg_0)` is the same as `'m*n'(1, _, Dcg_0)`.



##### optional sequence



Optional sequence is a metasyntactic construct which states that

`Dcg_0` should either be processed once or not at all:



```pl

?(:Dcg_0)//

```



Optional sequence is a special case of [[variable repetition]],

because `?(Dcg_0)` is the same as `'m*n'(0, 1, Dcg_0)`.



|  DCG                      |  Meaning                                            |  Name               |

| ------------------------- | --------------------------------------------------- | ------------------- |

| `#(?N, :Dcg_0)//`         | Process `Dcg_0` exactly `N` times.                  | specific repetition |

| `*(:Dcg_0)//`             | Process `Dcg_0` 0 or more times.                    | Kleene star         |

| `'*n'(?N, :Dcg_0)//`      | Process `Dcg_0` at most `N` times.                  |                     |

| `+(:Dcg_0)//`             | Process `Dcg_0` 1 or more times.                    | Kleene sum          |

| `?(:Dcg_0)//`             | Process `Dcg_0` 0 or 1 times.                       | optional sequence   |

| `'m*'(?M, :Dcg_0)//`      | Process `Dcg_0` at least `M` times.                 |                     |

| `'m*n'(?M, ?N, :Dcg_0)//` | Process `Dcg_0` at least `M` and at most `N` times. | variable repetition |



It contains the following modules:



|  Type   |  Definition                                                                                                        |

| ------- | ------------------------------------------------------------------------------------------------------------------ |

| `media` | A compound term of the form `media(Super:atom/Sub:atom,Parameters:list(opt))`                                      |

| `opt`   | A unary compound term whose predicate letter is an option name and whose argument is a corresponding option value. |



### `dcg/dcg_ext`



### `debug_ext`



### `default`



### `dict`



Dictionaries.



### `dlist`



Difference lists.



### `file_ext`



Handling files and directories.



### `graph/gml`



### `graph/graph_ext`



### `graph/jgf`



### `hash_ext`



### `http/http_client2`



### `http/http_generic`



### `http/http_pagination`



### `http/http_resource`



### `http/http_server`



### `json_ext`



This module provides extended JSON support on top of the standard

library `http/json`:



   - `json_load(+File:atom, -Structure:dict) is det.`



   - `json_save(+File:atom, +Structure:dict) is det.`



### `list_ext`



### `math_ext`



### `media_type`



### `nlp/nlp_lang`



### `os_ext`



Running external processes, streaming to/from external processes.



### `pagination`



### `pair_ext`



### `pp`



### `pure`



### `sort_ext`



### `stream_ext`



Support for recoding, unpacking, sorting, and hasing streams.



### `string_ext`



### `task`



### `term_ext`



### `thread_ext`



### `uri_ext`



Constructing/decomposing URIs.



### `xml_ext`



This module allows Prolog goals to be called on a stream that encodes

an XML DOM:



   - `call_on_xml(+In:stream, +Names:list(atom), :Goal_1) is det.`



The following predicates allow the encoding of an XML file or stream

to be determined:



   - `xml_encoding(+In:stream, -Encoding:atom) is semidet.`

   - `xml_file_encoding(+File:atom, -Encoding:atom) is semidet.`



### `xsd`



Support for XML Schema 1.1 Part 2: Datatypes.



  - `xsd_date_time/3` for translating between XSD date/time

    representations and date/time representations as supported by

    [[https://github.com/wouterbeek/Prolog-Library-Collection][Prolog-Library-Collection]].



  - `xsd_date_time_type/1` for checking/enumerating the XSD date/time

    datatype IRIs.



  - `xsd_encode_string//0` a DCG rule for encoding strings of

    characters according to the restrictions of the XSD string

    datatype.



  - `xsd_numeric_type/1` enumerates XSD numeric datatype IRIs.



  - `xsd_strict_subtype/2` and `xsd:subtype/2` allow the hierarchy of

    XSD datatype IRIs to be queried.