sicstus-prolog

2La chaleur

1Répondre

SICStus Prolog: statistiques/2 valeurs affectées par JIT

Mise à jour: Tel que rapporté par @PerMildner, la question ci-dessous (. Présent avec SICStus Prolog 4.3) a disparu avec la nouvelle SICStus Prolog 4.3. ! Way to go! J'utilise SICStus Prolog 4.3.2 et

3La chaleur

1Répondre

Alternative SICStus Prolog IFF SP_define_c_predicate()

Je collé le SICStus Prolog 4.3.3 SP_define_c_predicate() échantillon est-— et ... a échoué: $ /usr/local/sicstus4.3.3/bin/splfr square.pl square.c square.c: In function ‘square_it’: square.c:7:3:

1La chaleur

1Répondre

comment puis-je ajouter des informations de version au fichier .exe de construction en utilisant spld SICStus

J'ai le programme batch suivant qui est utilisé pour construire mon programme Prolog. set /p VERSION="Enter Version:" call "c:\Program Files (x86)\SICStus Prolog VC12 4.3.2\bin\sicstus.exe" -l build_

1La chaleur

1Répondre

filtrage des résultats aléatoires de résultat maplist/3

Je souhaite filtrer cette liste List=['F1',a1,a2,' LF2',a1,a2] avec prédicat is_upper/2 et maplist/3 ci-dessous is_upper(Elem,Res): si Elem est un atome majuscule, il sera attribué à Res puis i J'aime

4La chaleur

1Répondre

équivalent de nvalue/2 de SICStus dans SWIProlog

Le manuel SICStus pour la bibliothèque CLP (FD) dit: nvalue(?N, +Variables) où Variables est une liste de variables de domaine avec des limites finies ou entiers, et N est un entier ou une variable de

0La chaleur

1Répondre

convertir la chaîne de commentaire en une liste de caractères ASCII dans sicstus-prolog

Actuellement je travaille sur la comparaison entre SICStus3 et SICStus4 mais j'ai un problème qui est SICStus4 ne consultera aucun cas où la chaîne de commentaire a des contrôles de transport ou des c

3La chaleur

1Répondre

SICStus Prolog: Trouver toutes les solutions

Existe-t-il un moyen de montrer toutes les solutions et/ou de trouver combien il y a de prolog SICSTus? Par exemple, le code ci-dessous peut être utilisé pour résoudre le problème de coloration de la

3La chaleur

1Répondre

Prolog: test si bit est défini

J'utilise des entiers de précision arbitraire pour représenter des vecteurs de bits denses — allant de la taille d'une douzaine jusqu'à quelques milliers. Mon code a souvent besoin de vérifier si cert

0La chaleur

1Répondre

Erreur lors de la compilation de Prolog dans SICStus à l'aide de SPIDER IDE

Je viens d'installer SICStus Prolog et le plugin SPIDER IDE pour Eclipse. SPIDER a été installé en utilisant le site de mise à jour, et j'ai défini le chemin d'installation de SICStus dans les préfére