«logic-programming» 태그된 질문

순전히 기능적인 언어로 Prolog 인터프리터를 구현하는 방법에 대한 의사 코드와 함께 명확한 참조가 있습니까? 지금까지 내가 찾은 것은 명령형 언어만을 다루는 것처럼 보이거나, 그 자체로 구현 된 Prolog의 데모 일 뿐이며, 해석에 사용할 구체적인 알고리즘을 제공하지 않습니다. 나는 대답에 매우 감사하겠습니다.

25 functional-programming  prolog  logic-programming 

인가 "파티 참석" 문제의 유형은 프롤로그에서 해결 가능? 예를 들면 다음과 같습니다. 우엉 뮬둔과 카를로 타 핑크 스톤은 모두 알버스 덤블도어가 오면 올 것이라고 말했다. Albus Dumbledore와 Daisy Dodderidge는 Carlotta Pinkstone이 오면 올 것이라고 말했다. 엘프 리다 클래 그 (Alfrida Clagg)가 오면 알버스 덤블도어 (Albus Dumbledore), 우엉 뮬둔 (Burdock Muldoon), …

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, Q1, NewSym, …

15 programming-languages  turing-completeness  logic-programming  prolog