Top 421 prolog open source projects

Introduction to modern Prolog

Main development repository

Some simple examples for new Prolog programmers

Test-driven system administration with a little extra logic.

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

An open source Prolog interpreter in JavaScript

Curated list of Prolog packages and resources

Heavily Xchat inspired beautiful irssi theme.

OpenType Unicode fonts for Scientific, Technical, and Mathematical texts

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.

(🆕更新中！)《架构师的功夫》教程合集、文章合集包含 范式编程、微服务、必备算法、安全攻防、汇编、爬虫、逆向、渗透测试...

Retro Games in Gym

The client of the future

A flexible package manager that supports multiple versions, configurations, platforms, and compilers.

No description, website, or topics provided.

The Arcade Learning Environment (ALE) -- a platform for AI research.

**ack 2 is no longer being maintained. ack 3 is the latest version.**

Proguard configurations for common Android libraries

JavaScript port of Vim

cross-platform (Qt), open-source (GPLv3) video editor

📦🐈 Active development trunk for Yarn ⚒

Radar Software Toolkit (RST)

IDL library of Michael Galloy

PCB for multisync switch for Atari

Learn Prolog Now! Proper and elegant exercise solutions

Implementation of the ClausIE information extraction system for python+spacy

Experimental fork of the Debian bitcoin source package from git.debian.org:/git/collab-maint/bitcoin.git

No description, website, or topics provided.

ASTRAN - Automatic Synthesis of Transistor Networks

Programming languages: MiniZinc, Prolog, Eclipse_CP, Picat, Haskell, C++, C, bash etc

The Arcade Learning Environment (ALE) -- a platform for AI research.

fbx importer lgpl; no use of autodesk sdk; debug viewer; reads mesh and animations

Implementation of QAbstractEventDispatcher that makes use of existing boost::asio::io_service object. It effecitvely allows to integrate asio-based asynchronous application with QT and run them in one thread.

An embedded Prolog interpreter for Ruby

Simple file sharer

This is a Cinch Modice enclosure template for KICAD layout.

Imap handshake ssl QSslSocket & parse Mail

Qt OAuth 2.0 library

Blog Code

No description, website, or topics provided.

Toki Pona is a constructed, minimal language. This parser based on swi-prolog and definite clause grammars (dcg) and supports spelling, grammar check and ambiguity check of Toki Pona sentences.

Custom view which draws long shadow

An IDL/GDL Jupyter kernel

Open source, eBook reader + stats gatherer

No description, website, or topics provided.

Model of time travels

A full implementation of Universal Control 0.6.0 for use on a computer running Mythbuntu with a slightly modified version of MythTV (patches and configure script included).

No description, website, or topics provided.

电子科技大学编译原理的实验，Python实现