4 results found Sort:

ciao-lang
ciao ciao-lang
18
252
lgpl-3.0
22
Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
clp logic prolog bytecode compiler ciao-prolog constraints interpreter prolog-compiler virtual-machine logic-programming prolog-interpreter iso-prolog-standard programming-language prolog-implementation prolog-programming-language
Created 2015-12-07
1,925 commits to master branch, last one 3 months ago
triska
clpz triska
14
174
unknown
11
Constraint Logic Programming over Integers
clp prolog constraints sicstus-prolog integer-arithmetic constraint-programming
Created 2016-04-17
35 commits to master branch, last one 5 months ago
pythological
kanren pythological
17
167
other
9
An extensible, lightweight relational/logic programming DSL written in pure Python
clp minikanren logic-programming symbolic-computation relational-programming constraint-logic-programming
Created 2019-03-20
513 commits to main branch, last one about a year ago
richardschoen
QshOni richardschoen
17
45
mit
10
The QShell on IBM i library contains useful CL wrapper commands to allow QShell and PASE apps to be called and consumed from regular IBM i jobs via CL, RPG or COBOL programs.
cl clp git php rpg sql clle ibmi node pase as400 cobol rpgle python qshell runner stdout command db2util rpgconsume
Created 2020-01-30
408 commits to master branch, last one 2 days ago