rahul1947/Logic-Programming

Logic Programming using Prolog.

Language: Prolog - Size: 24.8 MB - Last synced at: 12 days ago - Pushed at: over 6 years ago - Stars: 5 - Forks: 4

logicmoo/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.

Language: Common Lisp - Size: 50.5 MB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 96 - Forks: 8

heiheshang/pbitrix24

Bitrix24 API library

Language: Prolog - Size: 26.4 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

frnmst/cplint_r 📦

An SWI Prolog library to plot ggplot2 charts for Cplint on SWISH

Language: Prolog - Size: 896 KB - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 3 - Forks: 1

CheeseTurtle/rrecurse

SWI-Prolog module for conveniently adding trace output to any recursive predicate

Language: Prolog - Size: 112 KB - Last synced at: over 1 year ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

avivace/mvpoli

Common Lisp and SWI-Prolog libraries to manipulate multivariate polynomials.

Language: Prolog - Size: 370 KB - Last synced at: 19 days ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 1

averykatko/dictype

Language: Prolog - Size: 3.91 KB - Last synced at: about 2 years ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0

eazar001/number_to_word

Utility pack for converting integers into English words

Language: Prolog - Size: 22.5 KB - Last synced at: about 2 years ago - Pushed at: over 8 years ago - Stars: 2 - Forks: 1