Библиотека JavaScript для логического программирования

Знаете ли вы о какой-либо хорошей библиотеке javascript для логического программирования?

Мне интересно что-то вроде jsprolog, но я хочу использовать javascript для связи с lib, а не с другим языком (например, пролог в этом случае).

Большое спасибо.

Ответы

Ответ 1

Есть куча других языков, которые компилируются в javascript: https://github.com/jashkenas/coffee-script/wiki/List-of-languages-that-compile-to-JS

Возможно (хотя и не вероятно!) один из них имеет API, совместимый с javascript, и подходящую библиотеку, которая может быть "скомпилирована" на JavaScript.

Точно то, что вы не ищете, и, вероятно, время расточителя:)

Ответ 2

Пожалуйста, проверьте (JSL) https://www.npmjs.com/package/lib-jsl.

Из обзорного документа JSL представляет собой библиотеку логического программирования на основе JSON, предназначенную для встроенного использования в программах JS. Он использует JSON в качестве своего синтаксиса, а также метод ввода-вывода

Ответ 3

В дополнение к jsprolog существует несколько библиотек JavaScript для логического программирования:

  • chr.js - библиотека логического программирования ограничений для JavaScript. Это реализация языка программирования Правила ограничения ограничений.

  • Существует несколько реализаций JavaScript Datalog, таких как DataScript.

  • Yield Prolog позволяет внедрять программы Prolog непосредственно в JavaScript. Это особенно полезно, поскольку позволяет использовать функции JavaScript в предикатах Пролога и наоборот.

  • LogicJS - это библиотека JavaScript, основанная на MiniKanRen, который был реализован на многих языках программирования, включая JavaScript.

  • JavaScript-Logic-Programming-System - еще одна система логического программирования для JavaScript.

  • Существует другая реализация Prolog, которая была написана менее чем в 200 строках кода JavaScript.

Конечно, есть также несколько библиотек С++ для логического программирования, которые можно автоматически портировать на JavaScript с помощью Emscripten.

Ответ 4

Существует новый инструмент, общий компилятор, добавляющий какое-либо влияние на JS, в том числе логическое программирование, есть пример пролога append: https://github.com/awto/mfjs-samples/tree/master/unify