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