λProlog
logic programming language featuring polymorphic typing, modular programming
Aliases: lambda Prolog
Wikidata: Q3594646
Programming paradigms: logic programming
Search on GitHub
| Name | Description | Last pushed to | Open issues | Forks | Stars | Size |
|---|
Latest data update: 2022-09-16