logtalk

1зной

1ответ

Не удалось загрузить библиотеку с помощью logtalk_load с помощью logtalk 3.0.0.1

В качестве резервного компилятора я использую SWI Prolog (v 6.6.1). После установки logtalk 3.0.0.1 я начал получать ошибку при logtalk_load(library(types_loader), [source_data(on), report(on)]). % [

swi-prolog logtalk 2015-05-21

---

1зной

1ответ

Logtalk - logtalk_load failed

Я использую swi proog и только что установил logtalk. Когда я вызываю logtalk_load с некоторыми примерами проектов, он всегда возвращает false. % library(win_menu) compiled into win_menu 0.00 sec, 29

swi-prolog logtalk 2013-03-21

---

0зной

1ответ

Доступ к библиотекам SWI-Prolog из Logtalk

Мне очень нравится использовать Logtalk, но столкнулся с проблемой, используя phrase_from_file. В частности, мое дело выглядит примерно так: :- object(scan_parser). :- public(scanlist//1).

prolog dcg logtalk 2013-05-15

---

1зной

1ответ

Logtalk: Загрузите файл с именем camelcase в Windows

С logtalk 3.1.2, в OS X и Linux, нет проблем с загрузкой файла с именем camelcase, но исключение вызывается в Windows (ERROR : file does not exist). logtalk_load(mypath(myFileNameInCameCase)) Что сл

logtalk 2015-10-28

---

1зной

2ответ

Prolog SWI: Logtalk, Как загрузить мои собственные файлы проектов?

, так что эта неделя состояла из меня, устанавливая Logtalk, одно из расширений для Prolog. В этом случае я использую Prolog SWI, и я столкнулся с небольшой проблемой. Я не уверен, как реально проконс

loading swi-prolog logtalk 2013-03-29

---

3зной

1ответ

Logtalk: meta :: map, выражение lambda и доступ к закрытому методу

Я думаю, что это проблема, связанная с областью. Если у меня есть правило на моем объекте, как это: :- public(new/2). :- mode(new(+list, -object_identifier), one). new(Args, Instance) :- self(S

logtalk 2012-02-27

---

3зной

2ответ

Logtalk: какой лучший способ запустить все тестовые комплекты?

В примерах кода Logtalk каждый пример предоставляет собственный набор тестов, который запускается в автономном режиме (один тестовый набор за один раз). Но, как говорит название, я заинтересован в луч

swi-prolog logtalk 2015-11-02

---

4зной

1ответ

Рабочие процессы с расширенным расширением

Я добавляю библиотечную поддержку для общих рабочих процессов расширения терминов (1). В настоящее время я определил «заданный» рабочий процесс, когда набор правил расширения термина (2) проверяется д

prolog logtalk 2015-11-16

---

1зной

1ответ

Использовать предикат Proiv с помощью метода объекта Logtalk в качестве параметра

Как использовать предикат пролога до Univ? С использованием метода объекта Logtalk? Рассмотрим этот код: baz(foo(X)) :- write(predicate), write(X), nl. run :- Term =.. [baz, foo(testfoo)],

prolog logtalk 2015-10-01

---