Movatterモバイル変換

Skip to content

#

prolog

Here are 2,318 public repositories matching this topic...

Language:All

Filter by language

All2,318 Prolog1,245 Python162 Java130 Haskell78 JavaScript77 Jupyter Notebook67 C62 C++48 Common Lisp33 HTML29

Sort:Most stars

Sort options

Most stars Fewest stars Most forks Fewest forks Recently updated Least recently updated

viebel /klipse

Klipse is a JavaScript plugin for embedding interactive code snippets in tech blogs.

react javascript ruby python scheme clojure lua clojurescript reactjs common-lisp ocaml brainfuck evaluation prolog codemirror-editor reasonml interactive-snippets code-evaluation klipse-plugin

UpdatedOct 1, 2024
HTML

mthom /scryer-prolog

A modern Prolog implementation written mostly in Rust.

rust prolog prolog-implementation prolog-interpreter prolog-programming-language iso-prolog-standard

UpdatedDec 17, 2025
Rust

logica

EvgSkv /logica

Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.

language bigquery sql presto sqlite postgresql prolog prolog-implementation datalog logic-programming logica trino

UpdatedDec 14, 2025
Jupyter Notebook

triska /the-power-of-prolog

The Power of Prolog: Introduction to modern Prolog

book prolog constraints logic-programming teaching-materials

UpdatedSep 30, 2025
HTML

SWI-Prolog /swipl-devel

SWI-Prolog Main development repository

prolog logic-programming swi-prolog

UpdatedDec 17, 2025
C

ichiban /prolog

The only reasonable scripting engine for Go.

go golang interpreter prolog logic-programming

UpdatedOct 12, 2025
Go

tau-prolog

tau-prolog /tau-prolog

An open source Prolog interpreter in JavaScript

javascript prolog prolog-implementation prolog-interpreter logic-programming prolog-programming-language tau-prolog iso-prolog-standard

UpdatedJan 30, 2023
JavaScript

Anniepoo /prolog-examples

Some simple examples for new Prolog programmers

prolog family-tree

UpdatedNov 4, 2022
Prolog

klaudiosinani /awesome-prolog

Curated list of Prolog packages and resources

list awesome programming logic prolog

UpdatedSep 24, 2025

yuce /pyswip

PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.

python natural-language-processing robotics prolog artificial-intelligence logic-programming swi-prolog expert-systems

UpdatedJun 23, 2025
Python

logtalk3

LogtalkDotOrg /logtalk3

Logtalk - declarative object-oriented logic programming language

oop prolog logic-programming declarative-language logtalk declarative-programming

UpdatedDec 17, 2025
Prolog

hakank /hakank

My public programs and models - mostly combinatorial problems and puzzles

comet ampl prolog choco constraint-programming constraint-satisfaction sicstus-prolog minizinc answer-set-programming gecode essence numberjack setl picat z3py eclipse-clp jacop jgap frink poplog

UpdatedNov 27, 2025
JavaScript

ML-KULeuven /problog

ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.

prolog probabilistic-programming probabilistic problog probabilistic-inference probabilistic-logic-programming aproblog dtproblog lfi-problog

UpdatedSep 23, 2025
Python

Shen-Language /shen-sources

Shen language kernel sources for porters

programming-language lisp functional-programming prolog shen logic-programming static-typing

UpdatedAug 10, 2024
Shen

KongFuOfArchitect

program-spiritual /KongFuOfArchitect

(Updating!) Architect's Kung Fu tutorial collection Article collection contains paradigm programming microservices essential algorithms Security attack Assembly Crawler Reverse penetration test...etc.

nodejs javascript python c java go c-sharp swift rust golang erlang scala lisp csharp perl prolog architect object-c architecture-guidelines

UpdatedJan 9, 2025
HTML

trealla-prolog /trealla

A compact, efficient Prolog interpreter written in plain-old C.

c prolog prolog-implementation prolog-interpreter prolog-programming-language iso-prolog-standard

UpdatedDec 17, 2025
C

ciao-lang /ciao

Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.

programming-language interpreter bytecode compiler virtual-machine logic prolog prolog-implementation constraints prolog-interpreter logic-programming clp prolog-programming-language prolog-compiler iso-prolog-standard ciao-prolog

UpdatedJun 21, 2025
Prolog

plwm

Seeker04 /plwm

An X11 window manager written in Prolog

linux x11 prolog swi-prolog tiling-window-manager scryer-prolog

UpdatedDec 2, 2025
Prolog

dragonwasrobot /learn-prolog-now-exercises

My solutions to the exercises and practical sessions of the book 'Learn Prolog Now!' by Patrick Blackburn, Johan Bos, and Kristina Striegnitz.

UpdatedJul 11, 2023
Prolog

tomgrek /zincbase

A batteries-included kit for knowledge graphs

neural-network prolog knowledge-graph knowledge-base graph-neural-networks

UpdatedApr 29, 2021
Python

Improve this page

Add a description, image, and links to theprolog topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with theprolog topic, visit your repo's landing page and select "manage topics."

[8]ページ先頭

©2009-2025 Movatter.jp