logic-programming
Repositorios de código abierto monitorizados etiquetados con logic-programming, ordenados por estrellas.
Temas relacionados
Temas que aparecen con frecuencia junto a logic-programming en un mismo repositorio.
Emergentes recientes
Repositorios creados en los últimos 90 días, etiquetados con logic-programming.
No hay repositorios nuevos con este tema en los últimos 90 días.
- #1
Logica es un lenguaje de programación lógica que se compila a SQL. Se ejecuta en DuckDB, Google BigQuery, PostgreSQL y SQLite.
★ 2132+0Variación de estrellas de los últimos 7 días - #2
El poder de Prolog: Introducción al Prolog moderno
★ 1402+2Variación de estrellas de los últimos 7 días - #3
Repositorio principal de desarrollo de SWI-Prolog
★ 1278+4Variación de estrellas de los últimos 7 días - #4
Soufflé es una variante de Datalog para diseñadores de herramientas que crean análisis en cláusulas de Horn. Soufflé sintetiza un programa en C++ paralelo nativo a partir de una especificación lógica.
★ 1155+3Variación de estrellas de los últimos 7 días - #5★ 995+2Variación de estrellas de los últimos 7 días
- #6
Programación funcional de alto rendimiento, con streaming y concurrencia en Haskell.
★ 923+0Variación de estrellas de los últimos 7 días - #7★ 829+4Variación de estrellas de los últimos 7 días
- #8★ 769+1Variación de estrellas de los últimos 7 días
- #9★ 729+0Variación de estrellas de los últimos 7 días
- #10★ 578+2Variación de estrellas de los últimos 7 días
- #11
PySwip es una interfaz de Python-Prolog que permite realizar consultas a SWI-Prolog desde sus programas en Python.
★ 550+1Variación de estrellas de los últimos 7 días - #12★ 532+0Variación de estrellas de los últimos 7 días
- #13★ 530+1Variación de estrellas de los últimos 7 días
