1
I Use This!
Inactive
Analyzed about 14 hours ago. based on code collected about 14 hours ago.

Project Summary

A declarative logic programming system with first-class relations embedded in a pure functional subset of Scheme. The system has true unions, fair scheduling, lexically-scoped logical variables, set-theoretical semantics, high performance without cuts.

Tags

No tags have been added

In a Nutshell, KANREN...

This Project has No vulnerabilities Reported Against it

Did You Know...

  • ...
    Black Duck offers a free trial so you can discover if there are open source vulnerabilities in your code
  • ...
    check out hot projects on the Open Hub
  • ...
    in 2016, 47% of companies did not have formal process in place to track OS code
  • ...
    data presented on the Open Hub is available through our API

Languages

Languages?height=75&width=75
Scheme
89%
TeX/LaTeX
10%
2 Other
1%

30 Day Summary

Nov 10 2018 — Dec 10 2018

12 Month Summary

Dec 10 2017 — Dec 10 2018

Ratings

Be the first to rate this project
Click to add your rating
   Spinner
Review this Project!