Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Prolog Open Source Projects

Open source projects categorized as Prolog
Pylo2 ⭐ 67
Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.
most recent commit 3 years ago
Openpst ⭐ 67
A collection of tools for working with Qualcomm MSM devices
most recent commit 7 years ago
Acewiki ⭐ 67
AceWiki is a semantic wiki based on controlled natural language.
most recent commit 7 months ago
Webdriver Logic ⭐ 66
Logic programming API for testing web applications using clj-webdriver
total releases 1most recent commit 11 years ago
Egglog0 ⭐ 65
Datalog + Egg = Good
most recent commit a year ago
Php ⭐ 63
Prolog Home Page
most recent commit 5 months ago
Smallpt ⭐ 63
☀️ The Rosetta smallpt (small path tracing) project
most recent commit 2 years ago
Lecturas_glc ⭐ 62
Readings on computational logic, interactive theorem proving and functional programming.
most recent commit 3 months ago
Cplint ⭐ 61
cplint is a suite of programs for reasoning with probabilistic logic programs
most recent commit 4 months ago
Mycroft ⭐ 61
A prolog-like language with compound truth value logic
most recent commit 6 years ago
Ntp ⭐ 60
End-to-End Differentiable Proving
most recent commit 5 years ago
Open Radiation Detector ⭐ 60
Portable radiation detector based on an ionization chamber
most recent commit 4 months ago
Prolog_notes ⭐ 59
Some notes taken while working on Prolog
most recent commit 3 years ago
Awesome Philosophy Compsci ⭐ 59
A list of resources that cross the disciplines of Computer Science and Philosophy
most recent commit 5 months ago
Module_17 ⭐ 58
M17 modem board for 9600-baud capable radios
most recent commit 3 months ago
Utilities ⭐ 56
Uncategorized utilities
most recent commit 5 years ago
Ramps 1.4.2 ⭐ 56
forked from ultimachine/Ramps 1.4
most recent commit 10 years ago
Avalog ⭐ 56
An experimental implementation of Avatar Logic with a Prolog-like syntax
dependent packages 1total releases 22most recent commit 2 years agocargo avalog} Downloads
Vsc Prolog ⭐ 55
A VS Code extension that provides language support for prolog
most recent commit 5 years ago
Lsp_server ⭐ 55
Language Server Protocol server for SWI-Prolog
most recent commit a year ago
Cocos ⭐ 54
cocos (code commons) - auto-include quick-starter prelude & prolog
dependent packages 2total releases 6most recent commit 7 months agorubygems cocos} Downloads
Dotfiles ⭐ 53
My awesome dotfiles 🚀
most recent commit 3 months ago
Lpn ⭐ 53
Learn Prolog Now LaTeX sources
most recent commit 5 years ago
Popular Programming Languages Categories
Python
Javascript
Java
Typescript
C Plus Plus
Php
Golang
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-2024 Awesome Open Source.  All rights reserved.