Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for prolog
prolog
x
748 search results found
Pylo2
⭐
67
Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.
Openpst
⭐
67
A collection of tools for working with Qualcomm MSM devices
Acewiki
⭐
67
AceWiki is a semantic wiki based on controlled natural language.
Webdriver Logic
⭐
66
Logic programming API for testing web applications using clj-webdriver
Egglog0
⭐
65
Datalog + Egg = Good
Php
⭐
63
Prolog Home Page
Smallpt
⭐
63
☀️ The Rosetta smallpt (small path tracing) project
Lecturas_glc
⭐
62
Readings on computational logic, interactive theorem proving and functional programming.
Cplint
⭐
61
cplint is a suite of programs for reasoning with probabilistic logic programs
Mycroft
⭐
61
A prolog-like language with compound truth value logic
Ntp
⭐
60
End-to-End Differentiable Proving
Open Radiation Detector
⭐
60
Portable radiation detector based on an ionization chamber
Prolog_notes
⭐
59
Some notes taken while working on Prolog
Awesome Philosophy Compsci
⭐
59
A list of resources that cross the disciplines of Computer Science and Philosophy
Module_17
⭐
58
M17 modem board for 9600-baud capable radios
Utilities
⭐
56
Uncategorized utilities
Ramps 1.4.2
⭐
56
forked from ultimachine/Ramps 1.4
Avalog
⭐
56
An experimental implementation of Avatar Logic with a Prolog-like syntax
Vsc Prolog
⭐
55
A VS Code extension that provides language support for prolog
Lsp_server
⭐
55
Language Server Protocol server for SWI-Prolog
Cocos
⭐
54
cocos (code commons) - auto-include quick-starter prelude & prolog
Dotfiles
⭐
53
My awesome dotfiles 🚀
Lpn
⭐
53
Learn Prolog Now LaTeX sources
Got Check
⭐
52
⚔️ Game of Thrones character database and family trees in Prolog
Shen Go
⭐
51
A Go implementation of the Shen programming language
Easyccg
⭐
51
Dotfiles
⭐
51
Some items in /home/kiedtl/etc
Cliopatria
⭐
50
ClioPatria provides an RDF application platform
Otm 02
⭐
49
Open source Time Machine #2
Nprolog
⭐
49
interpreter and compiler to be compatible with Arity/Prolog32.
Nlprolog
⭐
48
Neural Logic Reasoning for Question Answering
Pengines
⭐
47
Pengine and Prolog scratchpad
Dslsfrombeginnertoexpert
⭐
47
Nests And Insects
⭐
46
A Roguelike Tabletop RPG
Packages Jpl
⭐
46
JPL: The Prolog <-> Java interface
Mixologician
⭐
46
optimize your home bar with ✨logic programming✨
Lod Laundromat
⭐
46
Cleaning other people's dirty data.
Calysto_prolog
⭐
45
A Prolog kernel for Jupyter
Logicmoo_workspace
⭐
44
https://jenkins.logicmoo.org/job/logicmoo_workspac https://logicmoo.org/xwiki/
Solutions
⭐
43
Solutions to various problems in various languages
Prolongo
⭐
43
MongoDB Driver for Prolog
Yap
⭐
43
Swivm
⭐
42
SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions
Temperance
⭐
42
A logic programming library for Common Lisp.
Hopes
⭐
40
Higher Order Prolog with Extensional Semantics
Esplay_micro_hardware
⭐
40
Micro version of esplay hardware, ESP32 based gaming console
Aleph
⭐
40
Port of Aleph to SWI-Prolog
Lps.js
⭐
39
Logic Production System (LPS) programming language interpreter implemented in JavaScript for Node.js and browsers.
Wamcompiler
⭐
38
Prolog implementation based on Warren's abstract machine
Node Prolog Swi
⭐
38
A node.js interface to the SWI-Prolog library
Ediprolog
⭐
36
Emacs Does Interactive Prolog
Ideone Api
⭐
35
A Python binding to the Ideone API
Talks
⭐
35
Talk slides for recent presentations
Clpbnr
⭐
34
CLP(BNR) module for SWI-Prolog
Mlab
⭐
34
“云上炼丹师”中的云
Node Prolog
⭐
33
An event- and stream-aware logger for pros. Meaning, professionals.
Picolisp
⭐
33
Very fast and tiny 64-bit Lisp interpreter: object-oriented, dynamic and functional. Comes with a database, prolog-engine, coroutines, namespaces and native function calls. This github is used to build the Arch Linux AUR package.
Deeprank
⭐
32
A first cut into exploring the use of dependency links for building Text Graphs, that, among other things, with help of a centrality algorithm like *PageRank*, can extract relevant keywords and summaries from text documents.
Prolog For Dummies
⭐
32
Weblog
⭐
32
Web Framework for SWI-Prolog
Spectector
⭐
32
Automatic detection of speculative information flows
Swi Prolog Wasm
⭐
32
SWI-Prolog ported to WebAssembly
Owl Verbalizer
⭐
32
OWL verbalizer: making machine-readable knowledge also human-readable
Clpb
⭐
31
Boolean Constraint Solving in Prolog
Irssi Powerline
⭐
31
Powerline theme for IRSSI
Embedded_hardware
⭐
31
Eagle files, gerbers, BOMs, etc
Learn Prolog
⭐
31
Bringing Prolog to the masses.
Semrep
⭐
30
Prologcheatsheet
⭐
30
Basics of relational programming with Prolog —PROgramming in LOGic ^_^
Prologcoin
⭐
30
Cram
⭐
30
CRAM software stack
Rulog
⭐
30
Ruby with Logic, a prolog-style logic programming system for Ruby
Crisp
⭐
30
A Clang/LLVM add-on to enforce coding rules
Vivace Graph V2
⭐
30
Superceded by https://github.com/kraison/vivace-graph-v3 Open source Common Lisp graph database / RDF store / Prolog implementation. Supersedes http://github.com/kraison/vivace-graph.
Packages Cpp
⭐
30
The SWI-Prolog C++ interface
Logickit
⭐
29
A Prolog-like language as a Swift Embedded Domain Specific Language.
Picolisp
⭐
29
Trealla Js
⭐
29
Trealla Prolog for the web
Chaves
⭐
29
Cheap Hacky Audio/Video - Glitch VGA synth based on jonasbers.com/chav/
Prolog Isolation Checker
⭐
29
An encoding of the UK's self-isolation rules in Prolog
Letswicrypt
⭐
29
Prolog HTTPS Servers
Prolog
⭐
28
Exercism exercises in Prolog.
Typesandproofs
⭐
28
Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
Jprol
⭐
28
Yet another Java based Prolog engine
Old Links
⭐
28
A list of web links that we recommended, back in the early 2000s.
Shap_fold
⭐
28
(Explainable AI) - Learning Non-Monotonic Logic Programs From Statistical Models Using High-Utility Itemset Mining
Awesome Best Practices
⭐
28
A curated list of awesome best practices.
Eveonlineminingyield
⭐
27
formulars and numbers for mining yield in Eve Online
Prologmud
⭐
27
MUD Server written in Prolog using Forward chaining
Pylog
⭐
26
pylog: an implementation of Prolog features in Python
Prolog
⭐
26
Warren Abstract Machine - A embedded Prolog compiler and virtual machine for PHP
Expert Systems
⭐
26
A basic expert system, written in Prolog, that suggests what programming language one should learn first.
Abl Hed
⭐
26
Handwritten Equations Decipherment with Abductive Learning
Agraph
⭐
26
Client for the AllegroGraph 4.x RDF graph database.
Projog
⭐
26
Prolog programming for the Java platform.
Sparqlprog
⭐
26
logic programming with SPARQL
Awesome Datalog
⭐
26
Awesome datalog libraries, tools and resources
Code
⭐
26
Unityprolog
⭐
25
A mostly ISO-compliant Prolog interpreter for Unity3D
Ubb Computer Science
⭐
25
🎰 University projects and homework.
Related Searches
Python Prolog (139)
Language Prolog (126)
Prolog Logic Programming (125)
Java Prolog (114)
Programming Prolog (110)
C Prolog (104)
Javascript Prolog (88)
Lisp Prolog (66)
Haskell Prolog (66)
C Plus Plus Prolog (56)
101-200 of 748 search results
< Previous
Next >
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.