2016-04-06 6 views
4

Вопрос: есть ли место с некоторыми программами, которые я могу проверить? Я говорю о стиле стиля розетты, но я пошел туда и увидел, что почти каждая программа решена с помощью не чистого синтаксиса пролога (с использованием разреза, используя IS, такого типа), что не помогает мне из-за моих требований к исследованиям.Источник чистых пролога небольших программ

Так есть ли какая-либо половина хорошего источника? Я говорю о небольших программах, таких как вставка элемента в заданное место и т. Д., Я нахожу, что узнаю больше, когда я могу проверить, правильно ли я делаю или нет.

Привет всем, Я изучаю пролог, ve найдено пролог Теперь! который помог мне узнать больше пролога в двух быстрых чтениях, чем через 2 месяца класса. Я даже решил несколько упражнений правильно, что было для меня неожиданностью. Поэтому я хочу сохранить этот трек (я выполнил многие упражнения до пятой главы, и я нашел пару githubs, где я могу проверить, близко ли я к решению, если мое решение пропускает случаи и т. Д.) заранее спасибо

За что стоит мне что-то вроде этого говорить, если бы он мог с более чем 3-х примеров лучше, но этот тип проблем

http://www.irisa.fr/prive/ridoux/ICLP91/node7.html#SECTION00031000000000000000

+0

Почему так важно, что нет разреза и т. Д.? –

+3

Мне сказали использовать чистый пролог синтаксиса для этой программы, а позже я предполагаю, что буду использовать его. Также потому, что, хотя я не могу решить проблему прямо сейчас, вполне вероятно, что тип операторов вообще не нужен. @WillemVanOnsem – keont

+2

SO - хорошее место для этого. Так что не нужно спрашивать. Просто взгляните на ответы. – false

ответ

0

Вы могли бы начать с изучения реализаций Пролога
для Пролога. Это обычные предикаты списка. Они указаны здесь:

пролог Пролог (рабочий проект)
Ульрих Neumerkel, 2012-09-06
https://www.complang.tuwien.ac.at/ulrich/iso-prolog/prologue

И вы найдете реализации в различных местах here
(GitHub SWI -Prolog) и here (GitHub Jekejeke Prolog).