Resultados da pesquisa a pedido "prolog"
Comportamento contra-intuitivo de min_member / 2
min_member(-Min, + Lista) [http://www.swi-prolog.org/pldoc/man?predicate=min_member/2] Verdadeiro quando Min é o menor membro na ordem padrão de termos. Falha se a Lista estiver vazia. ?- min_member(3, [1,2,X]). X = 3.A explicação é obviamente ...
Testes de tipo mais seguro no Prolog
O ISO-Prolog (ISO / IEC 13211-1: 1995, incluindo Cor.1: 2007, Cor.2: 2012) ofereceOs seguintes [http://www.complang.tuwien.ac.at/ulrich/iso-prolog/prologue#status_quo] predicados internos para testar o tipo de um termo: 8.3 Teste de tipo1 var / ...
União de prólogo para A U B U C
Comecei a aprender o Prolog recentemente e não consigo resolver como fazer a união de três listas. Consegui fazer união de 2 listas: %element element(X,[X|_]). element(X,[_|Y]):- element(X,Y). %union union([],M,M). union([X|Y],L,S) :- ...
Ocorrência variável em uma lista de variáveis
Considere um predicado (meta-lógico)var_in_vars(Var, Vars) que pega uma variávelVar e uma lista de variáveisVars e consegue seVar ocorre emVars. Portanto, não precisamos garantir queVar é uma variável, nem queVars é uma lista de variáveis. Qual ...
Encontre o número máximo máximo em uma lista no prólogo
Estou tentando encontrar o número máximo em uma lista. Sei que existem várias soluções disponíveis on-line, mas sinto que a melhor maneira de aprender é implementar por conta própria. Eu escrevi o seguinte código: max([X],X). max([H|T],Res):- ( ...
Complexidade dos predicados do ISO Prolog
Existem garantias para os limites superiores na complexidade de tempo dos predicados padrão do Prolog? Por exemplo: é certo quesort(+List, ?SortedList) é executado no tempo O (nlog (n)) (n sendo o comprimento deList) em qualquer sistema Prolog ...
Generalizando a sequência de Fibonacci com o SICStus Prolog
Estou tentando encontrar uma solução para uma consulta em uma seqüência generalizada de Fibonacci (GFS). A consulta é: existe algum GFS que tenha 885 como seu 12º número? Os 2 números iniciais podem ser restritos entre 1 e 10. Eu já encontrei a ...
O que é um bom Prolog IDE para Linux? [fechadas]
Preciso escrever alguns programas Prolog para uma aula. Alguma recomendação?
Prolog: Encontrando todas as soluções
O título pode parecer uma moeda de dez centavos, mas não é. O objetivo deste programa é fazer essas aulas (necessidades) needs([[ece2090,1,m,13,16], [ece3520,1,tu,11,14], [ece4420,1,w,13,16]].e associe-os a assistentes de ensino universitário ...
Quais são as principais diferenças técnicas entre o Prolog e o miniKanren, com relação à programação lógica? [fechadas]
Quando eu quero ler sobre programação lógica, eu sempre tropeço em duas maneiras "principais" de fazer isso hoje em dia: miniKanren, uma minilíngua introduzida emO planejador racional [https://mitpress.mit.edu/books/reasoned-schemer]e popular no ...