A research-oriented Logic Programming system for Unix and Windows/DOS-based systems, representing a semantically enriched functional superset of Prolog and offering among other things evaluation through full SLG resolution.
Rate This Site
Embed Badge
Place this code on your website to show you're listed here.