Resultados da pesquisa

* [[Special:MyLanguage/:Categoria:Sobre|Sobre este Wiki]]

Eles estão sempre encrencando conosco sobre uma coisa ou outra. Fale mais sobre sua mãe.

* [[Special:MyLanguage/:Categoria:Sobre|About this Wiki]]

...i usado como notas para parte de um curso teórico de ciência da computação sobre raciocínio automatizado em nível de mestrado entre 1995 e 2001. Presumiu-

* Noções sobre Compiladores

...A situação básica envolve blocos em uma mesa. Os blocos individuais estão sobre a mesa ou podem ser empilhados em cima de outros blocos. Apenas um bloco ca ...ual do mundo dos blocos é registrado. O resto do programa envolverá regras sobre como realizar várias tarefas envolvendo o mundo dos blocos. Conforme as me

...no de fixação auxiliar. Em nenhum momento um disco maior pode ser colocado sobre um disco menor. O diagrama a seguir descreve a configuração inicial para

[[Categoria:Sobre]]

O site do SWI-Prolog contém muitas informações sobre o SWI-Prolog, uma área de download e documentação. A manutenção do SWI ...da abrangentes. Esta ajuda é indexada e orienta o usuário. Para saber mais sobre isso, tente

...nificação|Capítulo 3]] Como o Prolog Funciona', e depois retornar para ler sobre outros exemplos de programas. Será necessário entender como funciona a m�

...opriedades. A lógica computacional pode especificar diagramas e raciocinar sobre eles. A aparência visual de tal diagrama é expressa usando lógica factua A ''lógica factual'' de um diagrama descreve fatos sobre aquele diagrama específico. Primeiramente, esses são os fatos da aparênc

...a consequência do programa, como seria de se esperar. Teremos mais a dizer sobre as árvores de cláusulas do programa nas seções subsequentes.

...orientado a falhas. O problema envolve a observação que acabamos de fazer sobre a árvore de cláusulas: a árvore captura o significado do programa, mostr

...rais que são, elas mesmas, consequências do programa. Teremos mais a dizer sobre as árvores de cláusulas posteriormente. Indicamos que as árvores de clá

...abreviação de PROgramming in LOGic. A herança da Prolog inclui a pesquisa sobre provadores de teoremas e outros sistemas de dedução automatizados desenvo Para excelentes notas históricas sobre Prolog e processamento de linguagem natural usando Prolog, é recomendado o

...iples of Artificial Intelligence, Tioga, 1980.</ref> tem uma boa discussão sobre a busca-αβ e usa o jogo da velha como um exemplo motivador.

<center>Esta seção sobre meta-interpretadores serve como uma introdução aos meta-interpretadores m

E sobre a eficiência desta versão? Compare-o com o 'reverse' fornecido acima.

...original, uma vez que cada par de caracteres contém um pouco de informação sobre a ordem original.