prolog

0La chaleur

1Répondre

Prolog - valeur de retour de cas de base

Ok, voici l'affaire: J'ai deux piles de chemises Je veux prendre une chemise au hasard de chaque pile et les mettre dans une nouvelle pile obtenez alors la nouvelle pile sur Et voici le code: mix([],[

2La chaleur

1Répondre

Utilisation de prolog pour la sortie dans bash shell

J'essaye d'appeler un programme prologue et de recevoir une sortie dans mon script bash. Actuellement, j'utilise la version extrêmement grossière de halt (0) ou halt (1), puis j'examine le code de sor

2La chaleur

2Répondre

Manipulation Logiquement Listes

J'ai un grand nombre de faits dans mon programme, la liste des développeurs et des concepteurs dans une entreprise, ainsi que des projets précédents, comme si .. % project(Project Name,Year) project(

7La chaleur

2Répondre

Affirmation de règle dynamique dans SWI-prolog

J'essaie d'ajouter dynamiquement une règle à la base de connaissances en utilisant SWI-prolog où le corps de la règle est inconnu auparavant. La règle souhaitée ressemble à ceci: rule(a) :- fact(1), f

-1La chaleur

2Répondre

prédicats pour correspondre à la liste (toutes les possibilités) sans entiers en double, ont une longueur N, et être dans un domaine de 1 à N

Ceci est pour GNU Prolog Je vais avoir du mal à obtenir un certain prédicat travailler. Sa fonctionnalité est qu'il correspond à une liste d'entiers qui ont un domaine de 1 à N sans doublons et de lon

0La chaleur

1Répondre

Écrire dans un fichier binaire dans PROLOG

Je sais écrire des fichiers ordinaires, mais je n'ai trouvé aucune ressource sur le Web à propos des fichiers binaires dans Prolog. J'utilise Turbo Prolog.

1La chaleur

1Répondre

Prolog - Différence entre deux listes, mais

en utilisant le prédicat annonce de SWI-Prolog (ou prédicat de SICStus dans sa bibliothèque de liste), nous avons: lists:subtract([], _, []) :- !. lists:subtract([A|C], B, D) :- memberchk(A, B),

0La chaleur

1Répondre

Listes de prologues et manipulation de listes

J'essaye d'écrire un prédicat binaire pour prendre une liste, calculer le mod 5 pour chaque élément et le mettre dans une autre liste. Jusqu'à présent, je l'ai fait, mod5(X,L):- R = [], modhelper(R,L)

5La chaleur

2Répondre

SWI-Prolog et contraintes, bibliothèque CLP (FD)

Je joue avec des contraintes dans (swi) prolog en utilisant la bibliothèque clpfd. J'essaie d'identifier quand un ensemble de contraintes encapsule ou subsume l'autre, p. Ex. X < 4 encapsule X < 7 à c

8La chaleur

3Répondre

modèle correspondant à des variables équivalentes dans Haskell, comme dans Prolog

En Prolog, nous pouvons faire quelque chose comme ce qui suit: myFunction a (a:xs) = ... Ceci est, lorsque le 1er argument myFunction est le même que le premier élément de la liste C'est dans le 2èm