Awesome Open Source

Programming Languages

Search results for prolog

748 search results found

Open Source Rover ⭐ 8,207

A build-it-yourself, 6-wheel rover based on the rovers on Mars!

Paip Lisp ⭐ 6,891

Lisp code for the textbook "Paradigms of Artificial Intelligence Programming"

99 Problems ⭐ 3,232

This is an adaptation of the Ninety-Nine Prolog Problems written by Werner Hett.

Klipse ⭐ 2,975

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

Terminusdb ⭐ 2,555

TerminusDB is a distributed database with a collaboration model

Scryer Prolog ⭐ 1,829

A modern Prolog implementation written mostly in Rust.

Pslab Hardware ⭐ 1,633

PSLab Hardware Design and Schematics https://pslab.io

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

A Bestiary of Single-File Implementations of Programming Languages

Swipl Devel ⭐ 863

SWI-Prolog Main development repository

Tau Prolog ⭐ 502

An open source Prolog interpreter in JavaScript

Prolog Examples ⭐ 498

Some simple examples for new Prolog programmers

The only reasonable scripting engine for Go.

Awesome Prolog ⭐ 482

Curated list of Prolog packages and resources

SWI-Prolog for SHaring: a SWI-Prolog web IDE

Transpiler ⭐ 430

A universal translator for programming languages

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.

Marelle ⭐ 380

Test-driven system administration with a little extra logic.

Logtalk3 ⭐ 378

Logtalk - declarative object-oriented logic programming language

Datalog based rules engine

Kongfuofarchitect ⭐ 365

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

Stabilizer ⭐ 348

Stabilizer: Rigorous Performance Evaluation

Prolog interpreter in Go

My public programs and models - mostly combinatorial problems and puzzles

Shen Sources ⭐ 327

The Official Shen Sources

Heavily Xchat inspired beautiful irssi theme.

Prolog interpreter in and for Erlang

Paip Python ⭐ 276

Peter Norvig's Paradigms of AI Programming implemented in Python

Dumbpad ⭐ 258

Simple 4x4 numpad with rotary encoder. Powered by QMK via ATmega32u4 Pro Micro

Problog ⭐ 251

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

Embeddable Lambda Prolog Interpreter

tar creator+extractor in ~100 lines of prolog

Datalog ⭐ 230

An in-memory datalog implementation for OCaml.

Zincbase ⭐ 226

A batteries-included kit for knowledge graphs

Praxis Ide ⭐ 224

An online IDE for visual programming in Prolog

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

Python Prolog Interpreter ⭐ 214

A simple Prolog Interpreter written in a few lines of Python 3. It runs a limited subset of Prolog and uses backtracking and generators in order to perform its magic.

SWI-Prolog stable releases

Ruby Prolog ⭐ 188

A pure Ruby gem implemention of a Prolog-like DSL for AI and logical programming.

Fontpro ⭐ 187

LaTeX support for Adobe's Pro opentype fonts: Minion Pro, Myriad Pro, Cronos Pro and possibly more

Awesome Koans ⭐ 184

A curated list of program language koans.

Parser for Attempto Controlled English (ACE)

A new logic programming language.

Swi Web Prolog ⭐ 168

A proof-of-concept SWI-Prolog implementation of Web Prolog

Constraint Logic Programming over Integers

Metagol ⭐ 165

Metagol - an inductive logic programming system

Implementation of NeurIPS 2021 paper "On Joint Learning for Solving Placement and Routing in Chip Design" & NeurIPS 2022 paper "The Policy-gradient Placement and Generative Routing Neural Networks for Chip Design".

Julog.jl ⭐ 146

A Julia package for Prolog-style logic programming.

Xsd2json ⭐ 138

Translate XML Schema into equivalent JSON Schema

Zamia Ai ⭐ 135

Free and open source A.I. system based on Python, TensorFlow and Prolog.

Prologtutorials ⭐ 135

Prolog Tutorials and Information

Lisprolog ⭐ 132

Interpreter for a simple Lisp. Written in Prolog.

An efficient implementation of the higher-order logic programming language Lambda Prolog

🎍 Universal, Multi Language, Multi Paradigm code analyzer

Zincbase ⭐ 124

A state of the art knowledge base

Vivace Graph V3 ⭐ 122

VivaceGraph version 3. Open source Common Lisp graph database & Prolog implementation. Supersedes http://github.com/kraison/vivace-graph-v2.

Knowrob ⭐ 119

KnowRob is a knowledge base for robots. It equips robots with the capability to organize information in re-usable knowledge chunks, and to perform reasoning in an expressive logic formalism. It further provides a set of tools for visualization and acquisition of knowledge.

Jiprolog ⭐ 117

JIProlog is a Prolog interpreter, pure Java 100%, cross-platform and Open Source.

Miniscope V4 ⭐ 113

All things Miniscope v4

Logically ⭐ 106

explorations in core.logic

Constraint Logic Programming over Finite Domains

Ukanren Rs ⭐ 99

Rust implementation of µKanren, a featherweight relational programming language.

Eagle Tutorial Series ⭐ 97

These are the supporting materials for my series of tutorials on using the Eagle CAD software for PCB design.

Tableau-based Theorem Prover for Natural Logic and Language

Musicontology ⭐ 96

The Music Ontology Specification provides main concepts and properties fo describing music (i.e. artists, albums, tracks, but also performances, arrangements, etc.) on the Semantic Web.

GNU-Make-like utility for managing builds and complex workflows

Brachylog ⭐ 93

A terse declarative logic programming language

Bh_onofre ⭐ 92

O projeto BH OnOfre, é uma solução IoT baseada em ESP8266 com o objetivo de tornar a automação domiciliar muito mais simples, de forma aberta e sem restrições. Todo o código fonte é aberto bem como Hardware.

Prolog.vim ⭐ 91

Prolog Integration for Vim

Badusb Cable ⭐ 90

BadUSB cable based on Attiny85 microcontroller.

Polynomial-time Meta-Interpretive Learning

Hierarchy Builder ⭐ 86

High level commands to declare a hierarchy based on packed classes

Hardware ⭐ 85

OBD-II CAN adapter for Particle Electron, Photon, and RedBear Duo

Simply Logical ⭐ 83

Online, interactive edition of the "Simply Logical" Prolog textbook

Postgresql Prolog ⭐ 83

A Prolog library to connect to PostgreSQL databases

Wam_common_lisp ⭐ 82

Allow Lisp programs to stop implementing an ad-hoc, informally-specified, bug-ridden, slow implementation of less than half of ISO-Prolog.

Twitchcoq ⭐ 82

It's a poorly named metamath verifier

OWL2 library for Prolog

Amziprolog ⭐ 81

Amzi! Prolog: complete system to interpret, build, run and debug Prolog programs, but also embed and query them similar to databases.

Prolog_library_collection ⭐ 80

A collection of Prolog libraries.

A benchmark library for constraints

A Kotlin Multi-Platform ecosystem for symbolic AI

Pytholog ⭐ 76

Python library that enables using prolog syntax and logic programming in python

Prolog Viz ⭐ 75

The best Prolog visualizer

A Magic: the Gathering™ expert system

Metaprogramming framework for .net

RTEC is an Event Calculus implementation optimised for stream reasoning

A continuation-based backtracking logic programming monad

Swipl Wasm ⭐ 73

Run SWI-Prolog in your browser using WebAssemply

The Zurich Dependency Parser for German

Trealla Prolog embedded in Go using WASM

Prolog.js ⭐ 71

prolog interpreter in javascript

Rust Prolog ⭐ 70

Rust implementation of prolog based on miniprolog: http://andrej.com/plzoo/html/miniprolog.html

Eldarica ⭐ 70

The Eldarica model checker

Niz Plum 84ec S Pro Ble Non Rgb Manual ⭐ 69

Translated English Manual for Niz Plum 84EC(S) Pro-Ble Non RGB manual keyboard

Bedrock is TM1 Best Practice assets built from years of TM1 experience

Sublimeprolog ⭐ 69

This a Prolog syntax highlighting for Sublime Text 2 & 3

Code Canon ⭐ 69

A catalog of code worth reading

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.

Related Searches

Python Prolog (139)

Language Prolog (126)

Prolog Logic Programming (125)

Java Prolog (114)

Programming Prolog (110)

Javascript Prolog (88)

Lisp Prolog (66)

Haskell Prolog (66)

C Plus Plus Prolog (56)

1-100 of 748 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.