Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for prolog logic programming
logic-programming
x
prolog
x
70 search results found
Logica
⭐
1,632
Logica is a logic programming language that compiles to SQL. It runs on Google BigQuery, PostgreSQL and SQLite.
The Power Of Prolog
⭐
1,130
Introduction to modern Prolog
Swipl Devel
⭐
863
SWI-Prolog Main development repository
Tau Prolog
⭐
502
An open source Prolog interpreter in JavaScript
Prolog
⭐
497
The only reasonable scripting engine for Go.
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.
Logtalk3
⭐
378
Logtalk - declarative object-oriented logic programming language
Shen Sources
⭐
327
The Official Shen Sources
Tar.pl
⭐
230
tar creator+extractor in ~100 lines of prolog
Datalog
⭐
230
An in-memory datalog implementation for OCaml.
Ciao
⭐
214
Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
Cosmos
⭐
174
A new logic programming language.
Swi Web Prolog
⭐
168
A proof-of-concept SWI-Prolog implementation of Web Prolog
Julog.jl
⭐
146
A Julia package for Prolog-style logic programming.
Lisprolog
⭐
132
Interpreter for a simple Lisp. Written in Prolog.
Logically
⭐
106
explorations in core.logic
Ukanren Rs
⭐
99
Rust implementation of µKanren, a featherweight relational programming language.
Brachylog
⭐
93
A terse declarative logic programming language
Amziprolog
⭐
81
Amzi! Prolog: complete system to interpret, build, run and debug Prolog programs, but also embed and query them similar to databases.
2p Kt
⭐
77
A Kotlin Multi-Platform ecosystem for symbolic AI
Pytholog
⭐
76
Python library that enables using prolog syntax and logic programming in python
Rtec
⭐
74
RTEC is an Event Calculus implementation optimised for stream reasoning
Logict
⭐
73
A continuation-based backtracking logic programming monad
Go
⭐
71
Trealla Prolog embedded in Go using WASM
Guan
⭐
68
Guan is a cross-platform, general-purpose logic programming library with a C# API for external predicate implementation. It is a close approximation of Prolog, with extended capabilities and some differences.
Pylo2
⭐
67
Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.
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
Mixologician
⭐
46
optimize your home bar with ✨logic programming✨
Hopes
⭐
40
Higher Order Prolog with Extensional Semantics
Rulog
⭐
30
Ruby with Logic, a prolog-style logic programming system for Ruby
Logickit
⭐
29
A Prolog-like language as a Swift Embedded Domain Specific Language.
Trealla Js
⭐
29
Trealla Prolog for the web
Ut
⭐
24
Yet Another Efficient Unification Algorithm
Fasill
⭐
20
Fuzzy Aggregators and Similarity Into a Logic Language
Logician
⭐
20
🖖 Prolog-style Logic Programming in pure R
Logic Db
⭐
17
Embedding a Prolog-like logic programming language in JavasScript and TypeScript.
Tabled Prolog Book
⭐
17
Programming in Tabled Prolog by David S Warren
Zamia Prolog
⭐
16
Embeddable Prolog dialect implemented in pure Python. Stores its knowlegdebase using SQLAlchemy for scalability.
Loreleai
⭐
15
A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis
Opiec
⭐
15
oPIEC: Online Event Recognition over Noisy Data Streams using the Event Calculus
Alsprolog
⭐
15
ALS Prolog Compiler & Development Environment
Dali
⭐
15
DALI Multi Agent System Framework
Debug_adapter
⭐
15
Debug Adapter Protocol (DAP) implementation for SWI-Prolog
Wam
⭐
14
A simple compiler from Prolog to WAM (Warren Abstract Machine) and a runtime for WAM.
Minilog
⭐
14
A small relational (logic) programming language.
Linearone
⭐
12
LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.
Othello Prolog
⭐
12
📜 A fully functional Othello (Reversi) game, with several AIs, made in prolog for swipl.
Prolog Examples
⭐
11
Set of awesome Prolog Examples
Hitchhicker Prolog
⭐
10
Javascript porting of Paul Tarau latest Prolog Engine architecture
Mfjs Logic
⭐
10
Logical programming in JavaScript
Soul
⭐
10
Rescuing the SOUL great logic meta programming language
Data Logic
⭐
9
Expert system with deductive querying and verification of constraints expressed in natural language
Ecblackjack
⭐
8
Simple BlackJack game via Browser using SWI Prolog, Tau Prolog
Blog
⭐
8
Blog sobre programación declarativa, lógica y funcional
Logicpy
⭐
8
Prolog Implementation in Python
Paradigmas De La Programacion
⭐
6
Repositorio maestro para aprobar paradigmas de la programación
Grail
⭐
6
Grail is a theorem prover for multimodal type-logical grammars
Dakilang
⭐
6
Interpreter for the Daki logic programming language
Prology
⭐
6
Logic Programming for Python3
Cardboard Prolog
⭐
6
A bare-bones inference engine in 120 lines of purely functional Scheme
Psc Query
⭐
6
PureScript source code knowledge extraction and querying support.
Pengine
⭐
5
pengines (SWI Prolog) client for Go
Factlog
⭐
5
subset-Prolog-like DSL running on Factor
Psoatransruncomponents
⭐
5
Components of PSOATransRun system
Lumber
⭐
5
Embeddable logic scripting language
Real
⭐
5
Integrative statistics with R and logic programming
Expertsystem
⭐
5
A simple IDE with integrated Prolog-inspired logic programming language. Semester project.
Logos
⭐
5
Logic Programming for Clojure
Mujeed Arabic Prolog
⭐
5
Mujeed (مُجيد) is a development environment for logic programming in Arabic language
Related Searches
Python Prolog (139)
Language Prolog (126)
Java Prolog (114)
Programming Prolog (110)
C Prolog (104)
Javascript Prolog (88)
Lisp Prolog (66)
Haskell Prolog (66)
C Plus Plus Prolog (56)
Python Logic Programming (49)
1-70 of 70 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.