ir a principal | Ir a lateral

TecnoLife

  • Inicio
  • Fotos
  • Suporte

Etiquetas

  • Downloads (2)
  • Lucas Villar (2)
  • Material (1)
  • Nayane Getirana (1)
  • Valmon Gaudencio (4)

Colaboradores

  • Elisa Cravo
  • Keith
  • Nayane Getirana
  • Rogério P C do Nascimento, PhD
  • TecnoLife

Blog's Parceiros

  • :: Edu-blog FC | DCOMP | UFS
  • BitsBytes - Sistemas Numéricos
  • ByteCode
  • FC Logic
  • Infiltrados
  • Lost171
  • Over Clocking
  • Tome Byte
  • UPGRADE
  • Windows X Linux

Programação em lógica (wikipedia)

Postado por Nayane Getirana às 09:25

http://pt.wikipedia.org/wiki/Programa%C3%A7%C3%A3o_l%C3%B3gica
O que é Programação Lógica?


História
Lógica matemática
Prolog
Negação por falha
Implementação do Prolog
Limitações do uso da lógica matemática para a programação
Programação lógica concorrente
Programação de lógica de ordem superior
Programação lógica linear
Domínios das Aplicações

domingo, 22 de junho de 2008  

0 comentários:

Postar um comentário

Postagem mais recente Postagem mais antiga Página inicial
Assinar: Postar comentários (Atom)

Arquivo do Blog

  • ▼ 2008 (32)
    • ► agosto (7)
    • ▼ junho (4)
      • ALGUMAS LINGUAGENS LÓGICASPROLOGO Prolog é uma lin...
      • Programação em lógica (wikipedia)
      • Pré - SemináRio Paradigmas de Linguagem de Program...
      • LINGUAGENS DE PROGRAMAÇÃO VISTAS PELOSSEUS PARADIG...
    • ► maio (12)
    • ► abril (9)
Powered By Blogger

Diseño de ThaSlayer | A Blogger por Blog and Web