GitHub topics: gprolog
kristopherjohnson/lunar-prolog
Port of classic text-based lunar lander game to Prolog
Language: Prolog - Size: 13.7 KB - Last synced at: 15 days ago - Pushed at: 5 months ago - Stars: 1 - Forks: 0
R0mb0/Route-calculator
A program that calculates the geographic properties of a node composed by two satellite points.
Language: TeX - Size: 3.74 MB - Last synced at: about 1 month ago - Pushed at: 7 months ago - Stars: 1 - Forks: 0
sdbtools/void-pi
Void Linux installer implemented in GNU Prolog.
Language: Prolog - Size: 507 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 13 - Forks: 0
fport/Prolog
Prolog is a declarative programming language.
Language: Prolog - Size: 1.95 KB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 3 - Forks: 0
sdbtools/pxmirror
Void Linux mirror selection implemented in GNU Prolog.
Language: Prolog - Size: 17.6 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
kiancross/cnf-prolog 📦
A GNU Prolog programme to convert boolean expressions into CNF.
Language: Prolog - Size: 7.81 KB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
typesend/gprolog
Mirror of the GNU Prolog sourceforge repository
Language: C - Size: 5.27 MB - Last synced at: about 1 month ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0
iambetaraybill/prolog-programming-language
Learning Prolog Language for A.I Lab[Fall Semester].
Language: Prolog - Size: 1.95 KB - Last synced at: about 2 years ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0
