Search: github.com/prologic | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

91.

Prolog language for PostgreSQL proof of concept

github.com/tatut

2 years ago

214 points

92.

Ask HN: What are some interesting examples of Prolog?

4 years ago

198 points

93.

An online IDE for visual programming in Prolog

github.com/toblotron

3 years ago

167 points

94.

Solving a Dungeons and Dragons riddle using Prolog

gist.github.com

3 years ago

127 points

95.

Prolog interpreter in Go

github.com/mndrix

11 years ago

121 points

96.

Interpreter for a simple Lisp, Written in Prolog

github.com/triska

7 years ago

120 points

97.

Trealla Prolog embedded in Go using WASM

github.com/guregu

4 years ago

89 points

98.

Demo of a WAM Prolog Implementation in Python

github.com/brunokim

5 years ago

89 points

99.

Dogalog: A realtime Prolog-based livecoding music environment

github.com/danja

6 months ago

82 points

100.

Pylo: Python front-end for several Prolog engines

github.com/sebdumancic

6 years ago

46 points

101.

Forth VM and compiler written in C++ and Scryer Prolog

github.com/no382001

3 months ago

37 points

102.

Show HN: An open souce graph database written in Prolog and Rust

github.com/terminusdb

6 years ago

29 points

103.

Show HN: MARS5, open-source, insanely prosodic TTS model

github.com/Camb-ai

2 years ago

24 points

104.

A Prolog Formulation of the Constitution of Japan

github.com/bitlaw-jp

6 years ago

24 points

105.

Prolog Formulation of the Constitution of Japan

github.com/bitlaw-jp

2 years ago

16 points

106.

Scryer Prolog NPM package (experimental)

github.com/guregu

a year ago

14 points

107.

Global key-value metadata storage for Scryer Prolog

github.com/jjtolton

8 months ago

13 points

108.

Pkg.pl: An experimental package manager for Scryer Prolog

github.com/bakaq

a year ago

13 points

109.

Analyzing Prolific HN Commenters in Real Time

github.com/bytewax

2 years ago

12 points

110.

Show HN: Build agents via YAML with Prolog validation and 110 built-in tools

fabceolin.github.io

5 months ago

11 points

111.

Teruel – Template Engine in Prolog Inspired by Tera and Jinja

github.com/aarroyoc

5 years ago

10 points

112.

Djota: A Djot Implementation in Prolog

github.com/aarroyoc

3 years ago

8 points

113.

Qupak: Pattern Matching for Prolog with library(reif)

github.com/bakaq

8 months ago

8 points

114.

Trealla – compact, efficient Prolog interpreter written in plain-old C

github.com/infradig

5 years ago

8 points

115.

Show HN: DeepClause – A Neurosymbolic AI System Built on WASM and Prolog

github.com/deepclause

7 months ago

7 points

116.

Show HN: Embedding a Prolog-like logic programming language in JavasScript

github.com/xieyuheng

5 years ago

7 points

117.

Show HN: DiagramIDE – a Rust GUI to Compose Diagrams via Tcl, Prolog, and Pikchr

github.com/exlee

4 months ago

6 points

118.

Julog.jl – A Julia package for Prolog-style logic programming

github.com/ztangent

3 years ago

guilherme-puida

6 points

119.

Chalk: A Prolog-ish interpreter written in Rust

github.com/rust-lang

6 years ago

6 points

120.

Erlog – Prolog interpreter in and for Erlang

github.com/rvirding

9 years ago

6 points