L'informatique logic-programming

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

1

Expressivité des expressions régulières modernes

J'ai récemment discuté avec un ami d'un site Web qui proposait des défis d'expression régulière, correspondant principalement à un groupe de mots avec une propriété spéciale. Il cherchait une expression régulière qui correspond à des chaînes comme ||||||||où le nombre de |est premier. Je lui ai immédiatement dit que ça …

9 formal-languages machine-models logic boolean-algebra xor cryptography algorithms machine-learning algorithms paging virtual-memory programming-languages object-oriented algorithms search-algorithms strings binary-search formal-grammars context-free algorithms algorithms correctness-proof greedy-algorithms permutations logic first-order-logic logic-programming algorithms complexity-theory computability programming-languages complexity-theory complexity-classes quantum-computing reductions formal-languages programming-languages semantics operational-semantics small-step-semantics sets first-order-logic computer-networks communication-protocols

2

Quel est l'état de l'art de la recherche encapsulée dans la programmation logique fonctionnelle?

Je suis particulièrement intéressé par les solutions au problème que la recherche encapsulée peut dépendre de l'ordre d'évaluation. Selon [1], la recherche encapsulée dans PAKCS dépend de l'ordre d'évaluation, tandis que dans MCC, elle ne le fait pas, mais son utilisation nécessite la connaissance de l'implémentation du compilateur et elle …

8 reference-request functional-programming nondeterminism logic-programming

Questions marquées «logic-programming»