PROLOG
O Prolog é uma linguagem declarativa, significando que em vez de o programa estipular a maneira de chegar à solução, passo a passo, (como nas linguagens procedimentais ou imperativas), limita-se a fornecer uma descrição do problema que se pretende computar. Usa uma coleção base de dados de fatos e de relações lógicas (regras) que exprimem o domínio relacional do problema a resolver.
Um programa pode rodar num modo interativo, a partir de consultas (queries) formuladas pelo usuário, usando a base de dados (os 'fatos') e as regras relacionais (essencialmente implicações lógicas: se.. então), e o mecanismo de unificação para produzir (por uma cadeia de deduções lógicas) a solução.
O Prolog é baseado num subconjunto do cálculo de predicados de primeira ordem, o que é definido por cláusulas de Horn. A execução de um programa em Prolog é efetivamente a prova de um teorema por resolução de primeira ordem. Alguns conceitos fundamentais são unificação, recursão. e backtracking.
MERCURY
Mercury é uma nova linguagem de programação lógica/funcional puramente declarativa. Uma característica interessante dessa linguagem é a detecção de erros. Uma alta porcentagem de erros é detectada em tempo de compilação. Uma "suposta" vantagem (suposta pois não tivemos a oportunidade de comprová-la) é que suas implementações não são mais lentas do que outras escritas em linguagens estruturadas, o que costuma ocorrer com outras linguagens de programação lógica.
SPARCL
SPARCL é uma linguagem de programação lógica desenvolvida com o objetivo de integrar programação lógica, programação visual e programação modularizada. A implementação, que roda em Macintosh (versão 7.1 ou superior) é uma versão acadêmica, implementada apenas para demonstrar as possibilidades de uma linguagem de programação lógica com tais características.
Programação em lógica (wikipedia)
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
Pré - SemináRio Paradigmas de Linguagem de Programação.
Paradigmas De Linguagem De Programação.
From: hellsyboy, 7 minutes ago
SemináRio de Paradigmas De Linguagem De Programação - Universidade Federal De Sergipe_Ufs
SlideShare Link
LINGUAGENS DE PROGRAMAÇÃO VISTAS PELOS
SEUS PARADIGMAS
Por:
Maria Cecília Calani Baranauskas*
Principais pontos abordados:
OS "MEIOS" GERADOS PELOS PARADIGMAS DE PROGRAMAÇÃO
OS PARADIGMAS DESPERTADOS EM LOGO
A PROBLEMÁTICA DA "MISTURA" DE PARADIGMAS EM LOGO
O PARADIGMA DA PROGRAMAÇÃO EM LÓGICA E PROLOG
A PROBLEMÁTICA DA DUPLA SEMÂNTICA DE PROLOG
⋆ Propriedades desejáveis em uma LP ⋆
ઇઉ ઇઉ ઇઉ
......
o texto eh de Renato Mattos
Diretor de Desenvolvimento Foco Sistemas
E-mail: rjmattos@yahoo.com.br
⋆ ⋆ ⋆ ⋆ ⋆ ⋆ ⋆ ⋆ ⋆ ⋆ ⋆ ⋆ ⋆ ⋆ ⋆ ⋆
o link segue aí em baixo
e adivinha o conteúdo??
Propriedades Desejáveis em uma Linguagem de Programação
oO
http://www.linhadecodigo.com.br/Artigo.aspx?id=489
ah...
não esqueçam de olhar a proxima página não tah
(no final da página tem: 1 2 PRÓXIMA)
são 9 propriedades
bjooo * * *
by: elisaaaa
Programação em Java: linguagem, APIs, boas práticas e Eclipse.
Olá pessoal,
Postarei alguns materiais em .pdf hospedados no 4shared.com como de costume, sobre programação em Java.
Sendo assim uma das varias LPs que já foram citadas em outros poster's aqui mesmo no blog. E como em nossa apresentação em sala de aula não iremos explicar em foco cada linguagem por serem varias, façam o download dessas apostilas que são um ótimo material para estudo.
Como são 5 arquivos não irei postar todos agora...
OBJETIVOS DESSA APOSTILA:
1. Aprender a desenvolver programas em linguagem Java:
* utilizar os principais utilitários do kit de desenvolvimento para Java (JDK) versão 1.4.2.
* desenvolver interfaces gráficas em linguagem Java recorrendo aos packages AWT e Swing.
* conhecer e utilizar as principais funcionalidades disponíveis nos packages de colecções, entrada e saída de dados, acesso a dados de bases de dados e acesso a dados remotos.
2.Motivar os participantes para a adopção de boas práticas dedesenvolvimento de software:
* testes unitários, refactoring, padrões de desenho, revisão de código, documentação,
3.Utilizar o Eclipse como ambiente de desenvolvimento (IDE).
4.Consolidação dos conhecimentos transmitidos através da sua
aplicação na resolução de exercícios práticos.
Com bastantes exercicios e outros subtemas de: "O que é Java?", "Vantagens principais do Java", "Ambiente de segurança do Java", "Aplicações Java", "Conceitos básico do Java" e vários outros...
São 354 páginas que vale apena conferir.
Ps. Logo estarei postando as outras 4 apostilas que faltam, uma de cada vez.
;b
Por que estudar os conceitos de Linguagens de Programação (LPs) ?
Passeando pelo mágico mundo do Google,enconterei um arquivo que responde essa pergunta,
se você tem curiosidade em saber os motivos para estudar LPs, entre no link que está no final do post.
Nesse mesmo arquivo você também encontrará outros tópicos como:
- Domínios de Aplicação, que fala sobre onde se aplicam as LPs.
- Métodos de Implementação de Linguagens,que fala sobre como as LPs se comunicam com os computadores.
- Evolução das Principais LPs, como: FORTRAN, COBOL, BASIC, PASCAL, Delphi, JAVA, entre outras.
- E ao final você encontrará um tópico com a descrição geral dos seguintes tipos de LPs: Lógico, Funcional, Imperativo e Orientado a Objetos.
Não deixem de conferir!
link abaixo:
Assinar:
Postagens (Atom)
