herbrand-prolog. A pseudo-Prolog that tries to answer queries by building the least Herbrand model.

github.com/joom/herbrand-prolog

Problem

Audience

Updates

No founder updates yet. Check back soon.