logic-programming
Repositórios de código aberto acompanhados marcados com logic-programming, ordenados por estrelas.
Tópicos relacionados
Tópicos que aparecem com frequência ao lado de logic-programming no mesmo repositório.
Em ascensão recentemente
Repositórios criados nos últimos 90 dias e marcados com logic-programming.
Nenhum repositório novo marcado com este tópico nos últimos 90 dias.
- #1
Logica é uma linguagem de programação lógica que compila para SQL. Executa no DuckDB, Google BigQuery, PostgreSQL e SQLite.
★ 2.132+0Variação de estrelas nos últimos 7 dias - #2
O Poder do Prolog: Introdução ao Prolog moderno
★ 1.402+2Variação de estrelas nos últimos 7 dias - #3
Repositório principal de desenvolvimento do SWI-Prolog.
★ 1.278+4Variação de estrelas nos últimos 7 dias - #4
Soufflé é uma variante de Datalog para desenvolvedores de ferramentas que elaboram análises em cláusulas de Horn. O Soufflé sintetiza um programa C++ nativo e paralelo a partir de uma especificação lógica.
★ 1.155+3Variação de estrelas nos últimos 7 dias - #5★ 995+2Variação de estrelas nos últimos 7 dias
- #6★ 923+0Variação de estrelas nos últimos 7 dias
- #7★ 829+4Variação de estrelas nos últimos 7 dias
- #8★ 769+1Variação de estrelas nos últimos 7 dias
- #9★ 729+0Variação de estrelas nos últimos 7 dias
- #10★ 578+2Variação de estrelas nos últimos 7 dias
- #11
O PySwip é uma interface Python-Prolog que permite consultar o SWI-Prolog em seus programas Python.
★ 550+1Variação de estrelas nos últimos 7 dias - #12★ 533+0Variação de estrelas nos últimos 7 dias
- #13★ 530+1Variação de estrelas nos últimos 7 dias
