Thema · logic-programming

logic-programming

Erfasste Open-Source-Repos mit dem Tag logic-programming, sortiert nach Sternen.

Repos

13

Sterne gesamt

12.403

Sterne im Schnitt

954

Anteil

0,00%

Themen, die häufig gemeinsam mit logic-programming am selben Repo auftauchen.

Neue Aufsteiger

Repos, die in den letzten 90 Tagen erstellt und mit logic-programming getaggt wurden.

In den letzten 90 Tagen kam kein neues Repo mit diesem Thema dazu.

#1
logica ↗@EvgSkvJupyter Notebook
Logica ist eine Logikprogrammiersprache, die nach SQL kompiliert. Sie läuft auf DuckDB, Google BigQuery, PostgreSQL und SQLite.
★ 2.132+2Sterne-Änderung der letzten 7 Tage
#2
the-power-of-prolog ↗@triskaHTML
The Power of Prolog: Einführung in das moderne Prolog
★ 1.402+1Sterne-Änderung der letzten 7 Tage
#3
swipl-devel ↗@SWI-PrologC
Hauptentwicklungs-Repository für SWI-Prolog
★ 1.278+1Sterne-Änderung der letzten 7 Tage
#4
souffle ↗@souffle-langC++
Soufflé ist eine Datalog-Variante für Werkzeugentwickler, die Analysen in Horn-Klauseln erstellen. Soufflé generiert ein natives, paralleles C++-Programm aus einer Logikspezifikation.
★ 1.155+3Sterne-Änderung der letzten 7 Tage
#5
atomspace ↗@opencogC++
Die OpenCog (Hyper-)Graphdatenbank und das Graph-Rewriting-System
★ 995+3Sterne-Änderung der letzten 7 Tage
#6
streamly ↗@composewellHaskell
Hochleistungsfähige, streamingbasierte und nebenläufige funktionale Programmierung in Haskell
★ 923+1Sterne-Änderung der letzten 7 Tage
#7
clingo ↗@potasscoC++
🦉 Ein Grounder und Solver für Logikprogramme.
★ 829+1Sterne-Änderung der letzten 7 Tage
#8
Nucleoid ↗@NucleoidAIRust
Logiksprache für LLMs 🌱🐋 Weltmodelle erstellen 🌍
★ 769+1Sterne-Änderung der letzten 7 Tage
#9
prolog ↗@ichibanGo
Die einzige vernünftige Skripting-Engine für Go.
★ 729+1Sterne-Änderung der letzten 7 Tage
#10
ascent ↗@s-arashRust
Logikprogrammierung in Rust
★ 578+3Sterne-Änderung der letzten 7 Tage
#11
pyswip ↗@yucePython
PySwip ist eine Python-Prolog-Schnittstelle, die das Abfragen von SWI-Prolog in Python-Programmen ermöglicht.
★ 550+0Sterne-Änderung der letzten 7 Tage
#12
z3.rs ↗@prove-rsRust
Rust-Bindings für den Z3-Solver.
★ 533+1Sterne-Änderung der letzten 7 Tage
#13
crepe ↗@ekzhangRust
Datalog-Compiler, eingebettet in Rust als prozedurales Makro.
★ 530+1Sterne-Änderung der letzten 7 Tage

← Zurück zu den Themen