clpfd

3La chaleur

3Répondre

Prolog: Reconnaître un langage^n b^(n + 1) pour n> = 1

Je comprends que j'ai besoin de comprendre mes propres devoirs, mais vu que personne dans la classe ne peut le comprendre, j'ai besoin d'aide. Ecrire un programme Prolog tel que p(X) est vrai si X est

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

3La chaleur

4Répondre

Calculer une liste de nombres impairs distincts (s'il en existe un), de sorte que leur somme soit égale à un nombre donné

:- use_module(library(clpfd)). % load constraint library % [constraint] Compute a list of distinct odd numbers (if one exists), such that their sum is equal to a given number. odd(Num) :- Num mod

3La chaleur

2Répondre

Unification - Infinité de résultats

Je développe (en Java), pour le plaisir, une application qui utilise un algorithme d'unification. J'ai choisi que mon algorithme d'unification renvoie toutes les unifications possibles. Par exemple, s

2La chaleur

2Répondre

Comprendre Prolog [liste]

Je suis d'écrire un programme qui fait cela: ?- pLeap(2,5,X,Y). X = 2, Y = 3 ; X = 3, Y = 4 ; X = 4, Y = 5 ; X = 5, Y = 5 ; false. (donne toutes les paires X, X + 1 entre 2 et 5, ainsi que

1La chaleur

1Répondre

opérateur de division entier dans Prolog

Ce code fait partie du programme que j'écris pour résoudre un puzzle cryptarithmatique dans prolog. Je résous cela en utilisant CLPFD (SICStus Prolog). J'obtiens une erreur lors de l'utilisation de l'

3La chaleur

1Répondre

ordonnancement des tâches à une seule ressource en utilisant Prolog

Je recherche par ici comme je pouvais et que j'ai trouvé quelques questions pertinentes, je ne pense pas qu'ils couvraient la question à: On suppose une seule ressource et liste connue des demandes po

4La chaleur

6Répondre

Généraliser la séquence de Fibonacci avec SICStus Prolog

J'essaie de trouver une solution pour une requête sur une séquence de Fibonacci généralisée (GFS). La question est la suivante: existe-t-il des GFS dont le numéro 12 est le 885? Les 2 premiers chiffre

6La chaleur

1Répondre

convertir float en entier dans prolog

Comment faire pour convertir float en entier dans prolog? J'ai essayé: ?- integer(truncate(sqrt(9))). false. ?- integer(round(sqrt(9))). false.

2La chaleur

2Répondre

prologue, test (X, Y, Z): - Y est X + Z

Comment obtenir Y et Z en prologue, quand je ne connais que X? Par exemple: test(X, Y, Z) :- X is Y + Z. mais l'erreur: ?- test(2, Y, Z). ERROR: is/2: Arguments are not sufficiently instantiated