Запитання з тегом «prolog»

Чи є чітка довідка з псевдокодом про те, як реалізувати інтерпретатор Prolog чисто функціональною мовою? Те, що я виявив поки що, мабуть, стосується лише імперативних мов, є лише демонстрацією Prolog, реалізованого саме по собі, або не пропонує конкретного алгоритму, який би використовувався для інтерпретації. Я б дуже вдячний за відповідь.

25 functional-programming  prolog  logic-programming 

Чи вирішені проблеми "відвідування партії" в Prolog? Наприклад: Бердок Малдун та Карлотта Пінкстоун сказали, що приїдуть, якщо приїде Альбус Дамблдор. Альбус Дамблдор і Дейзі Доддрідж заявили, що приїдуть, якщо приїде Карлотта Пінкстоун. Альбус Дамблдор, Бердок Малдун і Карлотта Пінкстоун всі сказали, що приїдуть, якщо приїде Ельфріда Клагг. Карлотта Пінкстоун та …

18 logic  constraint-programming  prolog  logic-programming 

Я знаю, що це можна довести, що PROLOG є Тюрінг-завершеним, створивши програму, яка імітує машину Тьюрінга на зразок цього: turing(Tape0, Tape) :- perform(q0, [], Ls, Tape0, Rs), reverse(Ls, Ls1), append(Ls1, Rs, Tape). perform(qf, Ls, Ls, Rs, Rs) :- !. perform(Q0, Ls0, Ls, Rs0, Rs) :- symbol(Rs0, Sym, RsRest), once(rule(Q0, Sym, …

15 programming-languages  turing-completeness  logic-programming  prolog