preguntar acerca de prolog

J'ai lu de nombreux articles essayant de comprendre la différence entre la programmation fonctionnelle et la programmation logique, mais la seule déduction que j'ai pu faire jusqu'à présent est que la programmation logique définit des programmes à tr …

Je suis un développeur python de longue date et j'ai récemment été introduit dans Prolog. J "aime le concept d" utiliser des règles de relation pour certains types de tâches, et je voudrais ajouter à mon répertoire. Existe-t-il de bonnes bibliothèq …

En ce moment, j'apprends à interfacer SICStus Prolog avec le code C. Je voudrais avoir / utiliser / voir une implémentation C de "poids Hamming" d'entiers de taille arbitraire dans SICStus Prolog version 4. Il me semble que j'ai besoin de fonctions …

j'essaie d'écrire un langage de requête de programmation logique jouet, basé sur diverses sources d'instruction dont SICP et L'Art de Prolog (AoP). Je suis juste de commencer à travailler sur mon premier croquis de l' algorithme d'unification l …

comme beaucoup de programmeurs J'ai étudié Prolog à l'université, mais très peu. Je comprends que Prolog et Datalog sont étroitement liés, mais Datalog est plus simple? En outre, je crois que J'ai lu que Datalog ne dépend pas de l'ordre des clauses …

lcs([ H|L1],[ H|L2],[H|Lcs]) :- !, lcs(L1,L2,Lcs). lcs([H1|L1],[H2|L2],Lcs):- lcs( L1 ,[H2|L2],Lcs1), lcs([H1|L1], L2 ,Lcs2), longest(Lcs1,Lcs2,Lcs), !. lcs(_,_,[]). longest(L1,L2,Longest) :- length(L1,Length1), …

j'aimerais inclure le code d'un autre fichier source. Personne ne sait comment faire cela? ... …

Les N-Reines Problème: ce problème indique qu'étant donné un échiquier de taille N par N, trouver les différentes permutations dans lesquelles N reines peut être placé sur l'échiquier sans aucune menace l'un l'autre. Ma question est:Quelle est la …

j'essaie de définir un prédicat adjacent(X, Y, Zs) c'est vrai si X et Y sont adjacents dans une liste. Mon code est actuellement ceci: adjacent(_, _, []). adjacent(X, Y, [X, Y|Tail]) :- adjacent(X,Y, Tail). Cela fonctionne pour le cas de base de …

Je ne trouve aucune documentation sur le signe "not equal" dans Visual Prolog. Veuillez fournir la solution de ce problème: class predicates sister : (string Person, string Sister) nondeterm(o,o). clauses sister(Person, Sister) : …