Вопросы по теме 'swi-prolog'
вызов swi-prolog из php
Я пытаюсь вызвать swi-prolog из сценария php, например:
exec("start plwin.exe -f C:\\path\\load.pl -g run_from_file.", $os1);
print_r($os1);
Я вижу, что окно пролога открывается и соответствует файлу, но немедленно закрывается, отображая...
2007 просмотров
schedule
05.01.2023
SWI-Prolog в семантической сети
Я хотел бы услышать мнение людей, которые имеют реальный опыт программирования в использовании семантической библиотеки SWI-Prolog.
Изменить: Причина этого вопроса в том, что среди многих людей, с которыми я разговаривал с опытом пролога,...
3017 просмотров
schedule
29.12.2022
SWI-Prolog CGI cgi_get_form(Arguments) веб-скрытая форма
У меня проблема с передачей формы input type="hidden" с библиотекой CGI SWI-Prolog. В частности, я делаю:
<form id="frmCGIPrologIni" name="frmCGIPrologIni" method="post" action="http://localhost/cgi-bin/x.pl"> <p><input...
210 просмотров
schedule
08.08.2022
Аргументы недостаточно инстанцированы SWI-Prolog
Я пытаюсь написать сценарий Prolog, который может создать список строк, который после простой процедуры приведет к заданной строке. Мои знания Пролога очень ограничены, и я не уверен, что он вообще может это сделать, поэтому, пожалуйста, скажите мне,...
3908 просмотров
schedule
16.03.2024
Применение предикатов к списку в Прологе
Я новичок в SWI-Prolog (5.10.5 работает на Win 7).
В приложении есть 3 файла, о которых я узнаю: a.pl, b.pl и c.pl.
a.pl использует предикат foldl/4, который, кажется, находится в apply.pl .
c.pl использует следующее:
:-...
382 просмотров
schedule
14.11.2022
Как получить количество строк файла в прологе?
Я знаю, что есть предикат:
line_count(Stream, LineCount)
но этот предикат получает, сколько чисел вы читаете или пишете? Мне нужно добавить файл, и перед его добавлением мне нужно проверить количество вставленных строк, так что я могу сделать...
1215 просмотров
schedule
08.03.2022
Как подключить SWI Prolog к Visual Studio 2012
У меня есть программа, взаимодействующая с SWI-Prolog в Visual Studio. Раньше пользовался VS2010 (XP) и все нормально работало. Затем я обновляю свой VS до VS2012 (Win7), и теперь у меня проблема в моем коде.
Когда дело доходит до следующего...
3940 просмотров
schedule
12.05.2022
Членство в списке пролога, возвращено несколько результатов
У меня есть стандартная процедура определения принадлежности к списку:
member(X, [X|_]).
member(X, [_|T]) :- member(X, T).
Я не понимаю, почему, когда задаю следующий запрос:
?- member(a,[a,b]).
Результат
True;
False.
Я...
3819 просмотров
schedule
04.11.2023
Logtalk — ошибка logtalk_load
Я использую swi prolog и только что установил logtalk. Когда я вызываю logtalk_load с некоторыми примерами проектов, он всегда возвращает false.
% library(win_menu) compiled into win_menu 0.00 sec, 29 clauses
% C:\Logtalk/configs/swi.pl compiled...
171 просмотров
schedule
06.09.2022
Есть ли какие-то конкретные правила преобразования данных MySQL в правила Prolog для исследовательского майнинга?
У меня есть три таблицы (на данный момент), одна с 2000 строками, а две другие - примерно с 1,6 миллиона строк каждая. У них есть столбцы, которые связывают их друг с другом, но они не являются формальными полями FK. Я написал программу на C ++ для...
195 просмотров
schedule
05.04.2023
Распределение студенческих проектов (SPA)
Я понимаю «Проблему стабильного брака» (SMP) с ее ограничениями и частично реализую ее в прологе, но мне было интересно, как я могу расширить свое решение, включив в него также «Проблему распределения студенческих проектов» (SPA). Каковы фактические...
323 просмотров
schedule
12.11.2023
Использование SWI-пролога
Пожалуйста, помогите, как я могу использовать SWI-пролог на машинах без установленного SWI? Я хочу создать С#-приложение, которое использует SWI для некоторых вещей, и оно должно работать на машинах без установленного SWI. Как мне это сделать?
213 просмотров
schedule
03.08.2022
swi-prolog прерывает работу (после установки через доморощенный)
По некоторым причинам мне пришлось удалить/переустановить homebrew на моем MacBook Pro (OS X 10.9). Я хотел переустановить swi-prolog через homebrew (как и в первый раз). Процесс установки работал без каких-либо видимых проблем, но теперь каждый...
877 просмотров
schedule
10.04.2022
Проблема с определением инфиксного бинарного оператора в прологе
Я просто новичок в прологе. Я хочу определить инфиксный бинарный оператор «rA», который дает мне площадь прямоугольника, когда я задаю ширину и ширину прямоугольника. Это код, который у меня есть:
:-op(300, xfy, rA).
rA(X,Y,R) :- R is X*Y....
826 просмотров
schedule
24.05.2024
Программирование на прологе в Ubuntu
Мне интересно играть и возиться с прологом, я установил swi-prolog и добавил репозиторий, на всякий случай, если кому-то интересно, какие команды я использовал:
% sudo apt-add-repository ppa:swi-prolog/stable
% sudo apt-get update
% sudo apt-get...
35269 просмотров
schedule
27.02.2023
Анимация в XPCE/прологе недостаточно плавная
Я пытаюсь написать простую анимацию в XPCE/Prolog для проекта, но она недостаточно плавная; он мигает или мерцает. Я использую это на ноутбуке ASUS N550jv с Intel i7 (четырехъядерный, 2,4 ГГц+), так что это не должно быть проблемой. Движущийся...
465 просмотров
schedule
22.12.2023
Максимальное расстояние между значениями переменных в SWI-Prolog (clpfd)
Я хочу максимизировать разницу между двумя переменными:
:- use_module(library(clpfd)).
maximize(X) :-
X = [A,B],
X ins 1..5,
% I want to write a constraint to have maximum difference between A and B.
461 просмотров
schedule
01.03.2022
Prolog DCG для разбора экранированных последовательностей
Мне нужно разобрать строку ^borrow$ ^\$500$ в список [borrow, $500] . Грамматика, которую я написал до сих пор,
:- use_module(library(dcg/basics)).
write_list([]).
write_list([H|T]) :- atom_codes(S, H), write(S), nl, write_list(T).
%...
158 просмотров
schedule
07.11.2023
presort/3 неожиданное поведение
У меня проблема с сортировкой списка задач [t7, t1, t6, t2, t4, t3, t5] в Прологе. Чтобы отсортировать это, я хочу использовать предопределенную формулу predsort/3 , так как это кажется правильным подходом.
Мой пользовательский предикат...
77 просмотров
schedule
24.03.2024
Как настроить прологскрипт
Я устанавливаю следующие правила, чтобы определить, есть ли связь между двумя элементами:
directReference(A,B) :- projectReferences(A,B).
transitiveReference(A,C) :- directReference(A,B),directReference(B,C).
transitiveReferenceD1(A,D) :-...
302 просмотров
schedule
09.01.2023