edisonm/xtools

Stars
3
Rank 3,945,348 (Top 79 %)
Language
Prolog
License
Other
Created over 10 years ago
Updated 9 months ago

edisonm/xtools

edisonm

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Extended tools for Prolog

refactor

Refactoring Tools for SWI-Prolog

assertions

Ciao Assertion Reader for SWI-Prolog

plsteroids

Scripts to facilitate testing and development of the Prolog libraries published here.

xlibrary

Extended libraries for Prolog

rtchecks

Run-Time Checking for Ciao and SWI-Prolog

ciao

Ciao Prolog compatibility library

idfpml

CLP wrapper for Intel Decimal Floating Point Math Library