|
1 / 1 / 1
Регистрация: 28.06.2016
Сообщений: 58
|
|
Проверка правильности работы программы на прологе17.02.2017, 17:02. Показов 2111. Ответов 14
Метки нет (Все метки)
Возникла проблема. По сети получаю файл с текстом программы на прологе. Необходимо проверить работоспособность и правильность составления программы. Можно ли такое реализовать, если да то дайте совет или где почитать. Спасибо.
0
|
|
( Лучшие ответы (1)
| 17.02.2017, 17:02 | |
|
Ответы с готовыми решениями:
14
Проверка правильности написания программы |
|
Супер-модератор
  
|
|
| 17.02.2017, 20:08 | |
|
Смотря, какой Пролог. Есть хороший сайт с онлайн-компиляторами: http://ideone.com
0
|
|
|
1 / 1 / 1
Регистрация: 28.06.2016
Сообщений: 58
|
|
| 18.02.2017, 00:36 [ТС] | |
|
Спасибо за сайт.
Ну а по поводу проблемы, это возможно сделать? Если да то с каким прологом. Спасибо
0
|
|
Сообщение от piji4eg
|
1 / 1 / 1
Регистрация: 28.06.2016
Сообщений: 58
|
|
| 18.02.2017, 16:47 [ТС] | |
|
А можно ли использовать как то локально среду пролог?
Например, на сайте пользователь каким то образом (пока не знаю каким) составляет код программы и на той же машине этот код передать в среду пролог и проверить правильность данного кода И второй вопрос, что если придет вредоносный код в виде вируса или другого чего либо, как организовать защиту Спасибо.
0
|
|
|
Супер-модератор
|
|
| 19.02.2017, 09:03 | |
|
Вирус на Прологе - крайне маловероятное явление. А что означает "можно ли использовать как то локально среду пролог"? Я не понимаю вопроса. Ну поставьте себе Пролог и используйте.
0
|
|
|
1 / 1 / 1
Регистрация: 28.06.2016
Сообщений: 58
|
|
| 19.02.2017, 15:12 [ТС] | |
|
Дело в том что я хочу сделать сайт на котором будет писаться код программы. Вот этот код нужно где то потом проверить на правильность и выдать какой либо результат тому кто его будет писать.
Как это можно сделать.
0
|
|
|
1 / 1 / 1
Регистрация: 28.06.2016
Сообщений: 58
|
|
| 20.02.2017, 12:32 [ТС] | |
|
Да что то на подобие нее, но только в виде интерактивной модели.
Может будут идеи какие то как это реализовать)) Спасибо
0
|
|
|
1 / 1 / 1
Регистрация: 28.06.2016
Сообщений: 58
|
|
| 20.02.2017, 16:46 [ТС] | |
|
В идеале хотелось бы сделать так.
0
|
|
|
Супер-модератор
|
|
| 21.02.2017, 09:58 | |
|
Рекомендую swi-пролог. Но его придется "подружить" с web-сервером
Добавлено через 10 минут Загляни Есть ли с этого языка интерпретатор online?
0
|
|
|
1 / 1 / 1
Регистрация: 28.06.2016
Сообщений: 58
|
|
| 21.02.2017, 11:29 [ТС] | |
|
Спасибо)
А вот интересен сам процесс "подружить". По конкретнее можете что то сказать?
0
|
|
798 / 601 / 158
Регистрация: 07.10.2013
Сообщений: 1,330
|
|
| 22.02.2017, 11:35 | |
 Сообщение было отмечено Catstail как решение
Решение
Tutorial — Creating Web Applications in SWI-Prolog
Добавлено через 2 минуты Pengines: Web Logic Programming Made Easy Добавлено через 2 минуты Pengines
2
|
|
| 22.02.2017, 14:08 | |
|
arlat, за первую ссылку спасибо. В свое время все что описано в статье приходилось самому узнавать и постигать.
Это было два тяжелых месяца веб программирования на прологе. Хорошо что кто-то запилил статью!
0
|
|
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
| 22.02.2017, 14:08 | |
|
Помогаю со студенческими работами здесь
15
Проверка правильности php программы Проверка правильности расстановки скобок в тесте программы Проверка работы программы Проверка работы программы Проверка работы программы Искать еще темы с ответами Или воспользуйтесь поиском по форуму: |
|
Новые блоги и статьи
|
|||
|
Инструменты COM: Сохранение данный из VARIANT в файл и загрузка из файла в VARIANT
bedvit 28.01.2026
Сохранение базовых типов COM и массивов (одномерных или двухмерных) любой вложенности (деревья) в файл, с возможностью выбора алгоритмов сжатия и шифрования.
Часть библиотеки BedvitCOM
Использованы. . .
|
Киев стоит - украинская песня
zorxor 28.01.2026
wfWdiRqdTxc
О Господи, Вечный, Ты . . .
Я помоги, Бесконечный. . .
Я прошу Ты. . .
Я погибаю, спаси. . .
Я прошу Тебя Вечный. . .
|
Загрузка PNG с альфа-каналом на SDL3 для Android: с помощью SDL_LoadPNG (без SDL3_image)
8Observer8 28.01.2026
Содержание блога
SDL3 имеет собственные средства для загрузки и отображения PNG-файлов с альфа-каналом и базовой работы с ними. В этой инструкции используется функция SDL_LoadPNG(), которая. . .
|
Загрузка PNG с альфа-каналом на SDL3 для Android: с помощью SDL3_image
8Observer8 27.01.2026
Содержание блога
SDL3_image - это библиотека для загрузки и работы с изображениями. Эта пошаговая инструкция покажет, как загрузить и вывести на экран смартфона картинку с альфа-каналом, то есть с. . .
|
|
влияние грибов на сукцессию
anaschu 26.01.2026
Бифуркационные изменения массы гриба происходят тогда, когда мы уменьшаем массу компоста в 10 раз, а скорость прироста биомассы уменьшаем в три раза. Скорость прироста биомассы может уменьшаться за. . .
|
Воспроизведение звукового файла с помощью SDL3_mixer при касании экрана Android
8Observer8 26.01.2026
Содержание блога
SDL3_mixer - это библиотека я для воспроизведения аудио. В отличие от инструкции по добавлению текста код по проигрыванию звука уже содержится в шаблоне примера. Нужно только. . .
|
Установка Android SDK, NDK, JDK, CMake и т.д.
8Observer8 25.01.2026
Содержание блога
Перейдите по ссылке: https:/ / developer. android. com/ studio и в самом низу страницы кликните по архиву "commandlinetools-win-xxxxxx_latest. zip"
Извлеките архив и вы увидите. . .
|
Вывод текста со шрифтом TTF на Android с помощью библиотеки SDL3_ttf
8Observer8 25.01.2026
Содержание блога
Если у вас не установлены Android SDK, NDK, JDK, и т. д. то сделайте это по следующей инструкции: Установка Android SDK, NDK, JDK, CMake и т. д.
Сборка примера
Скачайте. . .
|
Наверх