토픽 · logic-programming

logic-programming

logic-programming 태그가 달린 추적 중인 오픈소스 리포지토리를 스타 수 순으로 보여줘요.

리포지토리

13

총 스타

12,389

평균 스타

953

비중

0.00%

같은 리포지토리에 logic-programming 태그와 자주 함께 쓰이는 토픽이에요.

최근 라이징

최근 90일 안에 만들어지고 logic-programming 태그가 달린 리포지토리예요.

최근 90일 안에 이 토픽 태그가 달린 새 리포지토리가 없어요.

#1
logica ↗@EvgSkvJupyter Notebook
Logica는 SQL로 컴파일되는 로직 프로그래밍 언어입니다. DuckDB, Google BigQuery, PostgreSQL 및 SQLite에서 실행됩니다.
★ 2,132+0최근 7일 스타 변화
#2
the-power-of-prolog ↗@triskaHTML
The Power of Prolog: 현대 Prolog 입문
★ 1,402+2최근 7일 스타 변화
#3
swipl-devel ↗@SWI-PrologC
SWI-Prolog 메인 개발 저장소
★ 1,278+4최근 7일 스타 변화
#4
souffle ↗@souffle-langC++
Soufflé는 Horn 절에서 분석을 만드는 도구 설계자를 위한 Datalog의 변형입니다. Soufflé는 논리 사양에서 네이티브 병렬 C++ 프로그램을 생성합니다.
★ 1,155+3최근 7일 스타 변화
#5
atomspace ↗@opencogC++
OpenCog (하이퍼)그래프 데이터베이스 및 그래프 재작성 시스템
★ 995+2최근 7일 스타 변화
#6
streamly ↗@composewellHaskell
Haskell 기반의 고성능 스트리밍 및 동시성 함수형 프로그래밍
★ 923+0최근 7일 스타 변화
#7
clingo ↗@potasscoC++
🦉 논리 프로그램을 위한 그라운더(grounder) 및 솔버(solver).
★ 829+4최근 7일 스타 변화
#8
Nucleoid ↗@NucleoidAIRust
LLM을 위한 논리 언어 🌱🐋 세계 모델 구축 🌍
★ 769+1최근 7일 스타 변화
#9
prolog ↗@ichibanGo
Go를 위한 유일하게 합리적인 스크립팅 엔진
★ 729+0최근 7일 스타 변화
#10
ascent ↗@s-arashRust
Rust로 구현된 논리 프로그래밍
★ 578+2최근 7일 스타 변화
#11
pyswip ↗@yucePython
Python 프로그램에서 SWI-Prolog 쿼리를 가능하게 하는 Python-Prolog 인터페이스 PySwip
★ 550+1최근 7일 스타 변화
#12
z3.rs ↗@prove-rsRust
Z3 솔버를 위한 Rust 바인딩입니다.
★ 532+0최근 7일 스타 변화
#13
crepe ↗@ekzhangRust
Rust의 절차적 매크로로 구현된 Datalog 컴파일러
★ 530+1최근 7일 스타 변화

← 토픽 목록으로