Search results

@gaussylean/trealla

Trealla Prolog bindings for JS

• prolog
• logic
• logic-programming
• interpreter
• trealla-prolog

gaussylean

published 0.13.24 • 2 years agopublished 0.13.24 2 years ago

tau-prolog

An open source Prolog interpreter in JavaScript

• tau-prolog
• prolog-interpreter
• iso-prolog-standard
• javascript
• prolog

jariazavalverde

published 0.3.4 • 2 years agopublished 0.3.4 2 years ago

horn-sat

Solves HORNSAT

• horn
• sat
• boolean
• satisfiability
• clause
• prolog
• normal
• form

mikolalysenko

published 0.0.1 • 10 years agopublished 0.0.1 10 years ago

node-eclipse-clp

A node.js interface to the ECLiPSe library

• c++
• eclipse
• prolog

danielconnor

published 0.1.1 • 11 years agopublished 0.1.1 11 years ago

simpleprolog

SimpleProlog interpreter in JavaScript

• prolog
• javascript
• interpreter

ajlopez

published 0.0.1-alpha • 11 years agopublished 0.0.1-alpha 11 years ago

thaw-interpreter

Programming language interpreters, including LISP, Scheme, and Prolog.

• APL
• CLU
• interpreter
• lambda-calculus
• LISP
• programming languages
• Prolog
• SASL
• Scheme
• Smalltalk
• TypeScript

tom-weatherhead

published 0.0.7 • 2 years agopublished 0.0.7 2 years ago

mulang

An intermediate language designed to perform advanced code analysis

• ast
• code-analysis
• java
• javascript
• python
• prolog
• ruby
• haskell

flbulgarelli

published 6.0.6 • 3 years agopublished 6.0.6 3 years ago

@juriskop/swish-client

A JavaScript/TypeScript client for interfacing with SWISH supporting HTTP digest auth.

• SWISH
• Prolog
• SWI Prolog
• HTTP Client
• JS
• TS
• HTTP Digest Auth

tgillespie

published 1.0.2 • a year agopublished 1.0.2 a year ago

thaw-grammar

Implementations of the grammars of several programming languages, including LISP, Scheme, Prolog, and the Lambda Calculus.

• APL
• CFG
• CLU
• context-free grammar
• grammar
• lambda-calculus
• LISP
• programming languages
• Prolog
• SASL
• Scheme
• Smalltalk
• TypeScript

tom-weatherhead

published 0.0.9 • 2 years agopublished 0.0.9 2 years ago

swivm

SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions

• swivm
• swi
• prolog
• version
• manager

fnogatz

published 1.1.3 • 4 years agopublished 1.1.3 4 years ago

xml-buffer-tostring

The library converts a buffer containing a XML serialized to a string, detecting the proper encoding

• xml
• encoding
• prolog
• bom
• buffer
• decode

ziluvatar

published 0.2.0 • 7 years agopublished 0.2.0 7 years ago

thaw-interpreter-types

TypeScript type information for thaw's interpreter code

• APL
• CFG
• CLU
• context-free grammar
• grammar
• lambda-calculus
• LISP
• programming languages
• Prolog
• SASL
• Scheme
• Smalltalk
• TypeScript

tom-weatherhead

published 0.0.5 • 2 years agopublished 0.0.5 2 years ago

jsprolog

A simple Prolog interpreter written with javascript (ECMAScript5).

• prolog

sleepyowl

published 0.2.2 • 7 years agopublished 0.2.2 7 years ago

yaparser

general parser like YACC

• parser
• combinator
• prolog

sky.li

published 0.1.0 • 5 years agopublished 0.1.0 5 years ago

prologjs

Tiny Prolog interpreter (< 80 LoC)

• Prolog
• Declarative programming
• Iterator

lachrist

published 0.0.1 • 8 years agopublished 0.0.1 8 years ago

wikiexpert

Expert system based on WikiPedia content

• wikipedia
• expertsystem
• prolog
• artificialintelligence

ajlopez

published 0.0.1-alpha • 7 years agopublished 0.0.1-alpha 7 years ago