Topic: prolog Goto Github

👇 Here are 1958 public repositories matching this topic...

aartikis / rtec
prolog,RTEC is an Event Calculus implementation optimised for stream reasoning
User: aartikis
logic-programming data-stream-processing artificial-intelligence data-science complex-event-processing multi-agent-systems stream-reasoning stream-processing cep event-calculus

amzils / amziprolog
prolog,Amzi! Prolog: complete system to interpret, build, run and debug Prolog programs, but also embed and query them similar to databases.
Organization: amzils
prolog ide eclipse-plugin virtual-machine logic-programming

anniepoo / prolog-examples
prolog,Some simple examples for new Prolog programmers
User: anniepoo
prolog family-tree

c-cube / datalog
prolog,An in-memory datalog implementation for OCaml.
User: c-cube
Home Page: https://c-cube.github.io/datalog
datalog prolog ocaml logic-programming memoization

ciao-lang / ciao
prolog,Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
Organization: ciao-lang
Home Page: https://ciao-lang.org
prolog compiler programming-language logic interpreter bytecode virtual-machine clp constraints prolog-implementation

complexdb / zincbase
prolog,A state of the art knowledge base
Organization: complexdb
knowledge-base knowledge-graph graph-embedding prolog

dragonwasrobot / learn-prolog-now-exercises
prolog,My solutions to the exercises and practical sessions of the book 'Learn Prolog Now!' by Patrick Blackburn, Johan Bos, and Kristina Striegnitz.
User: dragonwasrobot
prolog

ekzhang / ukanren-rs
prolog,Rust implementation of µKanren, a featherweight relational programming language.
User: ekzhang
Home Page: https://docs.rs/ukanren
microkanren minikanren rust logic-programming functional-programming language prolog

evgskv / logica
prolog,Logica is a logic programming language that compiles to SQL. It runs on Google BigQuery, PostgreSQL and SQLite.
User: evgskv
Home Page: https://logica.dev
datalog sql bigquery language prolog-implementation prolog logica postgresql sqlite trino

evoldoers / biomake
prolog,GNU-Make-like utility for managing builds and complex workflows
Organization: evoldoers
workflows makefiles gnu-make swi-prolog prolog bioinformatics

fnogatz / xsd2json
prolog,Translate XML Schema into equivalent JSON Schema
User: fnogatz
swi-prolog prolog xml-schema json-schema

gooofy / zamia-ai
prolog,Free and open source A.I. system based on Python, TensorFlow and Prolog.
User: gooofy
python tensorflow artificial-intelligence natural-language-processing prolog knowledgebase semantic-web

hakank / hakank
prolog,My public programs and models - mostly combinatorial problems and puzzles
User: hakank
constraint-programming constraint-satisfaction minizinc picat z3py gecode essence jacop ampl comet

ichiban / prolog
prolog,The only reasonable scripting engine for Go.
User: ichiban
interpreter prolog golang go logic-programming

jcumin / brachylog
prolog,A terse declarative logic programming language
User: jcumin
swi-prolog language code-golf declarative logic-programming golfing-language prolog

klaudiosinani / awesome-prolog
prolog,Curated list of Prolog packages and resources
User: klaudiosinani
awesome prolog list logic programming

knowrob / knowrob
prolog,A Knowledge Base System for Cognition-enabled Robots
Organization: knowrob
Home Page: http://knowrob.github.io/knowrob/
knowledge-base knowledge-graph prolog query-answering reasoning robotics

kovvalsky / langpro
prolog,Tableau-based Theorem Prover for Natural Logic and Language
User: kovvalsky
formal-semantics lambda-logical-form natural-language-inference natural-language-processing natural-logic natural-tableau nli prolog semantic-tableau theorem-prover theorem-proving

logicmoo / wam_common_lisp
prolog,Allow Lisp programs to stop implementing an ad-hoc, informally-specified, bug-ridden, slow implementation of less than half of ISO-Prolog.
Organization: logicmoo
common-lisp prolog-programming-language object-oriented-programming oop swi-prolog-library swi-prolog yap-prolog greenspun lisp prolog

logtalkdotorg / logtalk3
prolog,Logtalk - declarative object-oriented logic programming language
Organization: logtalkdotorg
Home Page: https://logtalk.org
logtalk logic-programming prolog oop declarative-language declarative-programming

mcsoto / cosmos
prolog,A new logic programming language.
User: mcsoto
interpreter prolog cosmos language functors logic-programming composite-types cosmos-language

ml-kuleuven / problog
prolog,ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
Organization: ml-kuleuven
Home Page: https://dtai.cs.kuleuven.be/problog/
problog prolog aproblog dtproblog probabilistic probabilistic-inference probabilistic-programming probabilistic-logic-programming lfi-problog

mnoorfawi / pytholog
prolog,Python library that enables using prolog syntax and logic programming in python
User: mnoorfawi
symbolic-artificial-intelligence logic-programming neuro-symbolic-learning python prolog prolog-syntax backtracking

mthom / scryer-prolog
prolog,A modern Prolog implementation written mostly in Rust.
User: mthom
rust prolog prolog-interpreter prolog-implementation iso-prolog-standard prolog-programming-language

mumuki / mulang
prolog,:bamboo: Universal, Multi Language, Multi Paradigm code analyzer
Organization: mumuki
Home Page: https://mumuki.github.io/mulang
mumuki code-analysis ast haskell static-analysis inspection languages educational mulang-ast functional

namin / logically
prolog,explorations in core.logic
User: namin
clojure prolog abstract-interpretation metaprogramming logic-programming paper-implementations binders

pufcorina / ubb-computer-science
prolog,:slot_machine: University projects and homework.
User: pufcorina
java python c css html csharp cpp lisp prolog ubb

sebdumancic / pylo2
prolog,Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.
User: sebdumancic
prolog logic-programming artificial-intelligence

shen-language / shen-sources
prolog,Shen language kernel sources for porters
Organization: shen-language
programming-language shen lisp prolog functional-programming logic-programming static-typing

simply-logical / simply-logical
prolog,Online, interactive edition of the "Simply Logical" Prolog textbook
Organization: simply-logical
Home Page: https://book.simply-logical.space
jupyter-book prolog swish simply-logical

superdisk / tar.pl
prolog,tar creator+extractor in ~100 lines of prolog
User: superdisk
logic-programming prolog tar unix

swi-prolog / swipl-devel
prolog,SWI-Prolog Main development repository
Organization: swi-prolog
Home Page: http://www.swi-prolog.org
swi-prolog prolog logic-programming

swi-prolog / swipl-wasm
prolog,Run SWI-Prolog in your browser using WebAssemply
Organization: swi-prolog
prolog webassembly swi-prolog

tau-prolog / tau-prolog
prolog,An open source Prolog interpreter in JavaScript
Organization: tau-prolog
Home Page: http://tau-prolog.org
tau-prolog prolog-interpreter iso-prolog-standard javascript prolog prolog-programming-language prolog-implementation logic-programming

toblotron / praxis-ide
prolog,An online IDE for visual programming in Prolog
User: toblotron
low-code online-idecode-editor prolog prolog-programming-language visual-programming-editor

tomgrek / zincbase
prolog,A batteries-included kit for knowledge graphs
User: tomgrek
graph-neural-networks prolog knowledge-graph knowledge-base neural-network

trealla-prolog / go
prolog,Trealla Prolog embedded in Go using WASM
Organization: trealla-prolog
go prolog trealla-prolog logic-programming wasm

triska / clpfd
prolog,Constraint Logic Programming over Finite Domains
User: triska
Home Page: https://www.metalevel.at/prolog/clpfd
constraint-programming integer-arithmetic clp prolog constraints teaching

triska / clpz
prolog,Constraint Logic Programming over Integers
User: triska
Home Page: https://www.metalevel.at/prolog/clpz
clp constraints integer-arithmetic prolog sicstus-prolog constraint-programming

triska / lisprolog
prolog,Interpreter for a simple Lisp. Written in Prolog.
User: triska
Home Page: https://www.metalevel.at/lisprolog/
prolog lisp interpreter

triska / the-power-of-prolog
prolog,Introduction to modern Prolog
User: triska
Home Page: https://www.metalevel.at/prolog
prolog book logic-programming teaching-materials constraints

tuprolog / 2p-kt
prolog,A Kotlin Multi-Platform ecosystem for symbolic AI
Organization: tuprolog
Home Page: http://tuprolog.unibo.it
prolog logic-programming kotlin kotlin-multiplatform kotlin-multi-platform tuprolog 2p java jvm javascript

uclnlp / ntp
prolog,End-to-End Differentiable Proving
Organization: uclnlp
tensorflow nips-2017 deep-learning prolog

uuverifiers / eldarica
prolog,The Eldarica model checker
User: uuverifiers
horn-clauses smt-solver model-checker verification smt2 prolog

viebel / klipse
prolog,Klipse is a JavaScript plugin for embedding interactive code snippets in tech blogs.
User: viebel
Home Page: http://blog.klipse.tech/
clojure clojurescript interactive-snippets javascript code-evaluation ruby scheme prolog react reactjs

wouterbeek / prolog_library_collection
prolog,A collection of Prolog libraries.
User: wouterbeek
prolog swi-prolog

xmonader / prolog-rands
prolog,random stuff in prolog
User: xmonader
prolog puzzles riddles constraint-satisfaction-problem

yiyandaoren / kongfuofarchitect
prolog,(Updating!) Architect's Kung Fu tutorial collection Article collection contains paradigm programming microservices essential algorithms Security attack Assembly Crawler Reverse penetration test...etc.
User: yiyandaoren
Home Page: https://git.autosgpt.io/#/
architect architecture-guidelines java javascript nodejs perl golang go python erlang

yuce / pyswip
prolog,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.
User: yuce
python prolog swi-prolog artificial-intelligence expert-systems natural-language-processing robotics logic-programming

ztangent / julog.jl
prolog,A Julia package for Prolog-style logic programming.
User: ztangent
first-order-logic fol julia logic logic-programming prolog