Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Prolog Open Source Projects

Open source projects categorized as Prolog
Open Source Rover ⭐ 8,135
A build-it-yourself, 6-wheel rover based on the rovers on Mars!
most recent commit 3 days ago
Paip Lisp ⭐ 6,891
Lisp code for the textbook "Paradigms of Artificial Intelligence Programming"
most recent commit 2 months ago
99 Problems ⭐ 3,232
This is an adaptation of the Ninety-Nine Prolog Problems written by Werner Hett.
most recent commit 3 years ago
Klipse ⭐ 2,975
Klipse is a JavaScript plugin for embedding interactive code snippets in tech blogs.
dependent packages 2total releases 56most recent commit a year agonpm klipse} Downloads
Scryer Prolog ⭐ 1,799
A modern Prolog implementation written mostly in Rust.
dependent packages 1total releases 126most recent commit 7 hours agocargo scryer-prolog} Downloads
Chalk ⭐ 1,711
An implementation and definition of the Rust trait system using a PROLOG-like logic solver
dependent packages 6total releases 86most recent commit 16 days agocargo chalk-derive} Downloads
Pslab Hardware ⭐ 1,621
PSLab Hardware Design and Schematics https://pslab.io
most recent commit 21 hours ago
Logica ⭐ 1,599
Logica is a logic programming language that compiles to SQL. It runs on Google BigQuery, PostgreSQL and SQLite.
total releases 25most recent commit 6 days ago
The Power Of Prolog ⭐ 1,130
Introduction to modern Prolog
most recent commit 5 days ago
B1fipl ⭐ 897
A Bestiary of Single-File Implementations of Programming Languages
most recent commit 2 years ago
Swipl Devel ⭐ 845
SWI-Prolog Main development repository
most recent commit 2 days ago
Tau Prolog ⭐ 502
An open source Prolog interpreter in JavaScript
dependent packages 5total releases 16most recent commit 10 months agonpm tau-prolog} Downloads
Prolog Examples ⭐ 498
Some simple examples for new Prolog programmers
most recent commit a year ago
Prolog ⭐ 497
The only reasonable scripting engine for Go.
dependent packages 4total releases 82most recent commit 4 months ago
Awesome Prolog ⭐ 466
Curated list of Prolog packages and resources
dependent packages 2total releases 1most recent commit a year agonpm awesome-prolog} Downloads
Swish ⭐ 450
SWI-Prolog for SHaring: a SWI-Prolog web IDE
most recent commit 4 months ago
Transpiler ⭐ 430
A universal translator for programming languages
most recent commit a year ago
Pyswip ⭐ 383
PySwip is a Python - SWI-Prolog bridge enabling to query SWI-Prolog in your Python programs. It features an (incomplete) SWI-Prolog foreign language interface, a utility class that makes it easy querying with Prolog and also a Pythonic interface.
dependent packages 9total releases 13most recent commit a year agopypi pyswip} Downloads
Marelle ⭐ 380
Test-driven system administration with a little extra logic.
most recent commit 5 years ago
Logtalk3 ⭐ 372
Logtalk - declarative object-oriented logic programming language
total releases 1most recent commit 3 hours ago
Naga ⭐ 365
Datalog based rules engine
total releases 50most recent commit 2 years ago
Kongfuofarchitect ⭐ 364
(Updating!) Architect's Kung Fu tutorial collection Article collection contains paradigm programming microservices essential algorithms Security attack Assembly Crawler Reverse penetration test...etc.
most recent commit 5 days ago
Stabilizer ⭐ 348
Stabilizer: Rigorous Performance Evaluation
most recent commit 2 years ago
The 10 Most Depended On Prolog Open Source Projects
2p Kt ⭐ 75
A Kotlin Multi-Platform ecosystem for symbolic AI
dependent packages 25total releases 196latest release February 02, 2023most recent commit 5 days agonpm @tuprolog/2p-core} Downloads
Mulang ⭐ 125
:bamboo: Universal, Multi Language, Multi Paradigm code analyzer
dependent packages 9total releases 40latest release April 11, 2023most recent commit 8 months agorubygems mulang} Downloads
Xsd2json ⭐ 138
Translate XML Schema into equivalent JSON Schema
dependent packages 7total releases 74latest release August 01, 2022most recent commit 10 months agonpm xsd2json} Downloads
Chalk ⭐ 1,711
An implementation and definition of the Rust trait system using a PROLOG-like logic solver
dependent packages 6total releases 86latest release November 19, 2023most recent commit 16 days agocargo chalk-derive} Downloads
Tau Prolog ⭐ 502
An open source Prolog interpreter in JavaScript
dependent packages 5total releases 16latest release August 03, 2022most recent commit 10 months agonpm tau-prolog} Downloads
Prolog ⭐ 497
The only reasonable scripting engine for Go.
dependent packages 4total releases 82latest release August 11, 2023most recent commit 4 months ago
Golog ⭐ 347
Prolog interpreter in Go
dependent packages 3total releases 1latest release March 30, 2017most recent commit 4 years ago
Klipse ⭐ 2,975
Klipse is a JavaScript plugin for embedding interactive code snippets in tech blogs.
dependent packages 2total releases 56latest release January 30, 2022most recent commit a year agonpm klipse} Downloads
Awesome Prolog ⭐ 466
Curated list of Prolog packages and resources
dependent packages 2total releases 1latest release December 10, 2017most recent commit a year agonpm awesome-prolog} Downloads
The 10 Latest Releases In Prolog Open Source Projects
Go ⭐ 68
Trealla Prolog embedded in Go using WASM
total releases 134latest release November 26, 2023most recent commit 3 days ago
Chalk ⭐ 1,711
An implementation and definition of the Rust trait system using a PROLOG-like logic solver
dependent packages 6total releases 86latest release November 19, 2023most recent commit 16 days agocargo chalk-derive} Downloads
Scryer Prolog ⭐ 1,799
A modern Prolog implementation written mostly in Rust.
dependent packages 1total releases 126latest release November 02, 2023most recent commit 7 hours agocargo scryer-prolog} Downloads
Prolog ⭐ 497
The only reasonable scripting engine for Go.
dependent packages 4total releases 82latest release August 11, 2023most recent commit 4 months ago
Logict ⭐ 73
A continuation-based backtracking logic programming monad
total releases 22latest release April 24, 2023most recent commit 3 months ago
Mulang ⭐ 125
:bamboo: Universal, Multi Language, Multi Paradigm code analyzer
dependent packages 9total releases 40latest release April 11, 2023most recent commit 8 months agorubygems mulang} Downloads
2p Kt ⭐ 75
A Kotlin Multi-Platform ecosystem for symbolic AI
dependent packages 25total releases 196latest release February 02, 2023most recent commit 5 days agonpm @tuprolog/2p-core} Downloads
Tau Prolog ⭐ 502
An open source Prolog interpreter in JavaScript
dependent packages 5total releases 16latest release August 03, 2022most recent commit 10 months agonpm tau-prolog} Downloads
Xsd2json ⭐ 138
Translate XML Schema into equivalent JSON Schema
dependent packages 7total releases 74latest release August 01, 2022most recent commit 10 months agonpm xsd2json} Downloads
Popular Programming Languages Categories
Javascript
Python
Java
Typescript
Php
C Plus Plus
Ruby
C
C Sharp
Shell
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2023 Awesome Open Source.  All rights reserved.