pmoura/lgtstep
Automatically exported from code.google.com/p/lgtstep
SWI-Prolog for SHaring: a SWI-Prolog web IDE
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Automatically exported from code.google.com/p/lgtstep
An encoding of the Boolean co-clone lattice in Prolog, with tools for constructing weak bases.
Prolog Development Tool for Eclipse (PDT) -- http://sewiki.iai.uni-bonn.de/research/pdt/
Test-driven system administration with a little extra logic.