Вопросы по теме 'swi-prolog'
Случайные элементы в Прологе
Я знаю, что могу выполнить X is random(10). , чтобы получить случайное число от 0 до 10, но есть ли аналогичная команда для получения случайного совпадающего элемента?
13857 просмотров
schedule
30.08.2022
swi prolog- IDE - Eclipse- как его использовать в Linux?
Я читал, что Swi Prolog IDE - Eclipse - в Linux (Ubuntu) возможен. Однако я не смог заставить установленный Eclipse «использовать» swi Prolog. Пожалуйста помоги
2850 просмотров
schedule
28.01.2023
как разделить предложение в swi-prolog
Я пробую свои силы на SWI-Prolog в Win XP. Я пытаюсь понять, как разбить предложение на Прологе на отдельные атомы.
Пример: Скажем, у меня есть такое предложение:
"это строка" Есть ли способ сохранить отдельные слова в переменной?
как :
X...
10313 просмотров
schedule
07.09.2022
Как вернуть как переменный результат, так и истину/ложь в Прологе?
Звучит глупо, но предположим, что мой предикат "самый большой/2" возвращает самый большой элемент в списке... вывод должен выглядеть так:
?- largest([1,2,3,4,5], X).
X = 5.
false.
Я реализовал самый большой, и он работает так же, как и выше,...
5444 просмотров
schedule
11.01.2023
Прочитать файл построчно в Прологе
Я хотел бы прочитать обычный текстовый файл и применить предикат к каждой строке (предикаты содержат write , который выполняет вывод). Как бы я это сделал?
28003 просмотров
schedule
02.01.2023
В swi-prolog, как красиво распечатать термин, полученный из load_xml_file('file.xml', Term)?
swi-prolog использует список списка списка ... для представления XML-дерева. Я старался
write(Term)
это не делает отступ хорошо, и
format(Term)
он не поддерживает список и
pretty_print
кажется, это не для списка, а...
1203 просмотров
schedule
20.10.2022
Вызов предиката пролога из python
У меня есть файл .pl , и я хочу вызвать объявленный в нем предикат из скрипта python. Как я могу это сделать?
Например, test.pl
rD( [], Ans, Ans ).
rD( [X|Xs], Ans, Acc ) :-
member( X, Acc ),
rD( Xs, Ans, Acc ), !.
rD( [X|Xs], Ans,...
6300 просмотров
schedule
20.12.2023
Пролог читает составной термин и рассматривает его как выражение
Следующий код не работает
:- arithmetic_function(i/2).
i(X,Y,Z) :-
Z is X+Y.
calcola :-
write('Give me an expression'),nl,
read(ESP),
Z is ESP,nl,nl,
write(Z).
но следующее
:-...
368 просмотров
schedule
29.03.2022
Выполнение запроса SPARQL в SWI-Prolog в онтологии OWL
Я хотел бы знать, как выполнить запрос SPARQL в SWI-Prolog после того, как я загрузил онтологию из файла OWL/RDF.
Я обнаружил, что можно выполнить запрос через sparql_query/3, но для этого требуется сервер.
613 просмотров
schedule
09.03.2024
SIGSEGV в DSO, смешанный C/C++
Я использую SWI-Prolog интерфейс иностранных языков для C++, пытаясь интегрировать какой-то другой ресурс.
В основном это работает, но любая попытка создать исключение приводит к SIGSEGV. Исключения обычно используются при проверке...
350 просмотров
schedule
23.08.2022
Встраивание логического движка Prolog в Linux g++ в C++
У меня есть некоторая логика в программе на C++, которая не только безумно сложна, но и требует множества решений, для которых Prolog идеален. Это похоже на сценарий конфигурации брандмауэра, проверяющий ввод для действий, но иногда требуется более...
2086 просмотров
schedule
20.09.2022
Ожидаемая оператором ошибка в запросах xpath в SwiProlog
Я пытаюсь использовать предикат xpath для извлечения части проанализированного XML-файла, но продолжаю получать синтаксическую ошибку: оператор ожидает специальных символов (например, «/» и «@») запроса xpath. КОГДА я заключаю запрос в одинарные...
498 просмотров
schedule
25.06.2023
JPL / SWI Prolog не работает
Я пытаюсь использовать библиотеку JPL SWI-Prolog, но у меня проблемы.
Я пытаюсь предоставить моему проекту Eclipse доступ к JPL, но когда я пытаюсь запустить программу, я получаю следующую ошибку:
Exception in thread "AWT-EventQueue-0"...
7161 просмотров
schedule
03.08.2023
Создание сохраненного состояния в SWI-Prolog
Я пытаюсь создать сохраненное состояние из верхнего уровня в Windows, но продолжаю получать эту ошибку:
1 ?- qsave_program('U:/boo64.prc').
% library(broadcast) compiled into broadcast 0.00 sec, 7,504 bytes
% library(debug) compiled into...
2436 просмотров
schedule
20.02.2023
Как установить средства разработки (plld и т. Д.) В SWI-пролог на OSX Lion
Я пытаюсь заставить SWI-prolog и C разговаривать друг с другом. У меня есть некоторые проблемы динамического программирования, которые намного быстрее / проще на C, и я хотел бы иметь возможность вызывать их из пролога.
В руководстве по SWi...
553 просмотров
schedule
19.11.2022
Есть ли библиотека / методика для сбора статистики для оптимального порядка предложений в Прологе?
Я пишу программу, в которой мне нужно видеть, соответствуют ли строки определенному шаблону. Прямо сейчас я реализовал это в Прологе, как правило, matchPattern (S), с более чем 20 различными определениями.
В итоге я запускаю все двоичные строки до...
172 просмотров
schedule
15.03.2022
Прочитать весь текстовый файл в переменную Prolog
Мне очень трудно понять это, хотя это одна из самых простых вещей в других языках: есть ли простой способ прочитать все содержимое текстового файла в переменную Prolog?
1191 просмотров
schedule
10.04.2022
Пролог и кодировка php
Я создаю интерфейс между swi-prolog и php. PHP пишет команды, которые он хочет, чтобы пролог запускал в файле, а затем выполняет системный вызов, поэтому пролог запускает файл. Проблема в том, что когда в файле есть специальные символы (например, á,...
468 просмотров
schedule
18.08.2023
Запрос переменных Пролога с помощью JPL
Я хочу сделать запрос на использование Prolog в java через JPL, я прочитал документацию (http://www.swi-prolog.org/packages/jpl/java_api/getting_started.html). Предикаты пролога следующие:
child_of(joe, ralf).
child_of(mary, joe).
child_of(steve,...
4202 просмотров
schedule
06.08.2023
Получение сообщений ERROR и WARNING из SWI-Prolog через JPL
У меня возникли проблемы с получением сообщений об ошибках и предупреждений при использовании JPL. Например, попытка обратиться к несуществующему файлу непосредственно из SWI-Prolog приводит к следующему выводу:
1 ?- consult('NonExistingFile')....
906 просмотров
schedule
12.05.2023