logic-programming
Dépôts open source suivis étiquetés logic-programming, triés par étoiles.
Sujets associés
Sujets qui apparaissent souvent aux côtés de logic-programming sur un même dépôt.
Ascensions récentes
Dépôts créés au cours des 90 derniers jours et étiquetés logic-programming.
Aucun nouveau dépôt étiqueté avec ce sujet au cours des 90 derniers jours.
- #1
Logica est un langage de programmation logique qui compile vers SQL. Il fonctionne sur DuckDB, Google BigQuery, PostgreSQL et SQLite.
★ 2 132+2Évolution des étoiles sur les 7 derniers jours - #2
La puissance de Prolog : introduction au Prolog moderne.
★ 1 402+1Évolution des étoiles sur les 7 derniers jours - #3
Dépôt de développement principal de SWI-Prolog
★ 1 278+1Évolution des étoiles sur les 7 derniers jours - #4
Soufflé est une variante de Datalog destinée aux concepteurs d'outils créant des analyses en clauses de Horn. Soufflé synthétise un programme C++ parallèle natif à partir d'une spécification logique.
★ 1 155+3Évolution des étoiles sur les 7 derniers jours - #5★ 995+3Évolution des étoiles sur les 7 derniers jours
- #6
Programmation fonctionnelle haute performance, en flux et concurrente en Haskell
★ 923+1Évolution des étoiles sur les 7 derniers jours - #7★ 829+1Évolution des étoiles sur les 7 derniers jours
- #8★ 769+1Évolution des étoiles sur les 7 derniers jours
- #9★ 729+1Évolution des étoiles sur les 7 derniers jours
- #10★ 578+3Évolution des étoiles sur les 7 derniers jours
- #11
PySwip est une interface Python-Prolog permettant d'interroger SWI-Prolog dans vos programmes Python.
★ 550+0Évolution des étoiles sur les 7 derniers jours - #12★ 533+1Évolution des étoiles sur les 7 derniers jours
- #13★ 530+1Évolution des étoiles sur les 7 derniers jours
