lfgalign : Masteroppgåve: Syntaktisk fraselenking
author: unhammer
created: 2010-01-29 21:10:34
alignment lfg paper syntax treebank prolog


APE : Parser for Attempto Controlled English (ACE)
author: Attempto
created: 2011-11-21 08:55:26
ace attempto cnl nlp swi-prolog prolog


NASfVI : A client-server system to parse and answer questions in German using Prolog and Apache Lucene. Comes with a web client and goodies.
author: spartusch
created: 2011-12-18 20:56:36
lucene natural-language-generation natural-language-processing prolog java


hopes : Higher Order Prolog with Extensional Semantics
author: acharal
created: 2012-06-04 06:47:57
higher-order-logic hopes interpreter logic-programming prolog haskell


wam : A simple compiler from Prolog to WAM (Warren Abstract Machine) and a runtime for WAM.
author: acharal
created: 2012-06-04 11:03:58
logic-programming machine prolog prolog-compiler wam warren haskell


llj : LLJ - Logic Language for JVM
author: rla
created: 2012-08-07 21:31:58
jvm logic-language programming-language prolog java


logtalk3 : Logtalk - declarative object-oriented logic programming language
author: LogtalkDotOrg
created: 2012-08-17 02:53:10
declarative-language declarative-programming logic-programming logtalk oop prolog


prolog-examples : Some simple examples for new Prolog programmers
author: Anniepoo
created: 2012-10-18 17:49:32
family-tree prolog


datalog : An in-memory datalog implementation for OCaml.
author: c-cube
created: 2012-12-24 16:13:37
datalog logic-programming memoization ocaml prolog


func : Apply and compose functions in Prolog
author: mndrix
created: 2013-01-25 21:46:10
functions prolog


prolog-yamltiny : A YAML subset parser for Prolog
author: rla
created: 2013-01-27 15:23:46
swi-prolog yaml yaml-parser prolog


prolog_puzzles : Prolog puzzles for fun and profit (mostly fun)
author: maebert
created: 2013-03-11 16:57:45
cognitive-science exercise prolog prolog-puzzles puzzle perl


placcounting : Simple double-entry financial journal
author: rla
created: 2013-03-19 14:18:50
accounting bookkeeping ledger swi-prolog yaml prolog


dotfiles : @jpalumickas does dotfiles
author: jpalumickas
created: 2013-03-31 18:00:49
dotfiles prolog


tap : Write TAP tests with SWI-Prolog
author: fnogatz
created: 2013-06-11 17:56:23
prolog swi-prolog tap


prolog-markdown : Markdown parser for SWI-Prolog.
author: rla
created: 2013-08-06 17:00:41
markdown markdown-parser swi-prolog prolog


hakank : My public programs and models - mostly combinatorial problems and puzzles
author: hakank
created: 2013-08-06 20:12:10
constraint-programming constraint-satisfaction minizinc picat z3py prolog


regex : Regular expressions for Prolog
author: mndrix
created: 2013-09-09 09:31:32
prolog regex regular-expression


ALog-BottleLogger : Arduino-compatible low-power field environmental data logging platform: hardware schematics and circuit board layouts
author: NorthernWidget
created: 2013-09-11 14:07:15
alog arduino datalogger science prolog


pyswip : 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.
author: yuce
created: 2013-11-09 04:39:36
artificial-intelligence expert-systems prolog python swi-prolog


docstore : Document-oriented in-memory database for Prolog.
author: rla
created: 2013-11-13 21:17:57
database swi-prolog prolog


alternative-router : An alternative HTTP router/dispatcher for SWI-Prolog.
author: rla
created: 2013-11-19 08:00:17
route-handler router routing-engine swi-prolog prolog


simple-template : Text templating processor for SWI-Prolog.
author: rla
created: 2013-11-26 11:21:42
swi-prolog template-engine prolog


Legacy : Legacy is a collection of legacy projects built using defunct tools
author: onlyuser
created: 2013-12-22 10:15:51
c-plus-plus legacy lode-runner neural-network othello parser-generator prolog visual-basic c++


projog : Prolog programming for the Java platform.
author: s-webber
created: 2013-12-22 10:20:16
java prolog


Utilities : Uncategorized utilities
author: agustingianni
created: 2013-12-26 02:55:16
arm exploiting ida idapython prolog research scripts vulndev python


sort-dict : Sorts list of dicts by key in the given direction.
author: rla
created: 2014-02-04 20:16:53
swi-prolog prolog


dict-schema : Dict validation/conversion for SWI-Prolog.
author: rla
created: 2014-03-21 10:52:24
swi-prolog validation validator prolog


xsd2json : Translate XML Schema into equivalent JSON Schema
author: fnogatz
created: 2014-04-17 16:50:07
json-schema prolog swi-prolog xml-schema


DALI : DALI Multi Agent System Framework
author: AAAI-DISIM-UnivAQ
created: 2014-07-25 12:58:11
event-driven logic-programming multi-agent-systems prolog


clpb : Boolean Constraint Solving in Prolog
author: triska
created: 2014-08-06 17:32:12
bdd clp constraint-programming constraints independent-sets matchsticks-puzzle prolog sat satisfiability


ediprolog : Emacs Does Interactive Prolog
author: triska
created: 2014-09-12 16:13:25
emacs emacs-lisp prolog prolog-process emacs lisp


lisprolog : Interpreter for a simple Lisp. Written in Prolog.
author: triska
created: 2014-09-12 16:23:52
interpreter lisp prolog


cplint : cplint is a suite of programs for reasoning with probabilistic logic programs
author: friguzzi
created: 2014-11-09 10:59:47
inductive-logic-programming logic-programming machine-learning probabilistic-logic-programming probabilistic-programming prolog


herbrand-prolog : A pseudo-Prolog that tries to answer queries by building the least Herbrand model.
author: joom
created: 2014-11-21 17:20:57
haskell prolog pseudo-prolog


yesbot : IRC Bot Written in Prolog
author: eazar001
created: 2015-01-14 23:55:56
bot irc irc-bot irc-client prolog swi-prolog


trill : TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.
author: rzese
created: 2015-01-21 10:43:16
axiom-pinpointing description-logics probabilistic-description-logics probabilistic-knowledge-bases prolog tableau-reasoner trill


wam_common_lisp : Allow Lisp programs to stop implementing an ad-hoc, informally-specified, bug-ridden, slow implementation of less than half of ISO-Prolog.
author: TeamSPoon
created: 2015-02-05 04:04:51
common-lisp greenspun lisp lisp-compiler lisp-interpreter object-oriented-programming oop prolog prolog-programmers prolog-programming-language swi swi-prolog swi-prolog-library yap-prolog common lisp


java-prolog-parser : Java based Edinburgh Prolog parser
author: raydac
created: 2015-03-13 16:10:26
java parser prolog-programming-language prolog


jprol : Java-based Prolog Engine with GUI Editor
author: raydac
created: 2015-03-13 20:57:18
engine gui-editor java prolog prolog-engine prolog-programming-language


ftclp : FTCLP: A Failure-based Tabling Interpreter for Constraint Logic Programs based on Interpolation
author: sav-tools
created: 2015-03-14 06:46:18
clp constrained-horn-clauses interpolant verification prolog


pl : Scheme and Prolog exercises for the course Principles of Programming Languages, 2016, Politecnico di Milano
author: gioenn
created: 2015-03-25 09:28:27
exercises prolog scheme university-course racket


cl-gambol : Basic Prolog functionality for Common Lisp
author: wmannis
created: 2015-03-25 22:33:42
common-lisp prolog common lisp


dr-prolog-proof-checker : Automatically exported from code.google.com/p/dr-prolog-proof-checker
author: vefthym
created: 2015-03-28 13:55:42
dr-prolog prolog prolog-proof-checker proof-checker theory openedge abl


prolog-checkers : A Player vs AI game of checkers implemented in Prolog
author: migafgarcia
created: 2015-05-30 12:45:02
alpha-beta-pruning checkers minimax prolog terminal-game


ASP_DALI : Answer Set Programming extension for the DALI MAS Framework
author: AAAI-DISIM-UnivAQ
created: 2015-06-04 10:03:04
answer-set-programming dlv multi-agent-systems prolog webapp javascript


unifi_miner : UniFi Miner helps deliver data from UniFi Controller to Zabbix
author: zbx-sadman
created: 2015-06-10 09:22:21
unifi zabbix prolog


doxygenprolog : A doxygen filter to use with Prolog
author: drbeco
created: 2015-06-26 22:28:31
doxygen prolog c


the-baze : A (wannabe) Swiss Army knife for the data scientist
author: AILab-FOI
created: 2015-06-27 12:31:13
data-science datalog exist-db flora-2 mongodb nodejs odbc postgresql python r sqlite zodb prolog


unifi_proxy : Fast client-server version of UniFi Miner
author: zbx-sadman
created: 2015-07-13 08:41:04
unifi zabbix prolog


monarch-disease-ontology-RETIRED : THIS IS THE OLD REPO: Use this one instead: https://github.com/monarch-initiative/mondo-build
author: monarch-initiative
created: 2015-07-21 01:21:32
monarch-disease-ontology monarchinitiative mondo omim ontology prolog


proloxy : Prolog Reverse Proxy
author: triska
created: 2015-07-29 20:31:52
http-proxy https https-proxy prolog proxy-server swi-prolog websocket-connection


Brachylog : A terse declarative logic programming language
author: JCumin
created: 2015-08-26 16:30:16
code-golf declarative golfing-language language logic-programming prolog swi-prolog


As_des_As : Prolog program of logic plane board game with multiple IA
author: Hexabinome
created: 2015-10-07 07:34:13
alpha-beta-pruning artificial-intelligence game game-2d min-max prolog


ALSProlog : ALS Prolog Compiler & Development Environment
author: AppliedLogicSystems
created: 2015-10-17 23:32:42
compiler language logic-programming programming-language prolog c


clpfd : Constraint Logic Programming over Finite Domains
author: triska
created: 2015-10-25 11:27:08
clp constraint-programming constraints integer-arithmetic prolog teaching


rdet : Runtime determinacy checker for SWI-Prolog
author: rla
created: 2015-11-02 22:11:59
swi-prolog prolog


irc_client : IRC client library for SWI Prolog
author: eazar001
created: 2015-11-11 20:10:40
irc irc-client irc-protocol prolog swi-prolog


klipse : A simple client-side code evaluator pluggable on any web page: clojure, ruby, javascript, python, scheme, es2017, jsx, brainfuck, c++, reagent, lua, ocaml, reasonml, prolog, common lisp
author: viebel
created: 2015-11-19 13:45:39
brainfuck clojure clojurescript code-evaluation codemirror-editor common-lisp evaluation interactive-snippets javascript klipse-plugin lua ocaml prolog python react reactjs reasonml ruby scheme


wumpus : Hunt The Wumpus - Wumpus World Simulator
author: drbeco
created: 2015-11-21 22:47:58
artificial-intelligence simulator text-based-adventure wumpus wumpus-game wumpusworld prolog


ciao : The Ciao programming language
author: ciao-lang
created: 2015-12-07 14:26:00
ciao compiler constraint-programming declarative-language logic-programming programming-language prolog


dialog_games : A number of dialog games for abstract argumentation implemented using Prolog Definite Clause Grammars.
author: tjitze
created: 2015-12-13 14:51:19
argumentation argumentation-theory logic-programming prolog


swissues : Reason about filed SWI-Prolog issues
author: triska
created: 2016-01-16 13:48:13
issue-tracker issues swi-prolog todos prolog


mulang : :eyeglasses: Universal, Multi Language, Multi Paradigm code analyzer
author: mumuki
created: 2016-01-24 13:35:15
ast browser code-analysis educational functional haskell inspection java javascript languages logic-paradigm mulang-ast mumuki nodejs object-oriented prolog python ruby static-analysis


Exam-scheduling : Exam scheduling in Prolog (Declarative programming project)
author: arnomoonens
created: 2016-02-01 14:09:48
declarative declarative-language prolog swipl


PeopleOnBus-Inference : Progetto corso Programmazione Dichiarativa
author: sfcoding-school
created: 2016-02-16 11:40:00
inference prolog


pl_omdb : OMDB API access for SWI Prolog
author: eazar001
created: 2016-02-22 23:46:50
callback omdb omdb-api pl-omdb swi-prolog prolog


ciao_boxes : Virtual machines for Ciao
author: ciao-lang
created: 2016-03-02 16:51:25
ciao prolog vm ruby


AI : Several projects for the Artificial Intelligence course, with topics such as Recommender and Rule-based Systems, Ontologies and Natural Language Processing.
author: Ana06
created: 2016-03-25 23:56:04
artificial-intelligence jess natural-language-processing ontology prolog protege recommender-system clips


letswicrypt : Prolog HTTPS Servers
author: triska
created: 2016-05-06 16:19:23
https https-server prolog swi-prolog


SICStusPrologFuzzer : SICStus Prolog Fuzzer - including an extension to generate predicates and expressions in (Event-)B represented as abstract syntax trees
author: Joshua27
created: 2016-05-07 23:39:16
fuzzing logic-programming prolog sicstus


hatlog : custom type systems for python in prolog: http://alehander42.me/prolog_type_systems
author: alehander42
created: 2016-06-09 17:51:27
grammar prolog python type-system


Prolog-Assignment :
author: deepvyas
created: 2016-06-11 07:44:24
bits-pilani language logic-programming prolog-implementation prolog


yas : Yet Another Software Language Repository
author: softlang
created: 2016-06-12 10:14:51
language prolog slr yas


prolog-programs : Puzzle solvers and other utilities developed with Prolog.
author: rwehresmann
created: 2016-06-14 23:05:57
boolean-satisfability coins-problem prolog solvers swi-prolog truth-table


eezoterial : Mass Effect - inspired Visual Studio Code/Mintty/Secure Shell/Irssi theme with material colors, aka solarized abomination
author: unic0rn
created: 2016-06-16 04:22:03
color-theme dark-theme irssi-theme light-theme mass-effect material-theme mintty-color-schemes theme visual-studio-code-theme prolog


JPrologMin : A simple implementation of prolog using java.
author: chungkwong
created: 2016-06-26 16:01:04
interpreter prolog java


conlang : Constructed language doodles
author: fusiongyro
created: 2016-07-29 06:22:20
lotr phonology tokipona prolog


UA-CS-403 : UA CS 403 Programming Languages class with Dr. Borie
author: jblairkiel
created: 2016-07-30 18:59:03
haskell programming-language prolog scheme smalltalk


Logic_programming : Exercises using logic language
author: GabrielCzar
created: 2016-08-04 00:48:36
logic-programming prolog


jekejeke-samples : Prolog text samples for Jekejeke Prolog.
author: jburse
created: 2016-08-21 11:35:53
logic-programming testsuites tutorials prolog


k-means : K-Means libraries for C, Lisp, Prolog and Ruby
author: dcasella
created: 2016-08-24 12:49:03
c common-lisp kmeans prolog ruby


Nan.Numerics.Prime-Prolog : A simple prime number library (in Prolog)
author: jp-diegidio
created: 2016-08-24 23:51:01
factorization miller-rabin primality-test prime-numbers prolog


rev-rewriting : A tool for the transformation of an irreversible Term Rewriting System into a reversible one
author: mistupv
created: 2016-09-30 08:33:19
functional-programming program-inversion prolog reversible-computation term-rewriting transformations trs


Prolog : Prolog work for the course Logic Programming
author: anotherik
created: 2016-10-03 13:29:37
logic-programming prolog webserver


prolog : Exercism exercises in Prolog.
author: exercism
created: 2016-10-04 00:09:21
exercism-exercises exercism-track prolog


4-word : The word game 4-word implemented in Prolog
author: samuelmurray
created: 2016-10-14 09:17:11
prolog wordgame


rty : A real-time Mafia app
author: bopjesvla
created: 2016-10-14 18:20:25
elixir prolog


prolog-cfg-parser : A toy SWI-Prolog context-free grammar (CFG) parser, that extracts knowledge (facts) from text.
author: cbaziotis
created: 2016-10-28 10:10:40
cfg context-free-grammar knowledge nlp parser prolog-cfg prolog


rusty-wam : The Warren Abstract Machine in Rust.
author: mthom
created: 2016-10-29 01:44:10
prolog prolog-implementation prolog-interpreter rust


CS131 : CS 131: Programming Languages
author: jerrylzy
created: 2016-10-29 20:24:44
cs131 java ocaml programming-language prolog python scheme ucla


multivariate-polynomials : Multivariate polynomials manipulation libraries for Lisp and Prolog
author: dcasella
created: 2016-11-15 09:05:28
common-lisp multivariate-polynomials prolog common lisp


ai-othello : Several AIs foor the othello game
author: if-h4102
created: 2016-11-22 07:06:04
ai othello othello-game prolog


linux_guide : A guide I use to remember things about Linux
author: acerv
created: 2016-11-23 09:30:27
linux linux-guide prolog


Prolok : Prolog and Kotlin
author: AndreasVolkmann
created: 2016-11-23 19:35:53
kotlin prolog


cplint_r : An SWI Prolog library to plot ggplot2 charts for Cplint on SWISH
author: frnmst
created: 2016-11-28 19:06:35
plot-ggplot2-charts r swi-prolog-library prolog


sudokusolver : Prolog application to solve sukodu
author: dev-jan
created: 2016-12-11 13:02:07
declerative learning-by-doing prolog prolog-application sudoku


devenv :
author: ciao-lang
created: 2016-12-23 16:25:17
ciao emacs prolog


sycalc : Small symbolic calculator implemented with SWI-Prolog. Performs basic arithmetic operations with multi-variate polynomials.
author: lluisalemanypuig
created: 2016-12-23 19:55:05
calculator multivariate-polynomial polynomial prolog symbolic-calculation


lpdoc :
author: ciao-lang
created: 2016-12-30 15:35:03
ciao documentation-generator prolog


Cookies help us deliver our services. By using our services, you agree to our use of cookies Learn more