pmoura/swish
SWI-Prolog for SHaring: a SWI-Prolog web IDE
Automatically exported from code.google.com/p/lgtstep
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
SWI-Prolog for SHaring: a SWI-Prolog web IDE
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.