Выполнение прологового кода на iPhone

Question

У меня в настоящее время есть необходимость выполнить пролог кода в приложении, которое я делаю. Я знаю, что Apple, вероятно, никогда не допустит что-то подобное в App Store, но это тоже не намерение. Это более частный проект, который никогда не достигнет App Store.

Назначение

В этом случае прологе используется для описания объекта (например, например, телефон) и его свойства. Объект будет нарисован с помощью OpenGL с использованием координат, указанных в прологовом скрипте. Причиной использования пролога является то, что мне нужна возможность запросить программу о некоторых функциях, которые этот объект имеет, и пролог облегчает это. Итог: мне «нужно» запросить пролог-скрипт из моего приложения.

Возможные решения

• Вставить уже существующей реализации написан на C. Я не уверен, если это будет даже работать.
• Выполнение прологового кода на другом компьютере и использование сети для запроса пролога.
• Кажется, что можно запустить какой-то Ruby VM внутри приложения (shinycocos использует это, насколько я понимаю), может ли это быть использовано для запуска одной из реализаций Ruby Prolog?
• Найдите альтернативу Prolog. Это должно дать мне некоторые из тех же возможностей, которые я получаю с прологом.

К сожалению, google дает мне близко к каким-либо результатам, поэтому у меня возникает ощущение, что я могу быть совсем одиноким в этом проекте. Если у кого-нибудь есть какой-либо опыт или ключ, я был бы очень благодарен.

Answer 1

Полгода спустя, я хотел бы просто дать вам некоторое представление об этом. Я закончил тем, что написал сервер с интерфейсом для пролога в Java, приняв пролог-вызовы через TCP. Он работает почти так же, как и интерпретатор пролог-пролога SWI-пролог (среди прочих), и в основном работает достаточно хорошо. Однако это далеко не оптимальное решение, так как вы не можете вызывать функции из внутреннего пролога. Вы теряете возможность иметь двустороннюю связь.

Если бы я начал все сначала, я бы, конечно, попытался скомпилировать одну из чистых реализаций C для iOS. Я быстро перешел, но мой недостаток опыта помешал мне даже удалить все ошибки, которые я получил. Судя по тому, что вы не можете пролог работать как фоновый процесс в немодифицированной версии iOS, необходимо выполнить некоторую серьезную переписку. Из-за этого нужно просто написать новую реализацию (возможно, вдохновленную некоторыми из более легких из них) с нуля, чтобы получить идеальное решение.

Answer 2

Вы можете скачать исходный код SWI-Prolog's и скомпилировать его с помощью XCODE для платформы iOS. Я никогда этого не делал, но это, безусловно, технически возможно.

Как только вы это сделаете, есть много примеров того, как запускать пролог-код с C/C++, следовательно, вы сможете запустить пролог из Objective-C.

Answer 3

Столкнувшись с подобными проблемами, вызывающими пролог-код, хотя и в другой ситуации, я бы рекомендовал проверить библиотеку ccor C++. Это позволяет вам написать код логической парадигмы в языке C++, не требуя расширения языка вообще. Поскольку castor представляет собой только библиотеку заголовков, ее легко компилировать везде, где доступен C++.
Сайт Castor: http://www.mpprogramming.com/cpp/default.aspx

Answer 4

FYI, вы можете довольно легко двунаправленным совершать звонки между Java и SWI-Prolog, если вы используете ЛРД:

http://www.swi-prolog.org/packages/jpl/

Он также полностью Реентрантная, так что вы можете создать экземпляр кода пролога из java, который, в свою очередь, создает код Java и т. д.

Я сделал это для ряда коммерческих проектов несколько лет назад, когда мне потребовалось подключить Prolog Based Reasoning Engine ко многим Java-кодам.

Он использует JNI (основной интерфейс Java), поэтому вам нужно быть осторожным в том, как вы компилируете и ссылаетесь на собственный api. Хотя, если вы скомпилируете его для каждой платформы, вы можете заставить ее работать на кросс-платформе. Я работал над OS-X, Windows, Linux & Solaris.