Making lptp available as a pack

[pmoura]

Now that we have a tagged version, I'm happy to help in making it available as a pack. The suggested plan would be to publish a first pack version using this tag and then improve lptp portability, tag a new version, and add it to the pack spec. I see that you have also the cTI repo. If you like, I can help you setup your own pack registry for both projects. For examples of Prolog pack registries, please see:

https://github.com/LogtalkDotOrg/pack-registries

For details on the portable packs tool, please see:

https://logtalk.org/manuals/devtools/packs.html

My ultimate goal here is to get more and more people in the community to share their code as easily manageable packs independently of their preferred Prolog system.

[FredMesnard]

Hi Paulo. I'm ok with the plan. Please, can you do it? Wrt cTI, the code relies heavily on CLP(B) and CLP(Q) SWI libraries. I wonder wether it can be made portable? Thank you for your help!

[pmoura]

The first step would be to create a https://github.com/FredMesnard/fred_mesnard_packs or similarly named repo with the following files:

• LICENSE (this will be the license for the pack registry itself, not necessarily the same license as the packs themselves)
• README.md file (for contents examples, see https://github.com/LogtalkDotOrg/pack-registries)
• fred_mesnard_packs_registry.lgt
• lptp_pack.lgt
• cTI_pack.lgt
• loader.lgt

If you create the repo and add the first two files, I can then submit a pull request with the *.lgt files.