Описание тега yap

Описание тега Вопросы с тегом
YAP is a Prolog system developed since 1985 at the Universities of Porto and Rio de Janeiro
2 ответа

Пролог: различное поведение между yap и swi-прологом при чтении файла в список

У меня есть следующий тестовый код, пытаясь прочитать файл в список open('raw250-split1.pl', read, Stream), read(Stream,train_xs(TrainXs)), length(TrainXs, MaxTrain). Я опущу часть вывода, так как файл довольно большой. Хорошо работает с yap, ➜ chil…
19 июн '18 в 11:47
1 ответ

Компиляция Yap на Windows 8

Я пытаюсь скомпилировать yap на моем ПК, поскольку кажется, что установщики по умолчанию YAP не поставляются с включенным флагом ограничения глубины. Мне нужно это для работы над проектом ILP на Алеф. Дело в том, что я вынужден использовать компьюте…
10 июл '14 в 11:20
1 ответ

Как получить текущий рабочий каталог

Я новичок в yap (и с Прологом в целом), и я не могу понять, как получить текущий каталог. На самом деле, я не могу разобраться в документации: working_directory(-CurDir,?NextDir) Получить текущий каталог в CurDir, Если NextDir связан с атомом, сдела…
22 фев '17 в 17:31
2 ответа

Пролог: сравнение значения предиката с константой

У меня есть некоторые проблемы с прологом, в частности, я не могу сравнить значение предиката с константой. predicate(9). compare(X,Y) :- X<Y. Запуск программы: ?-compare(predicate(X),10). Почему это не работает? Спасибо за ответ.
01 окт '15 в 09:21
0 ответов

Существует ли библиотека clpfd в YAP Prolog, эквивалентная библиотеке в SWI-Prolog?

Я написал этот код в SWI-Prolog, используя clpfd модуль, но при портировании на YAP я обнаружил, что cumulative/2 Предикат недоступен в соответствии с сообщением об ошибке, приведенным в оболочке. Итак, я попытался посмотреть онлайн для clpfd докуме…
22 фев '15 в 14:56
0 ответов

Получить список открытых предикатов, определенных в модуле

Я знаю, что в Прологе каждый файл, определяющий модуль, должен начинаться с инструкции :- module(module_name, [pred1/arity, ...]). Как я могу получить список открытых предикатов, экспортируемых модулем во время выполнения? Решаемые. ? - все (X, [мод…
30 май '13 в 19:00
0 ответов

Какие-нибудь примеры того, как использовать yap's socket_select/5?

Я пытаюсь написать сервер пролога, чтобы иметь возможность запрашивать базу знаний, написанную на прологе, у клиента, написанного на другом языке программирования (Python, JavaScript, что угодно...), так же, как и база данных SQL. Я бы подумал, что …
02 май '17 в 15:23
2 ответа

YAP Пролог случайный отсутствие случайности

При выполнении следующей программы Prolog с YAP выходные данные всегда одинаковы, а именно целое число 233. :- use_module(library(random)). x:- random(1,1000,X), writeln(X). Например, если я выполняю следующий скрипт bash, вывод всегда будет одним и…
08 окт '15 в 16:45
0 ответов

Установите Aleph на MacOS

Я пытаюсь установить ALEPH - механизм обучения для выдвижения гипотез - http://www.cs.ox.ac.uk/activities/machinelearning/Aleph/aleph - на Mac. Как я понял, мне понадобится YAP - еще один пролог. Насколько я нашел в интернете все так и делают "brew …
03 окт '17 в 23:27
1 ответ

YQL в Yahoo! Приложение [YAP]

Мы используем YQL для получения информации о профиле в Yahoo! Приложение, использующее YAP, однако, мы сталкиваемся с ошибкой при выполнении запроса YQL. Мы используем функциональность OpenSocial Gadget AJAX для совершения звонка. Ниже приводится со…
18 июн '10 в 15:12
1 ответ

Пролог Атом Конкат Swi и Yap Пролог

Вход: run([p(X,Y,Z),h(Z,P,Q)],Out). код: :- ensure_loaded(library(lists)). run([X|Y],Out) :- X =.. [Fct|Args], X =..Total, length(Args,L), concat(abs_,L,Fct_A), Out =.. [Fct_A|Total]. на swi пролог я получаю правильный ответ: A = abs_3(p, X, Y, Z). …
23 июл '11 в 19:20
2 ответа

Тайм-аут YAP PROLOG

Может кто-нибудь объяснить, почему следующий код YAP не приводит к переменной Result будучи объединенным с time_out? ?- time_out(sleep(3),1,Result). Result = success. ?- time_out(sleep(3),2,Result). Result = success. ?- time_out(sleep(3),1000,Result…
06 окт '15 в 09:28
2 ответа

Слой совместимости для разных реализаций Пролога

Какой лучший способ справиться с совместимостью между двумя разными интерпретаторами Пролога? Я прочитал этот вопрос и ответы на него, но мне нужна методология для работы с по-разному определенными предикатами (т. Е. Удаление в SWI не является перем…
05 апр '13 в 18:22
1 ответ

Чтение списка из потока с помощью Yap-Prolog

Я хочу запустить процесс (python3) из моего скрипта пролога (yap) и прочитать его выходные данные в формате целых чисел, например: [1,2,3,4,5,6], Вот что я делаю: process_create(path(python3), ['my_script.py', MyParam], [stdout(pipe(Out))]), read(Ou…
26 мар '17 в 13:43
1 ответ

Проблемы с прологом

Я хотел бы найти способ профилировать использование памяти предикатом (огромным), который я написал в прологе. В настоящее время я запускаю его с помощью swi и yap, и из этих процессов видно, что выделяется большой кусок памяти. Проблема в том, что …
04 апр '13 в 13:00
0 ответов

Непонятная ошибка в ALEPH или YAProlog

Я пытаюсь использовать ALEPH - механизм обучения для выдвижения гипотез - http://www.cs.ox.ac.uk/activities/machinelearning/Aleph/aleph для изучения некоторых описательных правил в моем наборе данных. Я использую YAP для запуска скрипта пролога ( ht…
18 дек '17 в 09:45
1 ответ

Yap Prolog - перевод SQL-запроса

Я пытаюсь создать запрос Prolog для базы данных, которую я перевел с mySql на факты Prolog. Факты Пролога касаются многих таблиц, но релевантных для этого запроса всего две: actor(ID,firstName,lastName) film_actor(actor_id,film_id) film(ID, title,_,…
13 окт '18 в 20:20
1 ответ

Настройка сценария не удалась

Я только что установил Ubuntu 12.04 в VMBox и теперь пытаюсь установить "YAP Prolog". Поэтому я загружаю код, используя "git clone...", и получаю код, который мне нужно настроить и собрать. Конфигурирование и сборка работают нормально на моем OSX, н…
24 окт '12 в 05:55
2 ответа

Пролог, как правильно использовать escape-последовательности

Мне нужно (для выбора дизайна), чтобы получить список, который уважает следующий шаблон: Uses = ['foo\/1', 'foobar\/2']. Я могу создать шаблон имени / номера, выполнив: all((P\/A), (rule(X, Ux, _, Module), member(U, Ux), U = (P/A)), Uses). где прави…
27 июн '13 в 17:15
1 ответ

Файл инициализации YAP?

Мне интересно, есть ли в YAP эквивалент файла инициализации SWI "~ /.plrc". Я хотел бы определить некоторые каталоги с: file_search_path/2 перед загрузкой YAP, но я не знаю, где это сделать. Любая помощь будет высоко оценена!
13 июн '11 в 13:20