Top 421 prolog open source projects

A plush toy activated by Bluetooth Low Energy beacons

Rayleigh: Pseudo-spectral MHD

This package contains LuCI configuration pages for wifidog.

Stops app usage after a period of time has passed starting from app build date.

CS3100: Paradigms of Programming at CSE IITM (Fall 2019)

Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)

A fast and accurate calibration pattern and its detector for camera calibration.

My dotfiles (vim, zsh, irssi, etc.)

Bugzilla traditional Chinese localization files

Arduino library supports many HC-SR04 sensors via I2C bus and hardware interrupt

SOINN implementation with C++

Code and examples used in snap related tutorials

No description, website, or topics provided.

Prolog and Java version of Facebook's React concept

No description, website, or topics provided.

Use Privoxy as library.

No description, website, or topics provided.

Source code of an old moodbox.com/risovaska.ru project. Client/server app for doodle-like communication.

Siilihai web forum reader

EusLisp is an integrated programming system for the research on intelligent robots based on Common Lisp and Object-Oriented programming. [Manual](http://euslisp.github.io/EusLisp/manual.html ) [マニュアル](http://euslisp.github.io/EusLisp/jmanual.html )

📜 A fully functional Othello (Reversi) game, with several AIs, made in prolog for swipl.

XSLT stylesheets to convert TEI to HTML and ePub format.

A psycholinguistic modeling toolkit

Prolog programming for the Java platform.

Photo browser with 3D effects, slide effects and animations. Share to weibo is supported

Qt is one of the best-known and the mightiest general-purpose libraries available. Its functionality covers each and every thinkable programming area, including threading, graphical interfaces, relational databases, networks, 2D/3D painting and many more. This text aims at one modest task - providing the solid base for learning and understanding…

A simple compiler from Prolog to WAM (Warren Abstract Machine) and a runtime for WAM.

Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems

Thor Hammer and a way to express invokedynamic in Java

A client-server Qt-based application that provides you with automated file synchronisation based on Unison.

A bare-bones blogging system, written in Prolog

A small example of a Java 9 modular application

A terse Prolog course

Qt Webkit and ExtJs

In-memory Graph Database and Knowledge Graph with Natural Language Interface, compatible with Pandas

The only reasonable scripting engine for Go.

A recursive descent expression parser in C. Supports variables, named functions and boolean operations.

CUDA HOG, compatible with Pedro Felzenswalb's 31-dim HOG seamlessly.

No description, website, or topics provided.

John Haugeland's ScUtil utility library. Docs at http://scutil.com/docs/sc.html .

Text templating processor for SWI-Prolog.

DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predicate.

“云上炼丹师”中的云

Prolog versions of the WordNet databases

Modular environmental exposures ontology

Scintilla is a free source code editing component.

Repo for shield files for the Particle boards

QML plugin that displays a camera capture, it allow us to access every frame as an IplImage

Splotch is a software for high performance visualization of huge scientific data

Perl module to read Excel binary files