Swi-Prolog – вопросы и ответы

89
голосов
1
ответ
Я новичок в Prolog и С#. Когда я пытаюсь интегрировать Prolog с С#, я обнаружил некоторые ошибки, using System; using System.Collections.Generic; using System.Linq; using System.Text; using SbsSW.S...
5 месяцев, 3 недели назад yk2
82
голоса
2
ответа
Я изменяю программу Eliza http://cs.nyu.edu/courses/fall11/CSCI-GA.2110-003/documents/eliza.pl пытаясь заставить его распечатать системное время, когда пользователь спрашивает: "Какое это время? По...
5 месяцев, 4 недели назад Mad Scientist
69
голосов
1
ответ
Здесь я попытался решить некоторые простые строковые ограничения в Prolog. Хотя эта проблема кажется простой, main предикат все еще не печатает значение FinalString , которое должно быть "hello wor...
5 месяцев, 4 недели назад Anderson Green
56
голосов
1
ответ
"Очевидное" - это не просто слово, которое часто обсуждают, но почему SWI-Prolog CLPFD правильно решает эту проблему: ?- A+1 #= A*2. A = 1. но не это ?- B #= A + 1, B #= A * 2. A+1#=B, A*2#=B. ( la...
5 месяцев, 4 недели назад Erhannis
70
голосов
3
ответа
Я несколько новичок в прологе, и я пытаюсь понять, как добиться привязки элементов списка, когда порядок не имеет значения. Я продемонстрировал это в двух последних строках моего кода. Казалось, тр...
5 месяцев, 4 недели назад lamino
82
голоса
1
ответ
Я использую SWI-Prolog для запроса базы данных WordNet. Теперь мне нужно создать интерфейс HTML, который примет слово от пользователя и запросит его против db. Как я могу написать JS-код, который о...
5 месяцев, 4 недели назад Conversation Company
57
голосов
1
ответ
Я хочу написать swi-пролог оболочки ruby. Кто-нибудь может рассказать мне, как продолжить писать? Я был бы признателен, если кто-нибудь объяснит мне, какие шаги нужно учитывать при попытке написать...
5 месяцев, 4 недели назад JPro
98
голосов
1
ответ
Мне нужен исходный код Prolog, который используется для связи с Weka и может предсказать использование алгоритма Weka в среде Windows. Я пытался подключиться через Java, но я не могу подключиться и...
5 месяцев, 4 недели назад Endalkachew Mengesha
56
голосов
2
ответа
Мне нужен предикат для того, есть ли элемент в списке. Я пытался использовать member/2, но заметил странное поведение. Когда я называю что-то вроде member(1, [1, 2, 3]). SWI-пролог выводит true и ж...
5 месяцев, 4 недели назад doomista
70
голосов
1
ответ
Я пытаюсь заставить SWI-пролог и C разговаривать друг с другом. У меня есть проблемы с динамическим программированием, которые намного быстрее/проще в C, и я хотел бы иметь возможность вызывать их ...
6 месяцев назад jmite
79
голосов
1
ответ
Поэтому я пытаюсь сделать этот предикат шифрования, и я получил его для работы с входным и стандартным выходом, но я не могу заставить его работать с файлами, поэтому мне нужна помощь в его исправл...
6 месяцев назад Max Margolin
120
голосов
2
ответа
Я создаю API для сети с прологом. Пользователь будет входить с их именем, и я хотел бы, чтобы API запоминал пользователя на протяжении всего сеанса до тех пор, пока пользователь не выйдет из систем...
6 месяцев назад dangood
58
голосов
1
ответ
У меня есть список X = [-n,-b,-s,hello,world] Мне нужен вывод Z1 = [-n,-b,-s] Z2 = [hello,world] Если строка начинается с - она должна быть частью списка Z1, а другая часть списка Z2. Может ли кто-...
6 месяцев назад Krishna Kalyan
89
голосов
2
ответа
У меня есть простой текстовый файл и несколько случайных строк данных, ничего особенного. Мне было интересно, как именно я буду читать этот файл за строкой в виде следующего псевдокода: arrLines[] ...
6 месяцев назад ace007
89
голосов
1
ответ
У меня возникают проблемы с получением сообщений об ошибках и предупреждения при использовании JPL. Например, попытка проконсультироваться с несуществующим файлом непосредственно из SWI-Prolog прои...
6 месяцев назад Epicurus
57
голосов
2
ответа
Я устанавливаю следующие правила, чтобы найти, существует ли связь между двумя элементами: directReference(A,B) :- projectReferences(A,B). transitiveReference(A,C) :- directReference(A,B),directRef...
6 месяцев назад P.Brian.Mackey
98
голосов
1
ответ
Когда я использую protocol('execution.txt'). и вводю некоторые запросы, у меня есть некоторые символы мусора в выходном файле. Есть ли способ избежать этих символов? 11 ?- beside(block2, X). X = bl...
6 месяцев назад Jiang Xiang
57
голосов
1
ответ
Я хотел установить какое-либо стороннее программное обеспечение в swipl (версия 7.5.5, установленная полностью и без жалоб от github repo). Теперь я получил следующую ошибку: ОШИБКА: /usr/local/lib...
6 месяцев назад KayHamacher
81
голос
2
ответа
Итак, у меня есть проект колледжа, который использует Prolog, я не первый, кто работает над кодом, поэтому он уже довольно большой, но я должен поставить его на работу с графическим интерфейсом Pro...
6 месяцев назад Lucas Alves
113
голосов
1
ответ
Бесконечный цикл генерируется, когда логический двигатель активируется, чтобы сделать необходимые выводы. Правила и факты были определены в соответствии с определенным синтаксисом для мета-интерпре...
6 месяцев назад user3062889
81
голос
1
ответ
Версия SWI-пролога: многопоточная, 64-разрядная, версия 7.6.4 ОС: Ubuntu Bionic 18.04 Все еще работал над изучением пролога и столкнулся с интересной ситуацией. Я хотел бы использовать предикат, ко...
6 месяцев назад stan_plogic
89
голосов
1
ответ
В Swi-Prolog я могу заключить цель во time/1 чтобы узнать, сколько времени CPU занимает цель. Как правильно использовать statistics/2 чтобы узнать, сколько RAM занимает цель?
6 месяцев назад user27815
89
голосов
1
ответ
Я запускаю программу Prolog, которую я написал (доказательство тестера в естественном выводе), и когда я запускаю программу (run_all_tests ('proof_tester.pl').) Программа запускает, печатает матери...
6 месяцев назад Rickard
91
голос
3
ответа
Обновление: 11.6.2016 Непонятное несоответствие производительности, которое я наблюдал с SICStus Prolog 4.3.2, полностью исчезло с недавно выпущенным SICStus Prolog 4.3.3. Престижность! Я обновил т...
6 месяцев назад repeat
70
голосов
1
ответ
Я запускаю свой код в SWI Prolog и Windows 7. В моем коде я вызываю другое приложение с помощью "win_exec()" (я попытался использовать метод "shell()", но он не будет работать.), И на end выводит с...
6 месяцев назад shujin
79
голосов
1
ответ
Я использую проект java с библиотекой jpl, но я получаю ошибку компиляции "пакет org.jpl7 не существует". Я попытался загрузить последнюю версию, но я, вероятно, получил версию jpl3. Как получить п...
6 месяцев назад ajmf
56
голосов
1
ответ
Как я обнаружил, я могу использовать от $ и # в сокращенной версии suspend в Прологе. Следовательно, я могу написать следующий запрос: ?- X $> 2, X = 2.5. И результат: X = 2.5 Yes (0.11s cpu) Та...
6 месяцев назад OmG
80
голосов
1
ответ
У меня есть файл csv example.csv , который содержит два столбца с заголовком var1 и var2. Я хочу заполнить изначально пустой файл базы знаний Prolog import.pl повторяющимися фактами, а каждая строк...
6 месяцев назад user2030503
-4
голоса
1
ответ
Как я могу распечатать последовательность Фибоначчи в прологе? Я так старался, но безуспешно. Я хочу, чтобы программа вела себя следующим образом: >? печать (0, 1). 0 1 1 2 3 5 8 13 21 34 55 89 ...
6 месяцев назад Jihad Naji
57
голосов
1
ответ
Я хотел бы получить этот результат: > numberMatrixLines(1,[[1,1,1,1,1,1,1,1],[1,1,1,1,1,1,1,1],[1,1,1,1,1,1,1,1]],X) X = [machinePenalty(1,[1,1,1,1,1,1,1,1]),machinePenalty(2 [1,1,1,1,1,1,1,1]),...
6 месяцев назад Mandy
71
голос
2
ответа
Я пытаюсь написать предикат md5 который проверяет следующее: md5("my string", "my md5"). Истинным примером такого предиката было бы md5("long live and prosper", "bf1835ce984d2a97d31409394fe00e9a")....
6 месяцев, 1 неделя назад balanza
89
голосов
2
ответа
Я новичок в Prolog (и довольно новичок в CS/программировании в целом), и я пытаюсь оценить и улучшить производительность своих программ, используя предикат time/1. Однако я не уверен, что понимаю в...
6 месяцев, 1 неделя назад astrocleo
69
голосов
2
ответа
Я пытаюсь понять, как связать код C с SWI-Prolog, но у меня возникают некоторые трудности. Когда я компилирую следующий код и загружаю его, он отлично работает на OS X, но когда я перемещаю тот же ...
6 месяцев, 1 неделя назад ljos
58
голосов
1
ответ
Библиотеки клиентских протоколов SWI proog обеспечивают способ элегантного доступа к входящим параметрам/терминам http get query: http_parameters(Request, [term(QueryTerm, [])]), Существует ли экви...
6 месяцев, 1 неделя назад magus
69
голосов
3
ответа
Я пытаюсь использовать библиотеку SWI-Prolog JPL, но у меня проблемы. Я пытаюсь разрешить моему проекту Eclipse доступ к JPL, но когда я пытаюсь запустить программу, я получаю следующую ошибку: Exc...
6 месяцев, 1 неделя назад CodeBunny
100
голосов
1
ответ
Я пытаюсь выполнить swi-пролог файл с PHP, но когда я пытаюсь запустить этот код, ничего не выполняется. Этот мой код: <HTML> <HEAD> <TITLE>Calling SWI-Prolog from PHP (short)<...
6 месяцев, 1 неделя назад Mohamed Shika
98
голосов
1
ответ
Я хочу установить предикат to_buy (Товары, Предложения, Цена, Качество), что верно, когда список предлагает, с общей ценой Цена и общим качеством Качества, но я хочу именно продукты Товаров. Если н...
6 месяцев, 1 неделя назад Konstantinos Manolis
69
голосов
1
ответ
Мне интересно, как получить вывод из SWI-Prolog при вызове его из оболочки. Скажем, у меня простая база знаний, kb.pl : dad(elvis, lisaMarie). dad(john, julian). Я могу вызвать SWI-Prolog из оболоч...
6 месяцев, 1 неделя назад sdesciencelover
70
голосов
2
ответа
У меня есть следующие факты и правила: one(s). one(t). two(X,Y) :- one(X), one(Y), three(X), \+three(Y), \+two(Y,X). three(s). Для запроса two(Y,X). Я получаю этот результат: ?- two(Y,X). Y = s, X ...
6 месяцев, 1 неделя назад JumbleGee
Чтобы , пожалуйста,
Выберите тему жалобы:

Другая проблема