Resultados da pesquisa a pedido "logical-purity"
Que utilidade tem if_ / 3?
O predicadoif_/3 [https://stackoverflow.com/questions/27358456/prolog-union-for-a-u-b-u-c/27358600#27358600] parece serbastante popular [https://stackoverflow.com/search?q=%5Bprolog%5D+if_] entre os poucos colaboradores principais na parte Prolog ...
Pureza lógica de quando / 2 e terra / 1
A questã Tenho uma pergunta relacionada à pureza lógic Este programa é puro? when(ground(X), X > 2).Alguns [ir] detalhes relevantes sobre o contexto Estou tentando escrever predicados puros com boas propriedades de terminação. Por exemplo, ...
Usos declarativos do memberchk / 2
memberchk/2 é um predicado comumente definido em termos demember/2 igual a: memberchk(X, Xs) :- once(member(X, Xs)).Por conseguinte, consegue apenas a primeira resposta demember/2. Seu significado processual completo não se encaixa em uma ...
Características do bom código Prolog? [fechadas
Quais são as heurísticas de design que você precisa dominar para escrever um bom Prolog? Ouvi dizer que leva um programador experiente cerca de dois anos para se tornar proficiente em Prolog. Usar a recursão efetivamente faz parte disso, mas ...
O que se entende por "pureza lógica" em Prolog?
O que se entende por "pureza lógica" (no contexto da programação Prolog)? o pureza lógica [/questions/tagged/logical-purity]as informações da tag dizem"programas usando apenas cláusulas de Horn", mas como predicados ...