Описание тега logtalk
Logtalk - это объектно-ориентированный логический язык программирования, основанный на Прологе.
1
ответ
Сохранить объект в файл в Logtalk
Я написал проект пролога, и теперь я должен изменить его на файл Logtalk. В коде я могу утверждать новые факты в другой файл пролога с кодом: :- dynamic(student/5). :- use_module(library(persistency)). :- persistent(student(id, name, surname, mark, …
19 дек '18 в 09:25
3
ответа
Определение правила, которое пользователь не может запросить
Как определить правило, которое пользователь не может запросить? Я только хочу, чтобы сама программа вызывала это правило через другое правило. Пример: правило1():- правило2 (). rule2 (): - 1<5. ?-Rule1(). правда ?-Rule2 (). (Я не знаю, каков будет …
25 фев '11 в 00:48
2
ответа
Logtalk: как лучше всего запустить все тестовые наборы?
В примерах кода Logtalk каждый пример предоставляет свой собственный набор тестов, который можно запустить в "автономном" режиме (один набор тестов одновременно). Но, как говорится в заголовке, меня интересуют лучшие подходы к тестированию всех набо…
02 ноя '15 в 10:16
1
ответ
Используйте предикат "univ" Prolog с методом объекта Logtalk в качестве параметра
Как использовать " Univ" (=../2) предикат пролога с методом объекта Logtalk в качестве параметра? Рассмотрим этот код: baz(foo(X)) :- write(predicate), write(X), nl. run :- Term =.. [baz, foo(testfoo)], write(Term), nl, Term,nl, TermLgt =.. [bar::ba…
01 окт '15 в 11:46
1
ответ
Количество объектов в Logtalk
У меня есть протокол: :- protocol(person). :- public([name/1, age/1]). :- end_protocol. Например, я сделал неизвестное количество объектов с помощью create_object/4как я могу получить их несколько? Это не проблема, чтобы получить их имена по current…
07 янв '19 в 02:37
1
ответ
Logtalk: meta::map, лямбда-выражение и доступ к приватному методу
Я думаю, что это проблема, связанная с объемом. Если у меня есть правило для моего объекта, как это: :- public(new/2). :- mode(new(+list, -object_identifier), one). new(Args, Instance) :- self(Self), create_object(Instance, [instantiates(Self)], [],…
27 фев '12 в 06:21
1
ответ
Logtalk и XPCE
Может ли приложение быть разработано с использованием XPCE и Logtalk, или системы классов каким-то образом несовместимы?
23 май '11 в 09:13
1
ответ
Срок расширения рабочих процессов
Я добавляю поддержку библиотеки для общих рабочих процессов раскрытия терминов (1). В настоящее время я определил "рабочий" рабочий процесс, в котором наборы правил раскрытия терминов (2) пробуются до тех пор, пока одно из них не выполнится успешно,…
16 ноя '15 в 15:13
3
ответа
Метод Logtalk вызывает оптимизацию производительности
Во время игры с Logtalk, кажется, моя программа дольше выполнялась с объектом Logtalk по сравнению с простым Prolog. Я провел тест, сравнивая выполнение простого предиката в простом Prolog с эквивалентом инкапсуляции объекта logtalk ниже: %% % plain…
26 сен '15 в 16:39
1
ответ
Доступ к библиотекам SWI-Prolog из Logtalk
Я получаю много удовольствия от использования Logtalk, но столкнулся с проблемой, используя phrase_from_file, В частности, мой случай выглядит примерно так: :- object(scan_parser). :- public(scanlist//1). scanlist([Scan|Scans]) --> scan(Scan), dc…
15 май '13 в 16:49
2
ответа
Prolog SWI: Logtalk, Как мне загрузить мои собственные файлы проекта?
Поэтому на этой неделе я установил Logtalk, одно из расширений для Пролога. В этом случае я использую Prolog SWI и столкнулся с небольшим затруднением. Я не уверен, как на самом деле консультироваться с моими собственными проектами, используя Logtal…
29 мар '13 в 15:53
1
ответ
Integer как object_identifier в Logtalk
У меня есть протокол студентов: :- protocol(student). :- public([ name/1, surname/1, studies/1, marks/1 ]). :- end_protocol. Теперь я хочу сделать объект, имя которого является идентификатором (целое число), но когда я пытаюсь сделать это с create_o…
19 дек '18 в 07:48
1
ответ
Имя объекта как переменная в Logtalk
Возможно ли получить имя объекта как переменную? Я пытаюсь создать базу данных, где каждый объект представляет каждого человека. У меня есть объекты с [имя /1, фамилия /1], но когда я спрашиваю, например, X:: имя (джон). это дает мне ошибку. Ofc нет…
17 дек '18 в 08:55
3
ответа
Столкновение звездных объектов с помощью мультиметодов в OO Prolog?
Интересно, как можно объединить объединение и ОО в Прологе? Я хотел бы реализовать мультиметодическую рассылку для объектов термина. Без терминологических объектов и простых терминов я бы сделал следующее и мог бы извлечь выгоду из много аргументной…
23 янв '16 в 14:42
0
ответов
Поведение мета-предикатов `foldl1/3` и`foldr1/3` в пустых списках
Ищу совет. Я добавляю foldl1/3 а также foldr1/3 мета-предикаты для библиотеки Logtalk. Их можно легко определить: foldl1(Closure, [Head| Tail], Result) :- foldl(Closure, Head, Tail, Result). foldr1(Closure, [Head| Tail], Result) :- foldr1_(Tail, Hea…
02 дек '15 в 00:00
1
ответ
Не удалось загрузить библиотеку с помощью logtalk_load с использованием logtalk 3.0.0.1
Я использую SWI Prolog как поддерживаемый компилятор (v 6.6.1). После установки logtalk 3.0.0.1 Я начал получать ошибку, когда logtalk_load(библиотека (types_loader), [source_data (on), report (on)]). % [c: /users/dizqj373/documents/logtalk/library/…
21 май '15 в 08:46
1
ответ
Logtalk: загрузка файла с именами верблюдов в Windows
С logtalk 3.1.2, в OS X и Linux, нет проблем с загрузкой файла с именем верблюда, но в Windows выдается исключение (ERROR : file does not exist). logtalk_load(mypath(myFileNameInCameCase)) В чем дело?
28 окт '15 в 09:20
1
ответ
Logtalk - сбой logtalk_load
Я использую swi пролог, и только что установил logtalk.Когда я вызываю logtalk_load с некоторыми примерами проектов, он всегда возвращает false. % library(win_menu) compiled into win_menu 0.00 sec, 29 clauses % C:\Logtalk/configs/swi.pl compiled 0.0…
21 мар '13 в 18:00
1
ответ
swi prolog 8.0.2: gziped http
Я пытался заставить работать кусок кода, который открывает http-соединение. Тем не менее, веб-страница может быть передана в виде простого текста или gziped. В результате код с прагматизмом пытается открыть как обычный текст, и, если он терпит неуда…
10 мар '19 в 23:23
1
ответ
Использование функции тайм-аута Logtalk для тестирования файлов пролога SWI
Это следующий пост, связанный с использованием сценария Bash для автоматизации тестирования файла пролога. Теперь, когда у меня эффективно реализовано тестирование, я хочу добавить в тесты значения тайм-аута, чтобы, если конкретный случай занимает с…
30 июл '21 в 06:09