Packages tagged logic-programming

5 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (5), mit (3), bsd3 (2), asp (1), bindings (1), dsl (1), ffi (1), foreign-binding (1), symbolic-computation (1)