Описание тега xsb
XSB is a Prolog dialect developed at Stony Brook University in collaboration with the Katholieke Universiteit Leuven, the New University of Lisbon, Uppsala University and software vendor XSB, Inc.
1
ответ
Для пролога XSB, относительно ошибки
Какой бы простой код я ни выполнял в прологе Xsb с использованием Eclipse IDE, он показывает ошибку, подобную этой: ++ Ошибка [XSB/Runtime/P]: [Существование (Процедура usermod: demo / 1 не существует)] [] Вперед Продолжение... ... machine:xsb_backt…
23 янв '14 в 04:42
0
ответов
XSB процедуры не применяются /2
Я пытаюсь попасть в HiLog и застрял с самого начала. Даже когда сводится к самому учебному примеру: :- hilog sum. sum(X,Y,Z):-Z is X + Y. :- import bagReduce/4 from aggregs. f(_):- bagReduce([1,2],Res,sum,0). компилятор barfs: [Existence (No procedu…
10 июн '12 в 21:22
1
ответ
Генерировать график атаки с помощью mulval
Я успешно установил Mulval. Проблема в том, что я не получил AttackGraph.pdf, используя кодировку "graph_gen.sh /root/data/mulval/testcases/3host/input.P -v".
18 фев '19 в 07:18
1
ответ
Пролог: строка в список
У меня есть строка, которую я хочу преобразовать в список: "a + b = c" Мне нужно это в формате списка, чтобы передать его на член правила. Когда я передаю его непосредственно в правило члена, оно передается в виде последовательности чисел, которые, …
21 сен '15 в 20:20
1
ответ
Скользящая мозаика с изменяющимся размером мозаики с использованием логического программирования
Итак, я пытаюсь решить эту проблему с организацией стенда, приведенную здесь. Это в основном головоломка с раздвижными плитками, в которой одна (будка) плитка должна достигать целевого места, и в конце концов все остальные (будки) плитки должны быть…
01 окт '17 в 04:59
1
ответ
Как я могу запустить XSB на Cygwin?
Я пытался запустить xsb на cygwin64 $ xsb -bash: xsb: command not found $PATH $ echo $PATH /usr/local/bin:/usr/bin: /cygdrive/C:/Program Files/Java/jdk1.8.0_65:/cygdrive/c/Program Files/Java/jdk1.8.0_65/bin:/cygdrive/c/ProgramData/Oracle/Java/javapa…
08 дек '15 в 19:25
1
ответ
Ошибка [XSB/Runtime/P]: [Тип (библиотека (http / thread_httpd) вместо атома)]
Я пытаюсь разместить XSB на сервере. Я написал следующий код: :- module(server, [server/0, server/1]). :- import http_server/2 from library(http/thread_httpd). :- import http_dispatch/1 from library(http/http_dispatch). :- use_module(swish, []). ser…
17 ноя '16 в 20:30
2
ответа
Частичное упорядочение XSB Prolog
Я пытаюсь привести пример из руководства XSB версии 3.3.5 (из "Частичного порядка ответа"): :- table sp(_,_,po(</2)). sp(X,Y,1):- edge(X,Y). sp(X,Z,N):- sp(X,Y,N1),edge(Y,Z),N is N1 + 1. И я получаю ++Error[XSB/Runtime/P]: [Syntax] :- table sp ( …
20 ноя '11 в 03:21
0
ответов
FLORA2 v1.2 с плагином Eclipse vizualizer
Просто начните играть с системой рассуждений http://flora.sf.net/. Пытаюсь настроитьWindow/Preferences/Flora-2 Preferences/Reasoner указывая на установленный D:\FLORA или D:\FLORA\flora2 есть окно сообщения Did you install Flora-2 with cygwin? Eclip…
02 май '17 в 19:41
0
ответов
Сопоставить DTD программе Datalog
Может ли кто-нибудь помочь мне написать программу Datalog, которая является эквивалентом данного DTD. DTD: <!DOCTYPE abc[ <!ELEMENT abc (xyz*|def+)> <!ELEMENT xyz (def?)> <!ELEMENT def (#PCDATA)> ]> Также есть какие-то особые…
11 окт '14 в 21:00
1
ответ
Пролог XSB: написать свой собственный набор функций
Мне нужно получить из ввода с клавиатуры (list) список без дубликатов, но без использования встроенного setof (или любых других встроенных функций) в прологе XSB. Как мне написать свою собственную функцию setof? Ввод и вывод должны выглядеть так: |?…
26 ноя '13 в 14:05
0
ответов
Нет процедуры usermod: length/2 существует
Я новичок в прологе и пытаюсь написать программу для удаления каждого N-го элемента списка. Вот код, который я написал delete(L, N, R) :- N > 0, ( N1 is N - 1, length(Begin, N1), append(Begin, [_|Rest], L) -> delete(Rest, N, RestNew), append(B…
25 апр '18 в 22:35
1
ответ
Гилог термины в (XSB) Пролог
Термины Hilog (то есть соединения, имеющие в качестве функторов произвольные термины) по-прежнему считаются мощной функцией в Прологе XSB (или любом другом Прологе)? Много ли проектов XSB в настоящее время используют эту функцию? какой из них наприм…
18 мар '13 в 09:10
1
ответ
Изменить ответ возврата Пролога
Я новичок в программировании на прологе. Я хочу изменить значение, возвращаемое программой пролога, чтобы она возвращала значение true / false вместо стандартного yes или no. Рассмотрим очень простой пример: например, simple.P node(1). isNode(X) : n…
03 мар '13 в 18:51
1
ответ
Переход к предыдущему запросу в XSB или Ciao (Пролог)
Используя swi-пролог, можно вызвать предыдущий запрос с помощью клавиши со стрелкой ВВЕРХ (на терминале). Как этого достичь в системах прологов XSB или Ciao?
28 июн '15 в 09:33
2
ответа
Проблема мета-интерпретатора XSB Prolog с ограничениями clpr
Я запускаю XSB Prolog на моем Mac (El Capitan 10.11.2): XSB версии 3.6. (Gazpatcho) от 22 апреля 2015 г. [i386-apple-darwin15.2.0 64 бита; режим: оптимальный; двигатель: slg-wam; планирование: местное] [Дата постройки: 2016-01-17] Я использую пакет …
08 фев '16 в 11:05
3
ответа
Пролог бесконечный цикл
Это программа, которая должна выяснить, кто совместим с Джоном. Я новичок в Прологе. Чтобы сообщить Прологу, например. met(X,Y) = met (Y,X) много кода было написано. Теперь, когда я начинаю запрос ?- compatible(john, X) это входит в бесконечный цикл…
27 янв '13 в 13:38
0
ответов
use_module в прологе XSB
Я портирую http-библиотеки из SWI Prolog в XSB Prolog. Я должен портировать следующее утверждение: use_module(library(settings)). в XSB. Может кто-нибудь, пожалуйста, скажите мне, как это сделать. Я понимаю, что портирование не тривиально. Мне нужно…
22 фев '17 в 21:35
1
ответ
Где найти исходный код библиотеки SWI-Prolog
Я пытаюсь перенести некоторые библиотеки из SWI-Prolog в XSB-Prolog. Где я могу найти исходный код этих библиотек? Допустим, я хочу портировать url библиотека. Где я могу найти исходный код Prolog для того же. Я уже взглянул на следующую ссылку: htt…
19 мар '17 в 03:46
0
ответов
Из сова в код пролога
У меня есть онтология совы, и я бы использовал правила пролога и XSB, чтобы сделать вывод. Я знаю, что библиотека THEA помогает конвертировать код совы в пролог, но примеры отсутствуют. Так кто-нибудь может мне помочь. Заранее спасибо.
07 мар '14 в 12:52