L'informatique prolog

2

Comment implémenter un interpréteur prologue dans un langage purement fonctionnel?

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 algorithme concret à utiliser pour l'interprétation. J'apprécierais …

25 functional-programming prolog logic-programming

4

Les problèmes de satisfaction des contraintes peuvent-ils être résolus avec Prolog?

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 Pinkstone venait. Albus Dumbledore, Burdock Muldoon et …

18 logic constraint-programming prolog logic-programming

2

Qu'est-ce qui rend PROLOG Turing complet?

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) :- symbol(Rs0, Sym, …

15 programming-languages turing-completeness logic-programming prolog

3

À quelle fréquence Prolog / ASP est-il utilisé dans des domaines autres que la recherche?

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 …

9 prolog

Questions marquées «prolog»