Acesso mais rápido do que o navegador!
36 relações: Alain Colmerauer, Análise sintática (computação), Aridade, Backtracking, Banco de dados, Busca em profundidade, Cláusula de Horn, Computação da quinta geração, GNU Prolog, Gramática de cláusulas definidas, Inteligência artificial, Laço infinito, Lógica de primeira ordem, Linguagem, Linguagem de programação, Linguística computacional, Merge sort, Nó terminal da árvore, Negação por falha, Notação científica, Oz (linguagem de programação), Princípio da resolução, Programação declarativa, Programação imperativa, Programação lógica, Quicksort, Recursividade, Resolução, Sistema operativo, Subtraço, SWI-Prolog, Tipo de dado, Torre de Hanói, Unicode, Unificação, 1972.
Alain Colmerauer
Alain Colmerauer (Carcassonne, 24 de janeiro de 1941 Marselha, 12 de maio de 2017) foi um cientista da computação francês, que contribuiu para a criação da linguagem de programação Prolog.
Novo!!: Prolog e Alain Colmerauer · Veja mais »
Análise sintática (computação)
árvore da expressão Em ciência da computação e linguística, a análise sintática (do inglês: parsing) é um processo de um compilador (de uma linguagem de programação), é a segunda fase da compilação onde se analisa uma sequência que foi dada entrada (via um arquivo de computador ou via teclado, por exemplo) para verificar sua estrutura gramatical segundo uma determinada gramática formal.
Novo!!: Prolog e Análise sintática (computação) · Veja mais »
Aridade
Na matemática a aridade de uma função ou operação é o número de argumentos ou operandos tomados.
Novo!!: Prolog e Aridade · Veja mais »
Backtracking
Backtracking é um tipo de algoritmo que representa um refinamento da busca por força bruta, em que múltiplas soluções podem ser eliminadas sem serem explicitamente examinadas.
Novo!!: Prolog e Backtracking · Veja mais »
Banco de dados
são conjuntos de arquivos relacionados entre si, podendo conter registros sobre pessoas, lugares ou informações em geral.
Novo!!: Prolog e Banco de dados · Veja mais »
Busca em profundidade
Na teoria dos grafos, busca em profundidade (ou busca em profundidade-primeiro, também conhecido em inglês por Depth-First Search - DFS) é um algoritmo usado para realizar uma busca ou travessia numa árvore, estrutura de árvore ou grafo.
Novo!!: Prolog e Busca em profundidade · Veja mais »
Cláusula de Horn
Em lógica, uma cláusula de Horn é uma cláusula (disjunção de literais) com no máximo um literal positivo.
Novo!!: Prolog e Cláusula de Horn · Veja mais »
Computação da quinta geração
A computação da quinta geração ou computador da quinta geração, deve o seu nome a um projecto gigantesco de pesquisa governamental e industrial no Japão durante a década 80 do século XX.
Novo!!: Prolog e Computação da quinta geração · Veja mais »
GNU Prolog
GNU Prolog (também chamado gprolog) é um compilador e um ambiente de depuração interativo para Prolog, desenvolvido por, disponível para Unix e Windows.
Novo!!: Prolog e GNU Prolog · Veja mais »
Gramática de cláusulas definidas
Uma gramática de cláusulas definidas (Definite Clause Grammar - DCG) é um meio de expressar relações gramaticais.
Novo!!: Prolog e Gramática de cláusulas definidas · Veja mais »
Inteligência artificial
Inteligência artificial (de sigla: IA; do inglês: artificial intelligence, de sigla: AI) é um campo de estudo multidisciplinar que abrange varias áreas do conhecimento.
Novo!!: Prolog e Inteligência artificial · Veja mais »
Laço infinito
Um laço infinito é uma sequência de instruções em um programa de computador que repete infinitamente, ou porque não há condição de parada ou porque a condição existe mas nunca é atingida.
Novo!!: Prolog e Laço infinito · Veja mais »
Lógica de primeira ordem
A lógica de primeira ordem (LPO), conhecida também como cálculo de predicados de primeira ordem (CPPO), é um sistema lógico que estende a lógica proposicional (lógica sentencial) e que é estendida pela lógica de segunda ordem.
Novo!!: Prolog e Lógica de primeira ordem · Veja mais »
Linguagem
A linguagemAntônio Houaiss.
Novo!!: Prolog e Linguagem · Veja mais »
Linguagem de programação
C. A linguagem de programação é um método padronizado, formado por um conjunto de regras sintáticas e semânticas, de implementação de um código fonte - que pode ser compilado e transformado em um programa de computador, ou usado como script interpretado - que informará instruções de processamento ao computador.
Novo!!: Prolog e Linguagem de programação · Veja mais »
Linguística computacional
A Linguística Computacional ou Processamento de língua natural (PLN, em inglês Natural Language Processing, sigla NLP) é um campo multidisciplinar que envolve a Inteligência Artificial, a Informática, a Estatística e a Linguística e que se utiliza de processos computacionais para manipulação da linguagem humana.
Novo!!: Prolog e Linguística computacional · Veja mais »
Merge sort
O merge sort, ou ordenação por mistura, é um exemplo de algoritmo de ordenação por comparação do tipo dividir-para-conquistar.
Novo!!: Prolog e Merge sort · Veja mais »
Nó terminal da árvore
Em estrutura de dados, define-se nó como terminal de uma árvore quando, a partir de um determinado critério de busca, após percorrer-se a árvore torna-se necessário retornar aos nós anteriores para continuar a percorrer a árvore.
Novo!!: Prolog e Nó terminal da árvore · Veja mais »
Negação por falha
Negação por falha, é uma regra de inferência não-monotônica na programação em lógica, usada para derivar \mathrm~p (isto é, p não se verifica) da falha em derivar p. Note que \mathrm~p pode ser diferente do enunciado \neg p (negação lógica de p), dependendo da completude do algoritmo de inferência e assim, também do sistema lógico formal.
Novo!!: Prolog e Negação por falha · Veja mais »
Notação científica
Notação científica, é também denominada por padrão ou notação em forma exponencial, é uma forma de escrever números que acomoda valores demasiadamente grandes (100000000000) ou pequenos (0,00000000001) para serem convenientemente escritos em forma convencional.
Novo!!: Prolog e Notação científica · Veja mais »
Oz (linguagem de programação)
Oz é uma linguagem de programação multiparadigma, desenvolvida nos Laboratórios de Sistemas de Programação da Saarland University.
Novo!!: Prolog e Oz (linguagem de programação) · Veja mais »
Princípio da resolução
O princípio da resolução é uma regra de inferência que dá origem a uma técnica de demonstração por refutação para sentenças e inferências da lógica proposicional e da lógica de primeira ordem.
Novo!!: Prolog e Princípio da resolução · Veja mais »
Programação declarativa
Programação declarativa é um paradigma de programação baseado em programação funcional, programação lógica e programação restritiva.
Novo!!: Prolog e Programação declarativa · Veja mais »
Programação imperativa
Na ciência da computação, programação imperativa é um paradigma de programação de software que descreve a computação como ações, enunciados ou comandos que mudam o estado (variáveis) de um programa.
Novo!!: Prolog e Programação imperativa · Veja mais »
Programação lógica
Programação lógica é um paradigma de programação que faz uso da lógica matemática.
Novo!!: Prolog e Programação lógica · Veja mais »
Quicksort
O algoritmo quicksort é um método de ordenação muito rápido e eficiente, inventado por C.A.R. Hoare em 1960, quando visitou a Universidade de Moscovo como estudante.
Novo!!: Prolog e Quicksort · Veja mais »
Recursividade
Uma forma visual de recursão conhecida como ''efeito Droste''. Recursividade (em português europeu: Recorrência), é um termo geralmente usado para descrever o processo de repetição de um objeto de um jeito similar ao que já fora mostrado.
Novo!!: Prolog e Recursividade · Veja mais »
Resolução
Resolução pode referir-se a.
Novo!!: Prolog e Resolução · Veja mais »
Sistema operativo
é um programa ou um conjunto de programas cuja função é gerenciar os recursos do sistema (definir qual programa recebe atenção do processador, gerenciar memória, criar um sistema de arquivos, etc.), fornecendo uma interface entre o computador e o. Embora possa ser executado imediatamente após a máquina ser ligada, a maioria dos computadores pessoais de hoje o executa através de outro programa armazenado em uma memória não-volátil ROM chamado BIOS num processo chamado "bootstrapping", conceito em inglês usado para designar processos autossustentáveis, ou seja, capazes de prosseguirem sem ajuda externa.
Novo!!: Prolog e Sistema operativo · Veja mais »
Subtraço
O subtraço ou traço inferior, às vezes referido pelo termo da língua inglesa underscore, é o caractere ASCII de valor 95.
Novo!!: Prolog e Subtraço · Veja mais »
SWI-Prolog
SWI-Prolog é uma implementação em código aberto da linguagem de programação Prolog.
Novo!!: Prolog e SWI-Prolog · Veja mais »
Tipo de dado
Em ciência da computação tipos de variáveis ou dados é uma combinação de valores e de operações que uma variável pode executar, o que pode variar conforme o sistema operacional e a linguagem de computador.
Novo!!: Prolog e Tipo de dado · Veja mais »
Torre de Hanói
Um Modelo das Torres de Hanói Torre de Hanói é um quebra-cabeça que consiste em uma base contendo três pinos, em um dos quais são dispostos alguns discos uns sobre os outros, em ordem crescente de diâmetro, de cima para baixo.
Novo!!: Prolog e Torre de Hanói · Veja mais »
Unicode
Unicode é um padrão que permite aos computadores representar e manipular, de forma consistente, texto de qualquer sistema de escrita existente.
Novo!!: Prolog e Unicode · Veja mais »
Unificação
Unificação, em ciência da computação e na lógica, é um processo algorítmico de solução de equações entre expressões simbólicas.
Novo!!: Prolog e Unificação · Veja mais »
1972
Sem descrição
Novo!!: Prolog e 1972 · Veja mais »
