This repository contains Prolog Code organized using the SWI-Prolog packaging mechanism.
The code is somewhat SWI-Prolog specific.
- Directory
unpacked
: Contains the source code. - Directory
prepacked
: Contains a copy of the source code arranged such that "packing" can be done. - Directory
packed
: Contains the pack files (tar files)
These will become separate packs:
- README - Handle "semantic version 2.0.0 strings" with DCGs.
- README - Various basic predicates, including am SWI-Prolog
dict prettyprinter and a replacement for
must_be/2
calledcheck_that/2