Existe-t-il une référence claire, avec un pseudo-code, sur la façon d'implémenter un interpréteur Prolog dans un langage purement fonctionnel? Ce que j'ai trouvé jusqu'à présent semble ne concerner que les langages impératifs, n'est qu'une démonstration de Prolog implémenté en soi, ou n'offre aucun...
Est-ce que les problèmes de type "fréquentation des partis" sont résolus dans Prolog? Par exemple: Burdock Muldoon et Carlotta Pinkstone ont tous deux déclaré qu'ils viendraient si Albus Dumbledore venait. Albus Dumbledore et Daisy Dodderidge ont tous deux déclaré qu'ils viendraient si Carlotta...
Je sais qu'il peut être prouvé que PROLOG est Turing-complete en construisant un programme qui simule une machine de Turing comme ceci: 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) :-...
Je viens tout juste de découvrir KRR (représentation des connaissances et raisonnement) et ASP, sans en avoir entendu parler auparavant (sauf un peu sur prolog). J'ai lu un peu à leur sujet et l'un de leurs principaux usages semble être les IA. Ma question serait de savoir à quel point ASP ou...