Описание тега tau-prolog
Тау-Пролог - это система Пролога на основе JavaScript, которая запускается на странице браузера.
1
ответ
Утверждение предикатов с использованием Tau Prolog для Javascript
Вот, я пытаюсь решить эту проблему уже более двух дней, и мне нечего показать. Поэтому был бы признателен за помощь в этом вопросе. Проблема: попытка утверждения нового предиката с использованием Tau Prolog для Javascript возвращает ложный результат…
07 ноя '19 в 11:49
1
ответ
Интерпретатор Тау-Пролог показывает другое поведение, чем SWI-Пролог
В настоящее время я пытаюсь реализовать некоторые базовые запросы Prolog в Tau-Prolog. Хотя у меня есть рабочие запросы в SWI-Prolog, я не могу реализовать их для работы в Tau-Prolog. Я хотел бы вернуть имена всех роботов, которые есть в базе данных…
04 апр '20 в 22:23
1
ответ
Результаты Тау-Пролог видны в окне браузера
Я новичок в Tau-Prolog и Javascript. Вначале я хотел бы показать некоторые результаты, вычисленные движком Тау-Пролог в браузере. Пока что все, что я хочу показать, это некоторая информация, содержащаяся в моей базе данных Prolog: Все роботы в базе …
28 мар '20 в 20:59
1
ответ
Использование Tau-Prolog с React
Я пытаюсь использовать Tau-Prolog с Node.js и React. На шаге: session.consult(program); Я получаю это сообщение об ошибке: TypeError: fs.existsSync is not a function Вот код для воспроизведения проблемы: index.js import React from 'react'; import Re…
29 мар '20 в 09:48
1
ответ
Применить предикат к списку входов Пролог
Я пытаюсь сделать следующее: Учитывая список персонажей, чтобы узнать, какой список лучше всего ему противоречит, поэтому изображение, которое я помещаю в список [kraken,scorpia,zulrah] поэтому он проверит тип атаки каждого и увидит, какой тип атаки…
26 май '20 в 14:20
1
ответ
tau-prolog не будет запускать код пролога, в котором я использую библиотеку CHR, хотя он работает на SWI-Prolog
Я пытаюсь использовать тау-пролог для запуска кода CHR, и он дает эту ошибку throw(error(existence_error(procedure, '/'(color, 1)), '/'(top_level, 0)))хотя он отлично работает на SWI-Prolog это код пролога :-use_module(library(chr)). :- chr_constrai…
30 май '20 в 05:31
1
ответ
Использование await и async для загрузки синтаксического анализа Tau-Prolog прежде всего
Моя задача - загрузить и проанализировать код Tau-Prolog в браузере, прежде чем что-либо еще будет выполнено. Я пробовал этот подход (webProlog.pl содержит код Tau-Prolog): var session = pl.create(1000); async function init_prolog() { // load tau aw…
09 апр '20 в 12:45
1
ответ
Tau Prolog ведет себя не так, как песочница
Проблема: программа, которая отлично работает в онлайн-интерпретаторе Tau Prolog, ведет себя по-разному при выполнении на локальной машине. [Использование HTML и Javascript] Ошибка связана с предикатом if,else if, else, используемым в Prolog(наприме…
08 ноя '19 в 11:12
0
ответов
не может вывести накопленный список ответов тау-пролога
Я использую библиотеку Tau Prolog в своем проекте, и она работала нормально, пока я не попробовал это. Я пытаюсь вывести несколько расписаний и соответствующие им дополнительные часы (контекст здесь не имеет значения). Вот результат в консоли, когда…
11 апр '20 в 17:44
0
ответов
Получение терма, в котором переменные являются заглавными буквами на тау-прологе
В песочнице для Tau Prolog у меня есть: :- dynamic(p/2). p(X, Y):- q(X, Y). test(Z):- clause(p(_, _), Z), numbervars(Z, 0, _). Который с запросом test(Z). дает: Z = q('$VAR'(0),'$VAR'(1)). Но вместо этого я хотел: Z = q(A,B). Я знаю, что в SWI Prolo…
04 ноя '20 в 19:37
0
ответов
Загрузка пакетов tau-prolog.js во время выполнения?
Я делаю онлайн-IDE для Prolog, используя tau-prolog, и мне нужно иметь возможность импортировать внешние пакеты модулей tau-prolog в js-форме, чтобы я мог использовать предикаты в уже определенных модулях. У меня немного проблемы с этим, и я получаю…
12 фев '22 в 10:18
1
ответ
тау пролог существование_ошибка на примере учебника
Я следую учебнику по тау-прологу и сталкиваюсь с этой ошибкой: throw(error(existence_error(procedure,/(fruits_in,2)),/(top_level,0))) Мой index.html <!DOCTYPE html> <html lang="en"> <head> <meta charset="utf-8"> <title>…
05 мар '22 в 12:11
0
ответов
Как преобразовать атом в термин в тау-прологе
Как бы это сделать и расширить Tau Prologs core.jsновым встроенным term_atom/2. Это будет работать следующим образом: ?- term_atom(X, '2 + foo'), write_canonical(X), nl. +(2, foo) Я обнаружил, что в Tau Prolog есть все, чтобы сделать такую встроен…
18 май '22 в 15:47
0
ответов
Как запросить количество вычислений для успешного запроса, который не достиг предела
Я использую Tau-Prolog для вычисления некоторых вещей, я установил ограничение на 100, чтобы проверить что-то. Я иногда дохожу до лимита, потом поднимаю лимит. Мне было интересно, этот предел измеряет производительность программы, поэтому есть ли сп…
31 май '22 в 11:47
0
ответов
Как исправить ошибку «tau_file_system не определена» в tau-prolog?
Я хотел выполнить код пролога swi в компоненте реакции / машинописного текста, где я получил ошибку «tau_file_system не определен». Мой код выглядит так (код взят со страницы github tau-prolog): import { Button } from "@mui/material"; import pl from…
18 янв '23 в 20:38
0
ответов
uncaught_exception при попытке запустить пролог-программу с Tau-Prolog
я пытаюсь использовать интеграцию Tau-Prolog с javascript через этот скрипт: <!-- index.html --> <script type="text/javascript" src="tau-prolog.js"></script> <script> var TEN_THOUSAND = 10000; function buttonClick() { var que…
17 янв '23 в 09:48
0
ответов
Как избежать знака двойной кавычки внутри строки (тау) пролога?
Я предполагаю, что на это должен быть простой ответ, но я просто не смог его найти - я хочу включить знаки двойных кавычек внутри строк тау-пролога... как это сделать? Когда я пытаюсь ввести его в песочницу Tau-Prolog (http://tau-prolog.org/sandbox/…
08 сен '22 в 12:56
0
ответов
У меня проблема с ответом Тау-Пролога
У меня есть реализация игры Connect4 в прологе. get_next_board/2предикат отлично работает в консоли пролога. Но когда я хочу получить результат, используяsession, он просто долго ждет ответа, который так и не приходит. session.consultиsession.queryп…
12 апр '23 в 07:13
1
ответ
Пролог Тау не может получить доступ к значению
Если вы когда-либо работали с тау-прологом и не понимаете, почему при использованииanswer.lookup("Id").id, это работает, но для других значений возвращает false.
16 апр '23 в 12:12
0
ответов
Данные ответа не должны быть правильными Tau-prolog.js
КОД PL Я использую интерпретатор пролога в javascript tau-prolog и вижу, что там не так много ссылок и понятных примеров использования. Проблема в том, что он показывает ответ в неожиданном формате. :- use_module(library(lists)). % Hechos: Problemas…
25 мар '23 в 21:26