Programação em Lógica - inf.ufsc.bralexandre.goncalves.silva/courses/17s2/ine5416/... · imediatas para problemas de programação dinâmica Prof. A. G. Silva (UFSC) Programação

Programaccedilatildeo em Loacutegica

Prof A G Silva

09-novembro-2017

Prof A G Silva (UFSC) Programaccedilatildeo em Loacutegica 09-novembro-2017 1 61

Interface do SWI-Prolog com Java C++ e Python

I Congure o PATH do sistema operacional incluindoltdiretoacuterio-instalaccedilatildeogtswiplbin

I Utilizar o jpljar da proacutepria distribuiccedilatildeo do SWI-Prolog emltdiretoacuterio-instalaccedilatildeogtswipllib

(documentaccedilatildeo emhttpwwwswi-prologorgpackagesjpljava_api)

I Adicionar JAR externoltdiretoacuterio-instalaccedilatildeogtswipllibjpljar

Para Eclipse por exemplo apoacutes criar o projeto clique em propriedades

e congure

Build Path rarr Congure Build Path rarr LibrariesAdd External JARsltdiretoacuterio-instalaccedilatildeogtswipllibjpljar

I Utilizar o libswipldlla da proacutepria distribuiccedilatildeo do SWI-Prolog emltdiretoacuterio-instalaccedilatildeogtswipllib

(documentaccedilatildeo em httpwwwswi-prologorgwindowshtml)

I Adicionar Include Directory ao projetoltdiretoacuterio-instalaccedilatildeogtswiplinclude

I Adicionar Library Directory ao projetoltdiretoacuterio-instalaccedilatildeogtswipllib

I Adicionar dependecircncialtdiretoacuterio-instalaccedilatildeogtswiplliblibswipldlla

Python

I Sugestatildeohttpscodegooglecomppyswip

I Instalaccedilatildeo no LinuxF Download

pyswip-023targzF Instalaccedilatildeo

tar zxvf pyswip-023targz

cd pyswip-023

sudo python setuppy install

Outras interfaces

Outras linguagens

I httpwwwswi-prologorgcontrib

Exemplo testepl

Sara Abraatildeo

Isaque Ismael

Esauacute Jacoacute

Joseacute

progenitor(saraisaque) progenitor(abraaoisaque)progenitor(abraaoismael)progenitor(isaqueesau)progenitor(isaquejaco)progenitor(jacojose)

mulher(sara)homem(abraao)homem(isaque)homem(ismael)homem(esau)homem(jaco)homem(jose)

filho(YX) - progenitor(XY)mae(XY) - progenitor(XY) mulher(X)avo(XZ) - progenitor(XY) progenitor(YZ)irmao(XY) - progenitor(ZX) progenitor(ZY)ancestral(XZ) - progenitor(XZ)ancestral(XZ) - progenitor(XY) ancestral(YZ)

Exemplo em Java

import jpl

import javalangSystem

import javautilHashtable

public class Main

public static void main(String[] args)

Query q1 = new Query(consult new Term[] new Atom(clocaltestepl))

Systemoutprintln(consult + (q1query() succeeded failed))

Query q2 = new Query(ancestral(X jose))

Hashtable[] solution = q2allSolutions()

if (solution = null)

for (int i = 0 i lt solutionlength i++)

Systemoutprintln(X = + solution[i]get(X))

Exemplo em Java

Ao executar o exemplo a saiacuteda deve ser

I consult succeeded

testepl compiled 000 sec 20 clauses

X = jaco

X = sara

X = abraao

X = isaque

Exemplo em C++

include ltSWI-cpphgt

include ltiostreamgt

using namespace std

int main()

char argv[] = swipldll -s clocaltestepl NULL

_putenv(SWI_HOME_DIR=cprogram files (x86)swipl)

PlEngine e(3argv)

PlTermv av(2)

av[1] = PlCompound(jose)

PlQuery q(ancestral av)

while (qnext_solution())

cout ltlt (char)av[0] ltlt endl

cinget()

return 1

Exemplo em C++ usando swipl-ld

include ltstdiohgt

include ltSWI-Prologhgt

int main(int argc char argv)

char plav[2] = teste NULL

if ( PL_initialise(1 plav) ) PL_halt(1) inicializacao do Prolog

predicate_t p_anc = PL_predicate(ancestral 2 database)

term_t t = PL_new_term_refs(2)

PL_put_atom_chars(t sara)

PL_put_atom_chars(t+1 jose)

qid_t query = PL_open_query(NULL PL_Q_NORMAL p_anc t)

int result = PL_next_solution(query)

while (result)

char x y

PL_get_atom_chars(t ampx)

PL_get_atom_chars(t+1 ampy)

printf(ancestral encontrado (s s)n x y)

result = PL_next_solution(query)

return 0

A compilaccedilatildeo deve ser feita da seguinte forma

swipl-ld -o teste testecpp testepl

ancestral encontrado (jaco jose)

ancestral encontrado (sara jose)

ancestral encontrado (abraao jose)

ancestral encontrado (isaque jose)

Exemplo em Python

from pyswip import Prolog

prolog = Prolog()

print dir(prolog)

prologconsult(testepl)

solutions = list( prologquery(ancestral(X jose)) )

print solutions

for s in solutions

print s[X]

Exemplo em Python

[_QueryWrapper __doc__ __module__

asserta assertz consult query]

[X jaco X sara

X abraao X isaque]

abraao

isaque

Exerciacutecios

1 Escolher uma linguagem com paradigma orientado a objetos (JavaC++ Python ou outra qualquer) e implementar a interface comSWI-Prolog usando o exemplo (testepl)

2 Estudar bibliotecas na linguagem escolhida para interaccedilotildees por meiode interface graacuteca

Picat uma linguagem de programaccedilatildeo em loacutegica e multiparadigma

Baseado no material de Claudio Cesar de Saacute Rogeacuterio Eduardo da Silva

Joatildeo Herique Faes Battisti e Paulo Victor de Aguiar

httpsgithubcomclaudiosaCCStreemasterpicat

Histoacuterico

Criada em 2013 por Neng-Fa Zhou e Jonathan Fruhman

Utiliza B-Prolog como base de implementaccedilatildeo e ambas utilizam aprogramaccedilatildeo em loacutegica (Loacutegica de Primeira Ordem)

Uma evoluccedilatildeo do Prolog apoacutes mais de 40 anos

Sua atual versatildeo eacute a 21 (6 de novembro de 2017)

O que eacute multiparadigma

Imperativo procedural

Funcional

Loacutegico

Uma boa mistura de Haskell Prolog e Python

Algumas caracteriacutesticas

Sintaxe elegante

Velocidade de execuccedilatildeo

Portabilidade

Extensatildeo

Ferramentas

Anacrocircnico de PICAT

P Pattern-matching utiliza o conceito de casamento depadrotildees (semelhante agrave unicaccedilatildeo)

I Intuitive oferece estruturas de decisatildeo atribuiccedilatildeo e laccedilos derepeticcedilatildeo anaacutelogo a outras linguagens de programaccedilatildeo

C Constraints suporta agrave programaccedilatildeo por restriccedilotildees

A Actors suporte a eventos (a ser implementado)

T Tabling implementa a teacutecnica de memoization com soluccedilotildeesimediatas para problemas de programaccedilatildeo dinacircmica

Layout

1 INE5416 Paradigmas de Programaccedilatildeo (Loacutegico)

2 Introduccedilatildeo

3 CaracteriacutesticasInstalaccedilatildeoWebIDEUsando o Picat

4 ExemplosOutros detalhes

5 Tipos de dadosTipos simplesTipos compostos

6 Conclusatildeo

Instalaccedilatildeo do Picat

Baixar a versatildeo desejada dehttppicat-langorgdownloadhtml

Descompactar Por exemplo em usrlocalPicat

Criar um link simboacutelico (Linux) ou atalhos (Windows)ln -s usrlocalPicatpicat usrbinpicat

Se quiser adicionar (opcional) uma variaacutevel de ambientePICATPATH=usrlocalPicat

export PICATPATH

Ou ainda adicione o caminhoPATH=$PATHusrlocalPicat

Finalmente tenha um editor de coacutedigo de programaSugestatildeo geany ou sublime

Escolha uma sintaxe padratildeo (sugestatildeo Erlang)

Layout

6 Conclusatildeo

WebIDE

httppicatretinaufscbrpicathtml

Figura Picat Online

Layout

6 Conclusatildeo

Usando o Picat

Picat eacute uma linguagem de multiplataforma disponiacutevel em diversossistemas operacionains

Seus arquivos fontes utilizam a extensatildeo pi

Existem dois modos de utilizaccedilatildeo do Picat linha de comando (ouconsole) e interativo

Interpretaccedilatildeo em maacutequina virtual (ainda natildeo haacute possibilidade decoacutedigos executaacuteveis stand-alone)

Fatos e regras

pai(platao luna) leia-se Platatildeo eacute o pai de Luna

pai(platao pericles) leia-se Platatildeo eacute o pai de Peacutericles

pai(epimenides platao) leia-se Soacutecrates eacute o pai de Platatildeo

middot middot middotCodicando em Picat

Regras em Picat I

1 FATOS - arvore geneologica

2 --------------------------

3 index(--)

4 pai(platao pericles )

5 pai(platao eratostenes )

6 pai(epimenides platao )

7 pai(bartolomeu epimenides )

9 REGRAS - exemplos

10 -----------------

11 definindo um avo pai do pai

12 avo(XY) =gt pai(XZ) pai(ZY)

14 definindo um irmao alguem que tenha o mesmo pai

15 irmao(XY) =gt pai(ZX) 1o a ser avaliado

16 pai(ZY) 2o a ser avaliado

17 X == Y

18 ==(X Y) 3o a ser avaliado

20 MAIS REGRAS

Regras em Picat II

21 -----------

23 listar_pais =gt =gt regra backtrackavel

24 pai(XY) and

25 printf(n ==gt w e pai de w X Y)

26 false

28 listar_pais =gt

29 printf(n )

30 true final da regra acima

32 listar_ant =gt

33 antepassado(XY)

34 printf(n ==gt w e ANTEPASSADO de w X Y)

35 false

37 listar_ant =gt

38 printf(n )

39 true

Regras em Picat III

42 main

43 ----

44 main =gt =gt

45 listar_pais

46 listar_ant

47 avo(XY) printf (n ==gt w eh avo de w X Y)

48 irmao(ZW) printf ( n ==gt w eh irmao de w Z W)

49 false

50 main =gt true

53 1 Todo x que eh pai de um y implica

54 em x ser um antepassado de y

56 QxQy (pai(xy) --gt antepassado(xy))

58 2 Todo x que eh pai de um z e z

59 eh um antepassado de y

60 entao x eh antepassado de y

62 QxQyQz (pai(xz) and antepassado(zy) --gt antepassado(xy))

Regras em Picat IV

64 EM PICAT - clausulas de HORN

67 antepassado(XY) =gt pai(XY)

68 antepassado(XY) =gt pai(XZ)

69 antepassado(ZY)

Layout

6 Conclusatildeo

Nuacutemero

Picatgt A = 5 B = 7 number(A) number(B) max(A B) =

Maximo min(A B) = Minimo

Maximo = 7

Minimo = 5

Atribuiccedilatildeo

Picatgt X = 7 X = X + 7 X = X + 7

X = 21

Estruturas de controle

1 teste =gt

2 X = 3

3 Y = 4

4 if (X gt= Y)

5 then

6 printf(n X eh maior dn X)

7 else

8 printf(n senao Y eh maior dn Y)

Entradas e saiacutedas

1 main =gt

2 printf(n Digite dois numeros )

3 N_real_01 = read_real()

5 Media = (N_real_01 + N_real_02) 2

6 printf( A media eh 64f Media )

7 printf(n FIM n )

Contexto dos tipos de dados

Lembrar que predicados apresentam valores V (yes) ou F (no) efunccedilotildees retornam valores

Funccedilotildees em Picat satildeo anaacutelogas a funccedilotildees das linguagens deprogramaccedilatildeo claacutessicas

Predicados satildeo anaacutelogos agraves linguagens de loacutegica primeira ordem(Prolog e suas derivaccedilotildees)

Tipos de dados

Figura Hierarquia dos tipos de dados

Layout

6 Conclusatildeo

Variaacutevel

Em Picat comeccedilam por letras MAIUacuteSCULAS Ex VelocidadeTEMPO etc

Como na matemaacutetica armazenam valores outras variaacuteveis estruturascomplexas etc

Diferente de outras linguagens natildeo possuem endereccedilo de memoacuteria xo

A variaacutevel estaacute instanciada (bound) ou estaacute livre (free)

Uma vez instanciada permanece com um determinado valor nachamada corrente

Exemplo de variaacutevel I

X = 34 println(xzinho = X)

X = 34 Y = 34 Z = X + Y

X = 34 println(xzinho = X) X = 17 println(xzinho =

Mas X = 34 X = 17 println(xzinho = X)

logo X = 34 eacute diferente de X = 34

Assim cuidar em Picat no caso de

I = eacute o operador de unicaccedilatildeo ou casamento de variaacuteveis livresI = eacute a atribuiccedilatildeo das linguagens claacutessicasI == eacute a comparaccedilatildeo entre dois termos

Exemplo de variaacutevel II

Predicado uacutetil bind_vars(XYZ 56789)

X = 56789000000000001Y = 56789000000000001Z = 56789000000000001yes

Igualmente X = 23456 copy_term(X) = Y

X = 234560000000000002Y = 234560000000000002yesrArr Caso X se encontre unicado (venha com um casamento depadratildeo) e se deseja alguma modicaccedilatildeo a partir de X Entatildeo realiza-seuma coacutepia do mesmo para uma variaacutevel temporaacuteria Y e modica-se Y

Exemplo de variaacutevel III

Pode-se utilizar tambeacutem o bind_varsX = 32101 bind_vars(Y X) Y= Y + 321X = 321009999999999991Y = 642009999999999991yes

Outros predicados uacuteteis var nonvar (retorna yes se a variaacutevel natildeoestiver livre) Exemplo( X = 7 nonvar(X) ) var(Y)

yes nos dois casos eram true

Uma variaacutevel atribuiacuteda tem um mapa com um par de valores ligados aela o seu conteuacutedo(s) e estado (truefalse)

Ver manual alguns predicados especiacutecos para este m

X = 7 X = X + 7 X = X + 7

X = 21

A atribuiccedilatildeo tem um escopo local ao predicado em questatildeo

Eacute preciso ter cuidado com o que se deseja modicar e retornar

Aacutetomo

Um aacutetomo eacute uma constante simboacutelica

Seu nome pode ser representado tanto com aspas simples ou sem

Tamanho de um aacutetomo le 1000 caracteres

Exemplos x_20 x_21 a a abacate etc

ab == ab (satildeo iguais)

Exemplo de aacutetomos

atom(x) atom(x) cuidar com atom(x) == atom(x)

atom_chars(x) = X

chr(68) = Valor

ord(D) = Valor inverso da anterior

digit(1) equiv no e digit(1) equiv yes

length(ufsc) = X

len(ufsc) = X

Nuacutemeros

Um nuacutemero eacute um aacutetomo inteiro ou real

Um nuacutemero inteiro pode ser representado na forma decimal binaacuteriaoctal ou hexadecimal

Um nuacutemero real usa o ponto no lugar da viacutergula para separar osvalores depois de zero como 31415

Exemplo de nuacutemeros inteiros e reais

X = 3 number(X)

X = 3 Y = 4 X lt Y

number_chars(45) = X

X = [45]

number_codes(45) = X

X = [5253]

real(54321)

int(321) equiv integer(321) satildeo predicados

Layout

6 Conclusatildeo

Tipos compostos I

Lista sequecircncia de termos

L = [ a b c] length(L) = X

L = [ a b c] Llength = X

L = [ a b c] get(Llength) = X

Strings lista de caracteresX = Oi bom dia

X = [Oi bom dia]

X = Oi bom dia to_uppercase(X) = Y

Predicado string(X)

Tipos compostos II

Estrutura um modo de organizar dados heterogecircneos em um uacutenicotermo

Uma estrutura tem o formato $est(t1 t2 tn) ondeest eacute um aacutetomo e n eacute a aridade da estruturaO $ eacute usado para diferenciar uma estrutura de umafunccedilatildeo em um dos argumentos do predicado (sim umafunccedilatildeo pode ser um argumento de um predicado)Cuidados nos casamentos dos termos

Exemplo a seguir

Tipos compostos III

1 =============================================================

2 main =gt

3 X1 = $carro($marca(fiat palio) $cor(azul) 2007)

4 X2 = $carro($marca(toyota ethios) $cor(prata) 2017)

5 X3 = $carro($marca(honda fit) $cor(branco) 2017)

6 L = [X1 X2 X3]

7 println(dado_completo = X1)

8 println(aridade = arity(X1))

9 println(nome_da_estrutura = name(X1))

10 println(todos_os_dados = L)

11 BUSCA DOS CARROS NOVOS

12 foreach (X in L)

13 novo_17(X)

14 end

17 novo_17( carro( marca(X W) Y Ano) ) =gt

18 Ano gt= 2017

19 printf(n Marca w || Modelo w || Cor w X W Y)

20 printf(n EH UM CARRO NOVO gt= 2017)

Tipos compostos IV

22 novo_17( carro( marca(X W) cor(Y) Ano) ) =gt

23 Ano lt 2017

25 printf(n NAO EH UM CARRO NOVO ANO w Ano)

27 =============================================================

Tipos compostos V

Vetores Um vetor ou array tem o formato t1 tn o qual eacuteum caso especial de uma estrutura delimitada por earidade n

Tem seu comprimento delimitado na memoacuteria e tempode acesso constante a seus elementosAnaacutelogo aos vetores de outras linguagens com umanotaccedilatildeo e funccedilotildees bem faacuteceis de usar ExemploVetor[7] acessa a 7a posiccedilatildeo deste vetorunidimensionalPara criar um arraynew_array(D1 Dn) = Vetor onde D1 Dn

especicam as dimensotildees do mesmo Atualmenten le 10 (matrizes de 10 dimensotildees rArr mais do quesuciente)

Tipos compostos VI

Como sua implementaccedilatildeo tem origem das listas eacute de seesperar que Listas hArr Vetores

Logo haacute muitas funccedilotildees e predicados de listas quefacilitam o tratamento com vetoresMas algumas estatildeo prontas apenas para vetoresunidimensionais Cuidado aqui Veja o exemplo parasuperar estas diculdades

Exemplo a seguir

Tipos compostos VII

1 =============================================================

2 import os

3 import util

4 import math

6 main =gt Status = command(clear)

7 printf(====================================== d OK Status)

8 Matriz = f_Array_2D () funcao sem argumentos () obrigado

9 printf(n====================================== n)

10 printf(n Soma dos elementos dn f_soma_2D( Matriz ))

11 print_matriz(Matriz)

12 printf(n====================================== n)

14 main =gt printf(n Algo errado nas chamadas acima )

16 ----------------------------------------------------------

17 f_Array_2D () = Vetor =gt

18 new_array (32) = Vetor

19 Vetor = 34 56 78

20 printf(n Primeira linha w first(Vetor) )

21 printf(n Ultima linha w last(Vetor) )

Tipos compostos VIII

22 printf(n Total de linhas i length(Vetor) )

24 ----------------------------------------------------------

25 f_soma_2D( M ) = Soma =gt

26 Linhas = Mlength Num de linhas

27 Soma = 0

28 foreach(I in 1 Linhas)

29 Soma = Soma + sum( M[I] ) sum APENAS PARA VETOR 1D

30 end

31 ----------------------------------------------------------

32 Imprimindo uma Matriz

33 print_matriz( M ) =gt

35 Colunas = M[1]length Num de colunas

38 foreach(J in 1 Colunas)

39 printf(w M[IJ] )

40 end

42 end

Tipos compostos IX

Tipos compostos I

Conjuntos e

Link para os coacutedigoshttpswwwinfufscbr~alexandregoncalvessilva

coursesdocspicat_sourceszip

Para conhecer maishttpswwwinfufscbr~alexandregoncalvessilva

coursesdocspicat_slidespdf

Conclusatildeo

Picat eacute uma linguagem nova (2013) ainda desconhecidasupostamente revolucionaacuteria e com um futuro promissor

Atualmente haacute pouco material disponiacutevel e uma comunidade pequenade usuaacuterios

Interface simples e eciente a problemas NP-Completosplanejamento programaccedilatildeo por restriccedilotildees e programaccedilatildeo dinacircmica

Referecircncias

User guide no diretoacuterio doc da instalaccedilatildeo em LATEX

User guide on-linerArr httppicat-langorg

GitHub do Prof ClaudiorArr httpsgithubcomclaudiosaCCStreemasterpicat

Foacuterum do Picat (em inglecircs)

Site do Hakan KjellerstrandrArr httpwwwhakankorgpicat

Site do Roman BartaacutekrArr httpktimlmffcunicz~bartak

Site do Sergii DimychenkorArr httpsdymchenkocomblog20150131ai-planning-picat

INE5416 Paradigmas de Programaccedilatildeo (Loacutegico)

Introduccedilatildeo

Caracteriacutesticas

Instalaccedilatildeo

WebIDE

Usando o Picat

Exemplos

Outros detalhes

Tipos de dados

Tipos simples

Tipos compostos

Conclusatildeo

e congure

Python

cd pyswip-023

Outras interfaces

Outras linguagens

Exemplo testepl

Sara Abraatildeo

Isaque Ismael

Esauacute Jacoacute

Joseacute

Exemplo em Java

import jpl

public class Main

Exemplo em Java

I consult succeeded

X = jaco

X = sara

X = abraao

X = isaque

Exemplo em C++

using namespace std

int main()

PlEngine e(3argv)

PlTermv av(2)

cinget()

return 1

include ltstdiohgt

while (result)

char x y

return 0

Exemplo em Python

prolog = Prolog()

print dir(prolog)

print solutions

for s in solutions

print s[X]

Exemplo em Python

[X jaco X sara

X abraao X isaque]

abraao

isaque

Exerciacutecios

Histoacuterico

Funcional

Loacutegico

Sintaxe elegante

Portabilidade

Extensatildeo

Ferramentas

Layout

6 Conclusatildeo

export PICATPATH

Layout

6 Conclusatildeo

WebIDE

Figura Picat Online

Layout

6 Conclusatildeo

Usando o Picat

Fatos e regras

Regras em Picat I

2 --------------------------

3 index(--)

9 REGRAS - exemplos

10 -----------------

17 X == Y

20 MAIS REGRAS

Regras em Picat II

21 -----------

24 pai(XY) and

26 false

28 listar_pais =gt

29 printf(n )

32 listar_ant =gt

33 antepassado(XY)

35 false

37 listar_ant =gt

38 printf(n )

39 true

Regras em Picat III

42 main

43 ----

44 main =gt =gt

45 listar_pais

46 listar_ant

49 false

50 main =gt true

Regras em Picat IV

69 antepassado(ZY)

Layout

6 Conclusatildeo

Nuacutemero

Maximo = 7

Minimo = 5

Picatgt X = 7 X = X + 7 X = X + 7

X = 21

1 teste =gt

2 X = 3

3 Y = 4

4 if (X gt= Y)

5 then

7 else

1 main =gt

7 printf(n FIM n )

Tipos de dados

Layout

6 Conclusatildeo

Variaacutevel

X = 34 Y = 34 Z = X + Y

X = 56789000000000001Y = 56789000000000001Z = 56789000000000001yes

X = 7 X = X + 7 X = X + 7

X = 21

Aacutetomo

atom_chars(x) = X

chr(68) = Valor

length(ufsc) = X

len(ufsc) = X

Nuacutemeros

X = 3 number(X)

X = 3 Y = 4 X lt Y

X = [45]

X = [5253]

real(54321)

Layout

6 Conclusatildeo

Tipos compostos I

X = [Oi bom dia]

Predicado string(X)

Tipos compostos II

Exemplo a seguir

Tipos compostos III

1 =============================================================

2 main =gt

6 L = [X1 X2 X3]

12 foreach (X in L)

13 novo_17(X)

14 end

18 Ano gt= 2017

Tipos compostos IV

23 Ano lt 2017

27 =============================================================

Tipos compostos V

Tipos compostos VI

Exemplo a seguir

Tipos compostos VII

1 =============================================================

2 import os

3 import util

4 import math

9 printf(n====================================== n)

12 printf(n====================================== n)

16 ----------------------------------------------------------

19 Vetor = 34 56 78

24 ----------------------------------------------------------

27 Soma = 0

30 end

31 ----------------------------------------------------------

39 printf(w M[IJ] )

40 end

42 end

Tipos compostos IX

Tipos compostos I

Conjuntos e

Conclusatildeo

Referecircncias


WebIDE

Usando o Picat

Exemplos

Outros detalhes

Tipos de dados

Tipos simples

Tipos compostos

Conclusatildeo

e congure

Python

cd pyswip-023

Outras interfaces

Outras linguagens

Exemplo testepl

Sara Abraatildeo

Isaque Ismael

Esauacute Jacoacute

Joseacute

Exemplo em Java

import jpl

public class Main

Exemplo em Java

I consult succeeded

X = jaco

X = sara

X = abraao

X = isaque

Exemplo em C++

using namespace std

int main()

PlEngine e(3argv)

PlTermv av(2)

cinget()

return 1

include ltstdiohgt

while (result)

char x y

return 0

Exemplo em Python

prolog = Prolog()

print dir(prolog)

print solutions

for s in solutions

print s[X]

Exemplo em Python

[X jaco X sara

X abraao X isaque]

abraao

isaque

Exerciacutecios

Histoacuterico

Funcional

Loacutegico

Sintaxe elegante

Portabilidade

Extensatildeo

Ferramentas

Layout

6 Conclusatildeo

export PICATPATH

Layout

6 Conclusatildeo

WebIDE

Figura Picat Online

Layout

6 Conclusatildeo

Usando o Picat

Fatos e regras

Regras em Picat I

2 --------------------------

3 index(--)

9 REGRAS - exemplos

10 -----------------

17 X == Y

20 MAIS REGRAS

Regras em Picat II

21 -----------

24 pai(XY) and

26 false

28 listar_pais =gt

29 printf(n )

32 listar_ant =gt

33 antepassado(XY)

35 false

37 listar_ant =gt

38 printf(n )

39 true

Regras em Picat III

42 main

43 ----

44 main =gt =gt

45 listar_pais

46 listar_ant

49 false

50 main =gt true

Regras em Picat IV

69 antepassado(ZY)

Layout

6 Conclusatildeo

Nuacutemero

Maximo = 7

Minimo = 5

Picatgt X = 7 X = X + 7 X = X + 7

X = 21

1 teste =gt

2 X = 3

3 Y = 4

4 if (X gt= Y)

5 then

7 else

1 main =gt

7 printf(n FIM n )

Tipos de dados

Layout

6 Conclusatildeo

Variaacutevel

X = 34 Y = 34 Z = X + Y

X = 56789000000000001Y = 56789000000000001Z = 56789000000000001yes

X = 7 X = X + 7 X = X + 7

X = 21

Aacutetomo

atom_chars(x) = X

chr(68) = Valor

length(ufsc) = X

len(ufsc) = X

Nuacutemeros

X = 3 number(X)

X = 3 Y = 4 X lt Y

X = [45]

X = [5253]

real(54321)

Layout

6 Conclusatildeo

Tipos compostos I

X = [Oi bom dia]

Predicado string(X)

Tipos compostos II

Exemplo a seguir

Tipos compostos III

1 =============================================================

2 main =gt

6 L = [X1 X2 X3]

12 foreach (X in L)

13 novo_17(X)

14 end

18 Ano gt= 2017

Tipos compostos IV

23 Ano lt 2017

27 =============================================================

Tipos compostos V

Tipos compostos VI

Exemplo a seguir

Tipos compostos VII

1 =============================================================

2 import os

3 import util

4 import math

9 printf(n====================================== n)

12 printf(n====================================== n)

16 ----------------------------------------------------------

19 Vetor = 34 56 78

24 ----------------------------------------------------------

27 Soma = 0

30 end

31 ----------------------------------------------------------

39 printf(w M[IJ] )

40 end

42 end

Tipos compostos IX

Tipos compostos I

Conjuntos e

Conclusatildeo

Referecircncias


WebIDE

Usando o Picat

Exemplos

Outros detalhes

Tipos de dados

Tipos simples

Tipos compostos

Conclusatildeo

Python

cd pyswip-023

Outras interfaces

Outras linguagens

Exemplo testepl

Sara Abraatildeo

Isaque Ismael

Esauacute Jacoacute

Joseacute

Exemplo em Java

import jpl

public class Main

Exemplo em Java

I consult succeeded

X = jaco

X = sara

X = abraao

X = isaque

Exemplo em C++

using namespace std

int main()

PlEngine e(3argv)

PlTermv av(2)

cinget()

return 1

include ltstdiohgt

while (result)

char x y

return 0

Exemplo em Python

prolog = Prolog()

print dir(prolog)

print solutions

for s in solutions

print s[X]

Exemplo em Python

[X jaco X sara

X abraao X isaque]

abraao

isaque

Exerciacutecios

Histoacuterico

Funcional

Loacutegico

Sintaxe elegante

Portabilidade

Extensatildeo

Ferramentas

Layout

6 Conclusatildeo

export PICATPATH

Layout

6 Conclusatildeo

WebIDE

Figura Picat Online

Layout

6 Conclusatildeo

Usando o Picat

Fatos e regras

Regras em Picat I

2 --------------------------

3 index(--)

9 REGRAS - exemplos

10 -----------------

17 X == Y

20 MAIS REGRAS

Regras em Picat II

21 -----------

24 pai(XY) and

26 false

28 listar_pais =gt

29 printf(n )

32 listar_ant =gt

33 antepassado(XY)

35 false

37 listar_ant =gt

38 printf(n )

39 true

Regras em Picat III

42 main

43 ----

44 main =gt =gt

45 listar_pais

46 listar_ant

49 false

50 main =gt true

Regras em Picat IV

69 antepassado(ZY)

Layout

6 Conclusatildeo

Nuacutemero

Maximo = 7

Minimo = 5

Picatgt X = 7 X = X + 7 X = X + 7

X = 21

1 teste =gt

2 X = 3

3 Y = 4

4 if (X gt= Y)

5 then

7 else

1 main =gt

7 printf(n FIM n )

Tipos de dados

Layout

6 Conclusatildeo

Variaacutevel

X = 34 Y = 34 Z = X + Y

X = 56789000000000001Y = 56789000000000001Z = 56789000000000001yes

X = 7 X = X + 7 X = X + 7

X = 21

Aacutetomo

atom_chars(x) = X

chr(68) = Valor

length(ufsc) = X

len(ufsc) = X

Nuacutemeros

X = 3 number(X)

X = 3 Y = 4 X lt Y

X = [45]

X = [5253]

real(54321)

Layout

6 Conclusatildeo

Tipos compostos I

X = [Oi bom dia]

Predicado string(X)

Tipos compostos II

Exemplo a seguir

Tipos compostos III

1 =============================================================

2 main =gt

6 L = [X1 X2 X3]

12 foreach (X in L)

13 novo_17(X)

14 end

18 Ano gt= 2017

Tipos compostos IV

23 Ano lt 2017

27 =============================================================

Tipos compostos V

Tipos compostos VI

Exemplo a seguir

Tipos compostos VII

1 =============================================================

2 import os

3 import util

4 import math

9 printf(n====================================== n)

12 printf(n====================================== n)

16 ----------------------------------------------------------

19 Vetor = 34 56 78

24 ----------------------------------------------------------

27 Soma = 0

30 end

31 ----------------------------------------------------------

39 printf(w M[IJ] )

40 end

42 end

Tipos compostos IX

Tipos compostos I

Conjuntos e

Conclusatildeo

Referecircncias


WebIDE

Usando o Picat

Exemplos

Outros detalhes

Tipos de dados

Tipos simples

Tipos compostos

Conclusatildeo

Python

cd pyswip-023

Outras interfaces

Outras linguagens

Exemplo testepl

Sara Abraatildeo

Isaque Ismael

Esauacute Jacoacute

Joseacute

Exemplo em Java

import jpl

public class Main

Exemplo em Java

I consult succeeded

X = jaco

X = sara

X = abraao

X = isaque

Exemplo em C++

using namespace std

int main()

PlEngine e(3argv)

PlTermv av(2)

cinget()

return 1

include ltstdiohgt

while (result)

char x y

return 0

Exemplo em Python

prolog = Prolog()

print dir(prolog)

print solutions

for s in solutions

print s[X]

Exemplo em Python

[X jaco X sara

X abraao X isaque]

abraao

isaque

Exerciacutecios

Histoacuterico

Funcional

Loacutegico

Sintaxe elegante

Portabilidade

Extensatildeo

Ferramentas

Layout

6 Conclusatildeo

export PICATPATH

Layout

6 Conclusatildeo

WebIDE

Figura Picat Online

Layout

6 Conclusatildeo

Usando o Picat

Fatos e regras

Regras em Picat I

2 --------------------------

3 index(--)

9 REGRAS - exemplos

10 -----------------

17 X == Y

20 MAIS REGRAS

Regras em Picat II

21 -----------

24 pai(XY) and

26 false

28 listar_pais =gt

29 printf(n )

32 listar_ant =gt

33 antepassado(XY)

35 false

37 listar_ant =gt

38 printf(n )

39 true

Regras em Picat III

42 main

43 ----

44 main =gt =gt

45 listar_pais

46 listar_ant

49 false

50 main =gt true

Regras em Picat IV

69 antepassado(ZY)

Layout

6 Conclusatildeo

Nuacutemero

Maximo = 7

Minimo = 5

Picatgt X = 7 X = X + 7 X = X + 7

X = 21

1 teste =gt

2 X = 3

3 Y = 4

4 if (X gt= Y)

5 then

7 else

1 main =gt

7 printf(n FIM n )

Tipos de dados

Layout

6 Conclusatildeo

Variaacutevel

X = 34 Y = 34 Z = X + Y

X = 56789000000000001Y = 56789000000000001Z = 56789000000000001yes

X = 7 X = X + 7 X = X + 7

X = 21

Aacutetomo

atom_chars(x) = X

chr(68) = Valor

length(ufsc) = X

len(ufsc) = X

Nuacutemeros

X = 3 number(X)

X = 3 Y = 4 X lt Y

X = [45]

X = [5253]

real(54321)

Layout

6 Conclusatildeo

Tipos compostos I

X = [Oi bom dia]

Predicado string(X)

Tipos compostos II

Exemplo a seguir

Tipos compostos III

1 =============================================================

2 main =gt

6 L = [X1 X2 X3]

12 foreach (X in L)

13 novo_17(X)

14 end

18 Ano gt= 2017

Tipos compostos IV

23 Ano lt 2017

27 =============================================================

Tipos compostos V

Tipos compostos VI

Exemplo a seguir

Tipos compostos VII

1 =============================================================

2 import os

3 import util

4 import math

9 printf(n====================================== n)

12 printf(n====================================== n)

16 ----------------------------------------------------------

19 Vetor = 34 56 78

24 ----------------------------------------------------------

27 Soma = 0

30 end

31 ----------------------------------------------------------

39 printf(w M[IJ] )

40 end

42 end

Tipos compostos IX

Tipos compostos I

Conjuntos e

Conclusatildeo

Referecircncias


WebIDE

Usando o Picat

Exemplos

Outros detalhes

Tipos de dados

Tipos simples

Tipos compostos

Conclusatildeo

Outras interfaces

Outras linguagens

Exemplo testepl

Sara Abraatildeo

Isaque Ismael

Esauacute Jacoacute

Joseacute

Exemplo em Java

import jpl

public class Main

Exemplo em Java

I consult succeeded

X = jaco

X = sara

X = abraao

X = isaque

Exemplo em C++

using namespace std

int main()

PlEngine e(3argv)

PlTermv av(2)

cinget()

return 1

include ltstdiohgt

while (result)

char x y

return 0

Exemplo em Python

prolog = Prolog()

print dir(prolog)

print solutions

for s in solutions

print s[X]

Exemplo em Python

[X jaco X sara

X abraao X isaque]

abraao

isaque

Exerciacutecios

Histoacuterico

Funcional

Loacutegico

Sintaxe elegante

Portabilidade

Extensatildeo

Ferramentas

Layout

6 Conclusatildeo

export PICATPATH

Layout

6 Conclusatildeo

WebIDE

Figura Picat Online

Layout

6 Conclusatildeo

Usando o Picat

Fatos e regras

Regras em Picat I

2 --------------------------

3 index(--)

9 REGRAS - exemplos

10 -----------------

17 X == Y

20 MAIS REGRAS

Regras em Picat II

21 -----------

24 pai(XY) and

26 false

28 listar_pais =gt

29 printf(n )

32 listar_ant =gt

33 antepassado(XY)

35 false

37 listar_ant =gt

38 printf(n )

39 true

Regras em Picat III

42 main

43 ----

44 main =gt =gt

45 listar_pais

46 listar_ant

49 false

50 main =gt true

Regras em Picat IV

69 antepassado(ZY)

Layout

6 Conclusatildeo

Nuacutemero

Maximo = 7

Minimo = 5

Picatgt X = 7 X = X + 7 X = X + 7

X = 21

1 teste =gt

2 X = 3

3 Y = 4

4 if (X gt= Y)

5 then

7 else

1 main =gt

7 printf(n FIM n )

Tipos de dados

Layout

6 Conclusatildeo

Variaacutevel

X = 34 Y = 34 Z = X + Y

X = 56789000000000001Y = 56789000000000001Z = 56789000000000001yes

X = 7 X = X + 7 X = X + 7

X = 21

Aacutetomo

atom_chars(x) = X

chr(68) = Valor

length(ufsc) = X

len(ufsc) = X

Nuacutemeros

X = 3 number(X)

X = 3 Y = 4 X lt Y

X = [45]

X = [5253]

real(54321)

Layout

6 Conclusatildeo

Tipos compostos I

X = [Oi bom dia]

Predicado string(X)

Tipos compostos II

Exemplo a seguir

Tipos compostos III

1 =============================================================

2 main =gt

6 L = [X1 X2 X3]

12 foreach (X in L)

13 novo_17(X)

14 end

18 Ano gt= 2017

Tipos compostos IV

23 Ano lt 2017

27 =============================================================

Tipos compostos V

Tipos compostos VI

Exemplo a seguir

Tipos compostos VII

1 =============================================================

2 import os

3 import util

4 import math

9 printf(n====================================== n)

12 printf(n====================================== n)

16 ----------------------------------------------------------

19 Vetor = 34 56 78

24 ----------------------------------------------------------

27 Soma = 0

30 end

31 ----------------------------------------------------------

39 printf(w M[IJ] )

40 end

42 end

Tipos compostos IX

Tipos compostos I

Conjuntos e

Conclusatildeo

Referecircncias


WebIDE

Usando o Picat

Exemplos

Outros detalhes

Tipos de dados

Tipos simples

Tipos compostos

Conclusatildeo

Exemplo testepl

Sara Abraatildeo

Isaque Ismael

Esauacute Jacoacute

Joseacute

Exemplo em Java

import jpl

public class Main

Exemplo em Java

I consult succeeded

X = jaco

X = sara

X = abraao

X = isaque

Exemplo em C++

using namespace std

int main()

PlEngine e(3argv)

PlTermv av(2)

cinget()

return 1

include ltstdiohgt

while (result)

char x y

return 0

Exemplo em Python

prolog = Prolog()

print dir(prolog)

print solutions

for s in solutions

print s[X]

Exemplo em Python

[X jaco X sara

X abraao X isaque]

abraao

isaque

Exerciacutecios

Histoacuterico

Funcional

Loacutegico

Sintaxe elegante

Portabilidade

Extensatildeo

Ferramentas

Layout

6 Conclusatildeo

export PICATPATH

Layout

6 Conclusatildeo

WebIDE

Figura Picat Online

Layout

6 Conclusatildeo

Usando o Picat

Fatos e regras

Regras em Picat I

2 --------------------------

3 index(--)

9 REGRAS - exemplos

10 -----------------

17 X == Y

20 MAIS REGRAS

Regras em Picat II

21 -----------

24 pai(XY) and

26 false

28 listar_pais =gt

29 printf(n )

32 listar_ant =gt

33 antepassado(XY)

35 false

37 listar_ant =gt

38 printf(n )

39 true

Regras em Picat III

42 main

43 ----

44 main =gt =gt

45 listar_pais

46 listar_ant

49 false

50 main =gt true

Regras em Picat IV

69 antepassado(ZY)

Layout

6 Conclusatildeo

Nuacutemero

Maximo = 7

Minimo = 5

Picatgt X = 7 X = X + 7 X = X + 7

X = 21

1 teste =gt

2 X = 3

3 Y = 4

4 if (X gt= Y)

5 then

7 else

1 main =gt

7 printf(n FIM n )

Tipos de dados

Layout

6 Conclusatildeo

Variaacutevel

X = 34 Y = 34 Z = X + Y

X = 56789000000000001Y = 56789000000000001Z = 56789000000000001yes

X = 7 X = X + 7 X = X + 7

X = 21

Aacutetomo

atom_chars(x) = X

chr(68) = Valor

length(ufsc) = X

len(ufsc) = X

Nuacutemeros

X = 3 number(X)

X = 3 Y = 4 X lt Y

X = [45]

X = [5253]

real(54321)

Layout

6 Conclusatildeo

Tipos compostos I

X = [Oi bom dia]

Predicado string(X)

Tipos compostos II

Exemplo a seguir

Tipos compostos III

1 =============================================================

2 main =gt

6 L = [X1 X2 X3]

12 foreach (X in L)

13 novo_17(X)

14 end

18 Ano gt= 2017

Tipos compostos IV

23 Ano lt 2017

27 =============================================================

Tipos compostos V

Tipos compostos VI

Exemplo a seguir

Tipos compostos VII

1 =============================================================

2 import os

3 import util

4 import math

9 printf(n====================================== n)

12 printf(n====================================== n)

16 ----------------------------------------------------------

19 Vetor = 34 56 78

24 ----------------------------------------------------------

27 Soma = 0

30 end

31 ----------------------------------------------------------

39 printf(w M[IJ] )

40 end

42 end

Tipos compostos IX

Tipos compostos I

Conjuntos e

Conclusatildeo

Referecircncias


WebIDE

Usando o Picat

Exemplos

Outros detalhes

Tipos de dados

Tipos simples

Tipos compostos

Conclusatildeo

Exemplo em Java

import jpl

public class Main

Exemplo em Java

I consult succeeded

X = jaco

X = sara

X = abraao

X = isaque

Exemplo em C++

using namespace std

int main()

PlEngine e(3argv)

PlTermv av(2)

cinget()

return 1

include ltstdiohgt

while (result)

char x y

return 0

Exemplo em Python

prolog = Prolog()

print dir(prolog)

print solutions

for s in solutions

print s[X]

Exemplo em Python

[X jaco X sara

X abraao X isaque]

abraao

isaque

Exerciacutecios

Histoacuterico

Funcional

Loacutegico

Sintaxe elegante

Portabilidade

Extensatildeo

Ferramentas

Layout

6 Conclusatildeo

export PICATPATH

Layout

6 Conclusatildeo

WebIDE

Figura Picat Online

Layout

6 Conclusatildeo

Usando o Picat

Fatos e regras

Regras em Picat I

2 --------------------------

3 index(--)

9 REGRAS - exemplos

10 -----------------

17 X == Y

20 MAIS REGRAS

Regras em Picat II

21 -----------

24 pai(XY) and

26 false

28 listar_pais =gt

29 printf(n )

32 listar_ant =gt

33 antepassado(XY)

35 false

37 listar_ant =gt

38 printf(n )

39 true

Regras em Picat III

42 main

43 ----

44 main =gt =gt

45 listar_pais

46 listar_ant

49 false

50 main =gt true

Regras em Picat IV

69 antepassado(ZY)

Layout

6 Conclusatildeo

Nuacutemero

Maximo = 7

Minimo = 5

Picatgt X = 7 X = X + 7 X = X + 7

X = 21

1 teste =gt

2 X = 3

3 Y = 4

4 if (X gt= Y)

5 then

7 else

1 main =gt

7 printf(n FIM n )

Tipos de dados

Layout

6 Conclusatildeo

Variaacutevel

X = 34 Y = 34 Z = X + Y

X = 56789000000000001Y = 56789000000000001Z = 56789000000000001yes

X = 7 X = X + 7 X = X + 7

X = 21

Aacutetomo

atom_chars(x) = X

chr(68) = Valor

length(ufsc) = X

len(ufsc) = X

Nuacutemeros

X = 3 number(X)

X = 3 Y = 4 X lt Y

X = [45]

X = [5253]

real(54321)

Layout

6 Conclusatildeo

Tipos compostos I

X = [Oi bom dia]

Predicado string(X)

Tipos compostos II

Exemplo a seguir

Tipos compostos III

1 =============================================================

2 main =gt

6 L = [X1 X2 X3]

12 foreach (X in L)

13 novo_17(X)

14 end

18 Ano gt= 2017

Tipos compostos IV

23 Ano lt 2017

27 =============================================================

Tipos compostos V

Tipos compostos VI

Exemplo a seguir

Tipos compostos VII

1 =============================================================

2 import os

3 import util

4 import math

9 printf(n====================================== n)

12 printf(n====================================== n)

16 ----------------------------------------------------------

19 Vetor = 34 56 78

24 ----------------------------------------------------------

27 Soma = 0

30 end

31 ----------------------------------------------------------

39 printf(w M[IJ] )

40 end

42 end

Tipos compostos IX

Tipos compostos I

Conjuntos e

Conclusatildeo

Referecircncias


WebIDE

Usando o Picat

Exemplos

Outros detalhes

Tipos de dados

Tipos simples

Tipos compostos

Conclusatildeo

Exemplo em Java

I consult succeeded

X = jaco

X = sara

X = abraao

X = isaque

Exemplo em C++

using namespace std

int main()

PlEngine e(3argv)

PlTermv av(2)

cinget()

return 1

include ltstdiohgt

while (result)

char x y

return 0

Exemplo em Python

prolog = Prolog()

print dir(prolog)

print solutions

for s in solutions

print s[X]

Exemplo em Python

[X jaco X sara

X abraao X isaque]

abraao

isaque

Exerciacutecios

Histoacuterico

Funcional

Loacutegico

Sintaxe elegante

Portabilidade

Extensatildeo

Ferramentas

Layout

6 Conclusatildeo

export PICATPATH

Layout

6 Conclusatildeo

WebIDE

Figura Picat Online

Layout

6 Conclusatildeo

Usando o Picat

Fatos e regras

Regras em Picat I

2 --------------------------

3 index(--)

9 REGRAS - exemplos

10 -----------------

17 X == Y

20 MAIS REGRAS

Regras em Picat II

21 -----------

24 pai(XY) and

26 false

28 listar_pais =gt

29 printf(n )

32 listar_ant =gt

33 antepassado(XY)

35 false

37 listar_ant =gt

38 printf(n )

39 true

Regras em Picat III

42 main

43 ----

44 main =gt =gt

45 listar_pais

46 listar_ant

49 false

50 main =gt true

Regras em Picat IV

69 antepassado(ZY)

Layout

6 Conclusatildeo

Nuacutemero

Maximo = 7

Minimo = 5

Picatgt X = 7 X = X + 7 X = X + 7

X = 21

1 teste =gt

2 X = 3

3 Y = 4

4 if (X gt= Y)

5 then

7 else

1 main =gt

7 printf(n FIM n )

Tipos de dados

Layout

6 Conclusatildeo

Variaacutevel

X = 34 Y = 34 Z = X + Y

X = 56789000000000001Y = 56789000000000001Z = 56789000000000001yes

X = 7 X = X + 7 X = X + 7

X = 21

Aacutetomo

atom_chars(x) = X

chr(68) = Valor

length(ufsc) = X

len(ufsc) = X

Nuacutemeros

X = 3 number(X)

X = 3 Y = 4 X lt Y

X = [45]

X = [5253]

real(54321)

Layout

6 Conclusatildeo

Tipos compostos I

X = [Oi bom dia]

Predicado string(X)

Tipos compostos II

Exemplo a seguir

Tipos compostos III

1 =============================================================

2 main =gt

6 L = [X1 X2 X3]

12 foreach (X in L)

13 novo_17(X)

14 end

18 Ano gt= 2017

Tipos compostos IV

23 Ano lt 2017

27 =============================================================

Tipos compostos V

Tipos compostos VI

Exemplo a seguir

Tipos compostos VII

1 =============================================================

2 import os

3 import util

4 import math

9 printf(n====================================== n)

12 printf(n====================================== n)

16 ----------------------------------------------------------

19 Vetor = 34 56 78

24 ----------------------------------------------------------

27 Soma = 0

30 end

31 ----------------------------------------------------------

39 printf(w M[IJ] )

40 end

42 end

Tipos compostos IX

Tipos compostos I

Conjuntos e

Conclusatildeo

Referecircncias


WebIDE

Usando o Picat

Exemplos

Outros detalhes

Tipos de dados

Tipos simples

Tipos compostos

Conclusatildeo

Exemplo em C++

using namespace std

int main()

PlEngine e(3argv)

PlTermv av(2)

cinget()

return 1

include ltstdiohgt

while (result)

char x y

return 0

Exemplo em Python

prolog = Prolog()

print dir(prolog)

print solutions

for s in solutions

print s[X]

Exemplo em Python

[X jaco X sara

X abraao X isaque]

abraao

isaque

Exerciacutecios

Histoacuterico

Funcional

Loacutegico

Sintaxe elegante

Portabilidade

Extensatildeo

Ferramentas

Layout

6 Conclusatildeo

export PICATPATH

Layout

6 Conclusatildeo

WebIDE

Figura Picat Online

Layout

6 Conclusatildeo

Usando o Picat

Fatos e regras

Regras em Picat I

2 --------------------------

3 index(--)

9 REGRAS - exemplos

10 -----------------

17 X == Y

20 MAIS REGRAS

Regras em Picat II

21 -----------

24 pai(XY) and

26 false

28 listar_pais =gt

29 printf(n )

32 listar_ant =gt

33 antepassado(XY)

35 false

37 listar_ant =gt

38 printf(n )

39 true

Regras em Picat III

42 main

43 ----

44 main =gt =gt

45 listar_pais

46 listar_ant

49 false

50 main =gt true

Regras em Picat IV

69 antepassado(ZY)

Layout

6 Conclusatildeo

Nuacutemero

Maximo = 7

Minimo = 5

Picatgt X = 7 X = X + 7 X = X + 7

X = 21

1 teste =gt

2 X = 3

3 Y = 4

4 if (X gt= Y)

5 then

7 else

1 main =gt

7 printf(n FIM n )

Tipos de dados

Layout

6 Conclusatildeo

Variaacutevel

X = 34 Y = 34 Z = X + Y

X = 56789000000000001Y = 56789000000000001Z = 56789000000000001yes

X = 7 X = X + 7 X = X + 7

X = 21

Aacutetomo

atom_chars(x) = X

chr(68) = Valor

length(ufsc) = X

len(ufsc) = X

Nuacutemeros

X = 3 number(X)

X = 3 Y = 4 X lt Y

X = [45]

X = [5253]

real(54321)

Layout

6 Conclusatildeo

Tipos compostos I

X = [Oi bom dia]

Predicado string(X)

Tipos compostos II

Exemplo a seguir

Tipos compostos III

1 =============================================================

2 main =gt

6 L = [X1 X2 X3]

12 foreach (X in L)

13 novo_17(X)

14 end

18 Ano gt= 2017

Tipos compostos IV

23 Ano lt 2017

27 =============================================================

Tipos compostos V

Tipos compostos VI

Exemplo a seguir

Tipos compostos VII

1 =============================================================

2 import os

3 import util

4 import math

9 printf(n====================================== n)

12 printf(n====================================== n)

16 ----------------------------------------------------------

19 Vetor = 34 56 78

24 ----------------------------------------------------------

27 Soma = 0

30 end

31 ----------------------------------------------------------

39 printf(w M[IJ] )

40 end

42 end

Tipos compostos IX

Tipos compostos I

Conjuntos e

Conclusatildeo

Referecircncias


WebIDE

Usando o Picat

Exemplos

Outros detalhes

Tipos de dados

Tipos simples

Tipos compostos

Conclusatildeo

include ltstdiohgt

while (result)

char x y

return 0

Exemplo em Python

prolog = Prolog()

print dir(prolog)

print solutions

for s in solutions

print s[X]

Exemplo em Python

[X jaco X sara

X abraao X isaque]

abraao

isaque

Exerciacutecios

Histoacuterico

Funcional

Loacutegico

Sintaxe elegante

Portabilidade

Extensatildeo

Ferramentas

Layout

6 Conclusatildeo

export PICATPATH

Layout

6 Conclusatildeo

WebIDE

Figura Picat Online

Layout

6 Conclusatildeo

Usando o Picat

Fatos e regras

Regras em Picat I

2 --------------------------

3 index(--)

9 REGRAS - exemplos

10 -----------------

17 X == Y

20 MAIS REGRAS

Regras em Picat II

21 -----------

24 pai(XY) and

26 false

28 listar_pais =gt

29 printf(n )

32 listar_ant =gt

33 antepassado(XY)

35 false

37 listar_ant =gt

38 printf(n )

39 true

Regras em Picat III

42 main

43 ----

44 main =gt =gt

45 listar_pais

46 listar_ant

49 false

50 main =gt true

Regras em Picat IV

69 antepassado(ZY)

Layout

6 Conclusatildeo

Nuacutemero

Maximo = 7

Minimo = 5

Picatgt X = 7 X = X + 7 X = X + 7

X = 21

1 teste =gt

2 X = 3

3 Y = 4

4 if (X gt= Y)

5 then

7 else

1 main =gt

7 printf(n FIM n )

Tipos de dados

Layout

6 Conclusatildeo

Variaacutevel

X = 34 Y = 34 Z = X + Y

X = 56789000000000001Y = 56789000000000001Z = 56789000000000001yes

X = 7 X = X + 7 X = X + 7

X = 21

Aacutetomo

atom_chars(x) = X

chr(68) = Valor

length(ufsc) = X

len(ufsc) = X

Nuacutemeros

X = 3 number(X)

X = 3 Y = 4 X lt Y

X = [45]

X = [5253]

real(54321)

Layout

6 Conclusatildeo

Tipos compostos I

X = [Oi bom dia]

Predicado string(X)

Tipos compostos II

Exemplo a seguir

Tipos compostos III

1 =============================================================

2 main =gt

6 L = [X1 X2 X3]

12 foreach (X in L)

13 novo_17(X)

14 end

18 Ano gt= 2017

Tipos compostos IV

23 Ano lt 2017

27 =============================================================

Tipos compostos V

Tipos compostos VI

Exemplo a seguir

Tipos compostos VII

1 =============================================================

2 import os

3 import util

4 import math

9 printf(n====================================== n)

12 printf(n====================================== n)

16 ----------------------------------------------------------

19 Vetor = 34 56 78

24 ----------------------------------------------------------

27 Soma = 0

30 end

31 ----------------------------------------------------------

39 printf(w M[IJ] )

40 end

42 end

Tipos compostos IX

Tipos compostos I

Conjuntos e

Conclusatildeo

Referecircncias


WebIDE

Usando o Picat

Exemplos

Outros detalhes

Tipos de dados

Tipos simples

Tipos compostos

Conclusatildeo

Exemplo em Python

prolog = Prolog()

print dir(prolog)

print solutions

for s in solutions

print s[X]

Exemplo em Python

[X jaco X sara

X abraao X isaque]

abraao

isaque

Exerciacutecios

Histoacuterico

Funcional

Loacutegico

Sintaxe elegante

Portabilidade

Extensatildeo

Ferramentas

Layout

6 Conclusatildeo

export PICATPATH

Layout

6 Conclusatildeo

WebIDE

Figura Picat Online

Layout

6 Conclusatildeo

Usando o Picat

Fatos e regras

Regras em Picat I

2 --------------------------

3 index(--)

9 REGRAS - exemplos

10 -----------------

17 X == Y

20 MAIS REGRAS

Regras em Picat II

21 -----------

24 pai(XY) and

26 false

28 listar_pais =gt

29 printf(n )

32 listar_ant =gt

33 antepassado(XY)

35 false

37 listar_ant =gt

38 printf(n )

39 true

Regras em Picat III

42 main

43 ----

44 main =gt =gt

45 listar_pais

46 listar_ant

49 false

50 main =gt true

Regras em Picat IV

69 antepassado(ZY)

Layout

6 Conclusatildeo

Nuacutemero

Maximo = 7

Minimo = 5

Picatgt X = 7 X = X + 7 X = X + 7

X = 21

1 teste =gt

2 X = 3

3 Y = 4

4 if (X gt= Y)

5 then

7 else

1 main =gt

7 printf(n FIM n )

Tipos de dados

Layout

6 Conclusatildeo

Variaacutevel

X = 34 Y = 34 Z = X + Y

X = 56789000000000001Y = 56789000000000001Z = 56789000000000001yes

X = 7 X = X + 7 X = X + 7

X = 21

Aacutetomo

atom_chars(x) = X

chr(68) = Valor

length(ufsc) = X

len(ufsc) = X

Nuacutemeros

X = 3 number(X)

X = 3 Y = 4 X lt Y

X = [45]

X = [5253]

real(54321)

Layout

6 Conclusatildeo

Tipos compostos I

X = [Oi bom dia]

Predicado string(X)

Tipos compostos II

Exemplo a seguir

Tipos compostos III

1 =============================================================

2 main =gt

6 L = [X1 X2 X3]

12 foreach (X in L)

13 novo_17(X)

14 end

18 Ano gt= 2017

Tipos compostos IV

23 Ano lt 2017

27 =============================================================

Tipos compostos V

Tipos compostos VI

Exemplo a seguir

Tipos compostos VII

1 =============================================================

2 import os

3 import util

4 import math

9 printf(n====================================== n)

12 printf(n====================================== n)

16 ----------------------------------------------------------

19 Vetor = 34 56 78

24 ----------------------------------------------------------

27 Soma = 0

30 end

31 ----------------------------------------------------------

39 printf(w M[IJ] )

40 end

42 end

Tipos compostos IX

Tipos compostos I

Conjuntos e

Conclusatildeo

Referecircncias


WebIDE

Usando o Picat

Exemplos

Outros detalhes

Tipos de dados

Tipos simples

Tipos compostos

Conclusatildeo

Exemplo em Python

prolog = Prolog()

print dir(prolog)

print solutions

for s in solutions

print s[X]

Exemplo em Python

[X jaco X sara

X abraao X isaque]

abraao

isaque

Exerciacutecios

Histoacuterico

Funcional

Loacutegico

Sintaxe elegante

Portabilidade

Extensatildeo

Ferramentas

Layout

6 Conclusatildeo

export PICATPATH

Layout

6 Conclusatildeo

WebIDE

Figura Picat Online

Layout

6 Conclusatildeo

Usando o Picat

Fatos e regras

Regras em Picat I

2 --------------------------

3 index(--)

9 REGRAS - exemplos

10 -----------------

17 X == Y

20 MAIS REGRAS

Regras em Picat II

21 -----------

24 pai(XY) and

26 false

28 listar_pais =gt

29 printf(n )

32 listar_ant =gt

33 antepassado(XY)

35 false

37 listar_ant =gt

38 printf(n )

39 true

Regras em Picat III

42 main

43 ----

44 main =gt =gt

45 listar_pais

46 listar_ant

49 false

50 main =gt true

Regras em Picat IV

69 antepassado(ZY)

Layout

6 Conclusatildeo

Nuacutemero

Maximo = 7

Minimo = 5

Picatgt X = 7 X = X + 7 X = X + 7

X = 21

1 teste =gt

2 X = 3

3 Y = 4

4 if (X gt= Y)

5 then

7 else

1 main =gt

7 printf(n FIM n )

Tipos de dados

Layout

6 Conclusatildeo

Variaacutevel

X = 34 Y = 34 Z = X + Y

X = 56789000000000001Y = 56789000000000001Z = 56789000000000001yes

X = 7 X = X + 7 X = X + 7

X = 21

Aacutetomo

atom_chars(x) = X

chr(68) = Valor

length(ufsc) = X

len(ufsc) = X

Nuacutemeros

X = 3 number(X)

X = 3 Y = 4 X lt Y

X = [45]

X = [5253]

real(54321)

Layout

6 Conclusatildeo

Tipos compostos I

X = [Oi bom dia]

Predicado string(X)

Tipos compostos II

Exemplo a seguir

Tipos compostos III

1 =============================================================

2 main =gt

6 L = [X1 X2 X3]

12 foreach (X in L)

13 novo_17(X)

14 end

18 Ano gt= 2017

Tipos compostos IV

23 Ano lt 2017

27 =============================================================

Tipos compostos V

Tipos compostos VI

Exemplo a seguir

Tipos compostos VII

1 =============================================================

2 import os

3 import util

4 import math

9 printf(n====================================== n)

12 printf(n====================================== n)

16 ----------------------------------------------------------

19 Vetor = 34 56 78

24 ----------------------------------------------------------

27 Soma = 0

30 end

31 ----------------------------------------------------------

39 printf(w M[IJ] )

40 end

42 end

Tipos compostos IX

Tipos compostos I

Conjuntos e

Conclusatildeo

Referecircncias


WebIDE

Usando o Picat

Exemplos

Outros detalhes

Tipos de dados

Tipos simples

Tipos compostos

Conclusatildeo

Exemplo em Python

[X jaco X sara

X abraao X isaque]

abraao

isaque

Exerciacutecios

Histoacuterico

Funcional

Loacutegico

Sintaxe elegante

Portabilidade

Extensatildeo

Ferramentas

Layout

6 Conclusatildeo

export PICATPATH

Layout

6 Conclusatildeo

WebIDE

Figura Picat Online

Layout

6 Conclusatildeo

Usando o Picat

Fatos e regras

Regras em Picat I

2 --------------------------

3 index(--)

9 REGRAS - exemplos

10 -----------------

17 X == Y

20 MAIS REGRAS

Regras em Picat II

21 -----------

24 pai(XY) and

26 false

28 listar_pais =gt

29 printf(n )

32 listar_ant =gt

33 antepassado(XY)

35 false

37 listar_ant =gt

38 printf(n )

39 true

Regras em Picat III

42 main

43 ----

44 main =gt =gt

45 listar_pais

46 listar_ant

49 false

50 main =gt true

Regras em Picat IV

69 antepassado(ZY)

Layout

6 Conclusatildeo

Nuacutemero

Maximo = 7

Minimo = 5

Picatgt X = 7 X = X + 7 X = X + 7

X = 21

1 teste =gt

2 X = 3

3 Y = 4

4 if (X gt= Y)

5 then

7 else

1 main =gt

7 printf(n FIM n )

Tipos de dados

Layout

6 Conclusatildeo

Variaacutevel

X = 34 Y = 34 Z = X + Y

X = 56789000000000001Y = 56789000000000001Z = 56789000000000001yes

X = 7 X = X + 7 X = X + 7

X = 21

Aacutetomo

atom_chars(x) = X

chr(68) = Valor

length(ufsc) = X

len(ufsc) = X

Nuacutemeros

X = 3 number(X)

X = 3 Y = 4 X lt Y

X = [45]

X = [5253]

real(54321)

Layout

6 Conclusatildeo

Tipos compostos I

X = [Oi bom dia]

Predicado string(X)

Tipos compostos II

Exemplo a seguir

Tipos compostos III

1 =============================================================

2 main =gt

6 L = [X1 X2 X3]

12 foreach (X in L)

13 novo_17(X)

14 end

18 Ano gt= 2017

Tipos compostos IV

23 Ano lt 2017

27 =============================================================

Tipos compostos V

Tipos compostos VI

Exemplo a seguir

Tipos compostos VII

1 =============================================================

2 import os

3 import util

4 import math

9 printf(n====================================== n)

12 printf(n====================================== n)

16 ----------------------------------------------------------

19 Vetor = 34 56 78

24 ----------------------------------------------------------

27 Soma = 0

30 end

31 ----------------------------------------------------------

39 printf(w M[IJ] )

40 end

42 end

Tipos compostos IX

Tipos compostos I

Conjuntos e

Conclusatildeo

Referecircncias


WebIDE

Usando o Picat

Exemplos

Outros detalhes

Tipos de dados

Tipos simples

Tipos compostos

Conclusatildeo

Exerciacutecios

Histoacuterico

Funcional

Loacutegico

Sintaxe elegante

Portabilidade

Extensatildeo

Ferramentas

Layout

6 Conclusatildeo

export PICATPATH

Layout

6 Conclusatildeo

WebIDE

Figura Picat Online

Layout

6 Conclusatildeo

Usando o Picat

Fatos e regras

Regras em Picat I

2 --------------------------

3 index(--)

9 REGRAS - exemplos

10 -----------------

17 X == Y

20 MAIS REGRAS

Regras em Picat II

21 -----------

24 pai(XY) and

26 false

28 listar_pais =gt

29 printf(n )

32 listar_ant =gt

33 antepassado(XY)

35 false

37 listar_ant =gt

38 printf(n )

39 true

Regras em Picat III

42 main

43 ----

44 main =gt =gt

45 listar_pais

46 listar_ant

49 false

50 main =gt true

Regras em Picat IV

69 antepassado(ZY)

Layout

6 Conclusatildeo

Nuacutemero

Maximo = 7

Minimo = 5

Picatgt X = 7 X = X + 7 X = X + 7

X = 21

1 teste =gt

2 X = 3

3 Y = 4

4 if (X gt= Y)

5 then

7 else

1 main =gt

7 printf(n FIM n )

Tipos de dados

Layout

6 Conclusatildeo

Variaacutevel

X = 34 Y = 34 Z = X + Y

X = 56789000000000001Y = 56789000000000001Z = 56789000000000001yes

X = 7 X = X + 7 X = X + 7

X = 21

Aacutetomo

atom_chars(x) = X

chr(68) = Valor

length(ufsc) = X

len(ufsc) = X

Nuacutemeros

X = 3 number(X)

X = 3 Y = 4 X lt Y

X = [45]

X = [5253]

real(54321)

Layout

6 Conclusatildeo

Tipos compostos I

X = [Oi bom dia]

Predicado string(X)

Tipos compostos II

Exemplo a seguir

Tipos compostos III

1 =============================================================

2 main =gt

6 L = [X1 X2 X3]

12 foreach (X in L)

13 novo_17(X)

14 end

18 Ano gt= 2017

Tipos compostos IV

23 Ano lt 2017

27 =============================================================

Tipos compostos V

Tipos compostos VI

Exemplo a seguir

Tipos compostos VII

1 =============================================================

2 import os

3 import util

4 import math

9 printf(n====================================== n)

12 printf(n====================================== n)

16 ----------------------------------------------------------

19 Vetor = 34 56 78

24 ----------------------------------------------------------

27 Soma = 0

30 end

31 ----------------------------------------------------------

39 printf(w M[IJ] )

40 end

42 end

Tipos compostos IX

Tipos compostos I

Conjuntos e

Conclusatildeo

Referecircncias


WebIDE

Usando o Picat

Exemplos

Outros detalhes

Tipos de dados

Tipos simples

Tipos compostos

Conclusatildeo

Histoacuterico

Funcional

Loacutegico

Sintaxe elegante

Portabilidade

Extensatildeo

Ferramentas

Layout

6 Conclusatildeo

export PICATPATH

Layout

6 Conclusatildeo

WebIDE

Figura Picat Online

Layout

6 Conclusatildeo

Usando o Picat

Fatos e regras

Regras em Picat I

2 --------------------------

3 index(--)

9 REGRAS - exemplos

10 -----------------

17 X == Y

20 MAIS REGRAS

Regras em Picat II

21 -----------

24 pai(XY) and

26 false

28 listar_pais =gt

29 printf(n )

32 listar_ant =gt

33 antepassado(XY)

35 false

37 listar_ant =gt

38 printf(n )

39 true

Regras em Picat III

42 main

43 ----

44 main =gt =gt

45 listar_pais

46 listar_ant

49 false

50 main =gt true

Regras em Picat IV

69 antepassado(ZY)

Layout

6 Conclusatildeo

Nuacutemero

Maximo = 7

Minimo = 5

Picatgt X = 7 X = X + 7 X = X + 7

X = 21

1 teste =gt

2 X = 3

3 Y = 4

4 if (X gt= Y)

5 then

7 else

1 main =gt

7 printf(n FIM n )

Tipos de dados

Layout

6 Conclusatildeo

Variaacutevel

X = 34 Y = 34 Z = X + Y

X = 56789000000000001Y = 56789000000000001Z = 56789000000000001yes

X = 7 X = X + 7 X = X + 7

X = 21

Aacutetomo

atom_chars(x) = X

chr(68) = Valor

length(ufsc) = X

len(ufsc) = X

Nuacutemeros

X = 3 number(X)

X = 3 Y = 4 X lt Y

X = [45]

X = [5253]

real(54321)

Layout

6 Conclusatildeo

Tipos compostos I

X = [Oi bom dia]

Predicado string(X)

Tipos compostos II

Exemplo a seguir

Tipos compostos III

1 =============================================================

2 main =gt

6 L = [X1 X2 X3]

12 foreach (X in L)

13 novo_17(X)

14 end

18 Ano gt= 2017

Tipos compostos IV

23 Ano lt 2017

27 =============================================================

Tipos compostos V

Tipos compostos VI

Exemplo a seguir

Tipos compostos VII

1 =============================================================

2 import os

3 import util

4 import math

9 printf(n====================================== n)

12 printf(n====================================== n)

16 ----------------------------------------------------------

19 Vetor = 34 56 78

24 ----------------------------------------------------------

27 Soma = 0

30 end

31 ----------------------------------------------------------

39 printf(w M[IJ] )

40 end

42 end

Tipos compostos IX

Tipos compostos I

Conjuntos e

Conclusatildeo

Referecircncias


WebIDE

Usando o Picat

Exemplos

Outros detalhes

Tipos de dados

Tipos simples

Tipos compostos

Conclusatildeo

Histoacuterico

Funcional

Loacutegico

Sintaxe elegante

Portabilidade

Extensatildeo

Ferramentas

Layout

6 Conclusatildeo

export PICATPATH

Layout

6 Conclusatildeo

WebIDE

Figura Picat Online

Layout

6 Conclusatildeo

Usando o Picat

Fatos e regras

Regras em Picat I

2 --------------------------

3 index(--)

9 REGRAS - exemplos

10 -----------------

17 X == Y

20 MAIS REGRAS

Regras em Picat II

21 -----------

24 pai(XY) and

26 false

28 listar_pais =gt

29 printf(n )

32 listar_ant =gt

33 antepassado(XY)

35 false

37 listar_ant =gt

38 printf(n )

39 true

Regras em Picat III

42 main

43 ----

44 main =gt =gt

45 listar_pais

46 listar_ant

49 false

50 main =gt true

Regras em Picat IV

69 antepassado(ZY)

Layout

6 Conclusatildeo

Nuacutemero

Maximo = 7

Minimo = 5

Picatgt X = 7 X = X + 7 X = X + 7

X = 21

1 teste =gt

2 X = 3

3 Y = 4

4 if (X gt= Y)

5 then

7 else

1 main =gt

7 printf(n FIM n )

Tipos de dados

Layout

6 Conclusatildeo

Variaacutevel

X = 34 Y = 34 Z = X + Y

X = 56789000000000001Y = 56789000000000001Z = 56789000000000001yes

X = 7 X = X + 7 X = X + 7

X = 21

Aacutetomo

atom_chars(x) = X

chr(68) = Valor

length(ufsc) = X

len(ufsc) = X

Nuacutemeros

X = 3 number(X)

X = 3 Y = 4 X lt Y

X = [45]

X = [5253]

real(54321)

Layout

6 Conclusatildeo

Tipos compostos I

X = [Oi bom dia]

Predicado string(X)

Tipos compostos II

Exemplo a seguir

Tipos compostos III

1 =============================================================

2 main =gt

6 L = [X1 X2 X3]

12 foreach (X in L)

13 novo_17(X)

14 end

18 Ano gt= 2017

Tipos compostos IV

23 Ano lt 2017

27 =============================================================

Tipos compostos V

Tipos compostos VI

Exemplo a seguir

Tipos compostos VII

1 =============================================================

2 import os

3 import util

4 import math

9 printf(n====================================== n)

12 printf(n====================================== n)

16 ----------------------------------------------------------

19 Vetor = 34 56 78

24 ----------------------------------------------------------

27 Soma = 0

30 end

31 ----------------------------------------------------------

39 printf(w M[IJ] )

40 end

42 end

Tipos compostos IX

Tipos compostos I

Conjuntos e

Conclusatildeo

Referecircncias


WebIDE

Usando o Picat

Exemplos

Outros detalhes

Tipos de dados

Tipos simples

Tipos compostos

Conclusatildeo

Funcional

Loacutegico

Sintaxe elegante

Portabilidade

Extensatildeo

Ferramentas

Layout

6 Conclusatildeo

export PICATPATH

Layout

6 Conclusatildeo

WebIDE

Figura Picat Online

Layout

6 Conclusatildeo

Usando o Picat

Fatos e regras

Regras em Picat I

2 --------------------------

3 index(--)

9 REGRAS - exemplos

10 -----------------

17 X == Y

20 MAIS REGRAS

Regras em Picat II

21 -----------

24 pai(XY) and

26 false

28 listar_pais =gt

29 printf(n )

32 listar_ant =gt

33 antepassado(XY)

35 false

37 listar_ant =gt

38 printf(n )

39 true

Regras em Picat III

42 main

43 ----

44 main =gt =gt

45 listar_pais

46 listar_ant

49 false

50 main =gt true

Regras em Picat IV

69 antepassado(ZY)

Layout

6 Conclusatildeo

Nuacutemero

Maximo = 7

Minimo = 5

Picatgt X = 7 X = X + 7 X = X + 7

X = 21

1 teste =gt

2 X = 3

3 Y = 4

4 if (X gt= Y)

5 then

7 else

1 main =gt

7 printf(n FIM n )

Tipos de dados

Layout

6 Conclusatildeo

Variaacutevel

X = 34 Y = 34 Z = X + Y

X = 56789000000000001Y = 56789000000000001Z = 56789000000000001yes

X = 7 X = X + 7 X = X + 7

X = 21

Aacutetomo

atom_chars(x) = X

chr(68) = Valor

length(ufsc) = X

len(ufsc) = X

Nuacutemeros

X = 3 number(X)

X = 3 Y = 4 X lt Y

X = [45]

X = [5253]

real(54321)

Layout

6 Conclusatildeo

Tipos compostos I

X = [Oi bom dia]

Predicado string(X)

Tipos compostos II

Exemplo a seguir

Tipos compostos III

1 =============================================================

2 main =gt

6 L = [X1 X2 X3]

12 foreach (X in L)

13 novo_17(X)

14 end

18 Ano gt= 2017

Tipos compostos IV

23 Ano lt 2017

27 =============================================================

Tipos compostos V

Tipos compostos VI

Exemplo a seguir

Tipos compostos VII

1 =============================================================

2 import os

3 import util

4 import math

9 printf(n====================================== n)

12 printf(n====================================== n)

16 ----------------------------------------------------------

19 Vetor = 34 56 78

24 ----------------------------------------------------------

27 Soma = 0

30 end

31 ----------------------------------------------------------

39 printf(w M[IJ] )

40 end

42 end

Tipos compostos IX

Tipos compostos I

Conjuntos e

Conclusatildeo

Referecircncias


WebIDE

Usando o Picat

Exemplos

Outros detalhes

Tipos de dados

Tipos simples

Tipos compostos

Conclusatildeo

Sintaxe elegante

Portabilidade

Extensatildeo

Ferramentas

Layout

6 Conclusatildeo

export PICATPATH

Layout

6 Conclusatildeo

WebIDE

Figura Picat Online

Layout

6 Conclusatildeo

Usando o Picat

Fatos e regras

Regras em Picat I

2 --------------------------

3 index(--)

9 REGRAS - exemplos

10 -----------------

17 X == Y

20 MAIS REGRAS

Regras em Picat II

21 -----------

24 pai(XY) and

26 false

28 listar_pais =gt

29 printf(n )

32 listar_ant =gt

33 antepassado(XY)

35 false

37 listar_ant =gt

38 printf(n )

39 true

Regras em Picat III

42 main

43 ----

44 main =gt =gt

45 listar_pais

46 listar_ant

49 false

50 main =gt true

Regras em Picat IV

69 antepassado(ZY)

Layout

6 Conclusatildeo

Nuacutemero

Maximo = 7

Minimo = 5

Picatgt X = 7 X = X + 7 X = X + 7

X = 21

1 teste =gt

2 X = 3

3 Y = 4

4 if (X gt= Y)

5 then

7 else

1 main =gt

7 printf(n FIM n )

Tipos de dados

Layout

6 Conclusatildeo

Variaacutevel

X = 34 Y = 34 Z = X + Y

X = 56789000000000001Y = 56789000000000001Z = 56789000000000001yes

X = 7 X = X + 7 X = X + 7

X = 21

Aacutetomo

atom_chars(x) = X

chr(68) = Valor

length(ufsc) = X

len(ufsc) = X

Nuacutemeros

X = 3 number(X)

X = 3 Y = 4 X lt Y

X = [45]

X = [5253]

real(54321)

Layout

6 Conclusatildeo

Tipos compostos I

X = [Oi bom dia]

Predicado string(X)

Tipos compostos II

Exemplo a seguir

Tipos compostos III

1 =============================================================

2 main =gt

6 L = [X1 X2 X3]

12 foreach (X in L)

13 novo_17(X)

14 end

18 Ano gt= 2017

Tipos compostos IV

23 Ano lt 2017

27 =============================================================

Tipos compostos V

Tipos compostos VI

Exemplo a seguir

Tipos compostos VII

1 =============================================================

2 import os

3 import util

4 import math

9 printf(n====================================== n)

12 printf(n====================================== n)

16 ----------------------------------------------------------

19 Vetor = 34 56 78

24 ----------------------------------------------------------

27 Soma = 0

30 end

31 ----------------------------------------------------------

39 printf(w M[IJ] )

40 end

42 end

Tipos compostos IX

Tipos compostos I

Conjuntos e

Conclusatildeo

Referecircncias


WebIDE

Usando o Picat

Exemplos

Outros detalhes

Tipos de dados

Tipos simples

Tipos compostos

Conclusatildeo

Layout

6 Conclusatildeo

export PICATPATH

Layout

6 Conclusatildeo

WebIDE

Figura Picat Online

Layout

6 Conclusatildeo

Usando o Picat

Fatos e regras

Regras em Picat I

2 --------------------------

3 index(--)

9 REGRAS - exemplos

10 -----------------

17 X == Y

20 MAIS REGRAS

Regras em Picat II

21 -----------

24 pai(XY) and

26 false

28 listar_pais =gt

29 printf(n )

32 listar_ant =gt

33 antepassado(XY)

35 false

37 listar_ant =gt

38 printf(n )

39 true

Regras em Picat III

42 main

43 ----

44 main =gt =gt

45 listar_pais

46 listar_ant

49 false

50 main =gt true

Regras em Picat IV

69 antepassado(ZY)

Layout

6 Conclusatildeo

Nuacutemero

Maximo = 7

Minimo = 5

Picatgt X = 7 X = X + 7 X = X + 7

X = 21

1 teste =gt

2 X = 3

3 Y = 4

4 if (X gt= Y)

5 then

7 else

1 main =gt

7 printf(n FIM n )

Tipos de dados

Layout

6 Conclusatildeo

Variaacutevel

X = 34 Y = 34 Z = X + Y

X = 56789000000000001Y = 56789000000000001Z = 56789000000000001yes

X = 7 X = X + 7 X = X + 7

X = 21

Aacutetomo

atom_chars(x) = X

chr(68) = Valor

length(ufsc) = X

len(ufsc) = X

Nuacutemeros

X = 3 number(X)

X = 3 Y = 4 X lt Y

X = [45]

X = [5253]

real(54321)

Layout

6 Conclusatildeo

Tipos compostos I

X = [Oi bom dia]

Predicado string(X)

Tipos compostos II

Exemplo a seguir

Tipos compostos III

1 =============================================================

2 main =gt

6 L = [X1 X2 X3]

12 foreach (X in L)

13 novo_17(X)

14 end

18 Ano gt= 2017

Tipos compostos IV

23 Ano lt 2017

27 =============================================================

Tipos compostos V

Tipos compostos VI

Exemplo a seguir

Tipos compostos VII

1 =============================================================

2 import os

3 import util

4 import math

9 printf(n====================================== n)

12 printf(n====================================== n)

16 ----------------------------------------------------------

19 Vetor = 34 56 78

24 ----------------------------------------------------------

27 Soma = 0

30 end

31 ----------------------------------------------------------

39 printf(w M[IJ] )

40 end

42 end

Tipos compostos IX

Tipos compostos I

Conjuntos e

Conclusatildeo

Referecircncias


WebIDE

Usando o Picat

Exemplos

Outros detalhes

Tipos de dados

Tipos simples

Tipos compostos

Conclusatildeo

Layout

6 Conclusatildeo

export PICATPATH

Layout

6 Conclusatildeo

WebIDE

Figura Picat Online

Layout

6 Conclusatildeo

Usando o Picat

Fatos e regras

Regras em Picat I

2 --------------------------

3 index(--)

9 REGRAS - exemplos

10 -----------------

17 X == Y

20 MAIS REGRAS

Regras em Picat II

21 -----------

24 pai(XY) and

26 false

28 listar_pais =gt

29 printf(n )

32 listar_ant =gt

33 antepassado(XY)

35 false

37 listar_ant =gt

38 printf(n )

39 true

Regras em Picat III

42 main

43 ----

44 main =gt =gt

45 listar_pais

46 listar_ant

49 false

50 main =gt true

Regras em Picat IV

69 antepassado(ZY)

Layout

6 Conclusatildeo

Nuacutemero

Maximo = 7

Minimo = 5

Picatgt X = 7 X = X + 7 X = X + 7

X = 21

1 teste =gt

2 X = 3

3 Y = 4

4 if (X gt= Y)

5 then

7 else

1 main =gt

7 printf(n FIM n )

Tipos de dados

Layout

6 Conclusatildeo

Variaacutevel

X = 34 Y = 34 Z = X + Y

X = 56789000000000001Y = 56789000000000001Z = 56789000000000001yes

X = 7 X = X + 7 X = X + 7

X = 21

Aacutetomo

atom_chars(x) = X

chr(68) = Valor

length(ufsc) = X

len(ufsc) = X

Nuacutemeros

X = 3 number(X)

X = 3 Y = 4 X lt Y

X = [45]

X = [5253]

real(54321)

Layout

6 Conclusatildeo

Tipos compostos I

X = [Oi bom dia]

Predicado string(X)

Tipos compostos II

Exemplo a seguir

Tipos compostos III

1 =============================================================

2 main =gt

6 L = [X1 X2 X3]

12 foreach (X in L)

13 novo_17(X)

14 end

18 Ano gt= 2017

Tipos compostos IV

23 Ano lt 2017

27 =============================================================

Tipos compostos V

Tipos compostos VI

Exemplo a seguir

Tipos compostos VII

1 =============================================================

2 import os

3 import util

4 import math

9 printf(n====================================== n)

12 printf(n====================================== n)

16 ----------------------------------------------------------

19 Vetor = 34 56 78

24 ----------------------------------------------------------

27 Soma = 0

30 end

31 ----------------------------------------------------------

39 printf(w M[IJ] )

40 end

42 end

Tipos compostos IX

Tipos compostos I

Conjuntos e

Conclusatildeo

Referecircncias


WebIDE

Usando o Picat

Exemplos

Outros detalhes

Tipos de dados

Tipos simples

Tipos compostos

Conclusatildeo

export PICATPATH

Layout

6 Conclusatildeo

WebIDE

Figura Picat Online

Layout

6 Conclusatildeo

Usando o Picat

Fatos e regras

Regras em Picat I

2 --------------------------

3 index(--)

9 REGRAS - exemplos

10 -----------------

17 X == Y

20 MAIS REGRAS

Regras em Picat II

21 -----------

24 pai(XY) and

26 false

28 listar_pais =gt

29 printf(n )

32 listar_ant =gt

33 antepassado(XY)

35 false

37 listar_ant =gt

38 printf(n )

39 true

Regras em Picat III

42 main

43 ----

44 main =gt =gt

45 listar_pais

46 listar_ant

49 false

50 main =gt true

Regras em Picat IV

69 antepassado(ZY)

Layout

6 Conclusatildeo

Nuacutemero

Maximo = 7

Minimo = 5

Picatgt X = 7 X = X + 7 X = X + 7

X = 21

1 teste =gt

2 X = 3

3 Y = 4

4 if (X gt= Y)

5 then

7 else

1 main =gt

7 printf(n FIM n )

Tipos de dados

Layout

6 Conclusatildeo

Variaacutevel

X = 34 Y = 34 Z = X + Y

X = 56789000000000001Y = 56789000000000001Z = 56789000000000001yes

X = 7 X = X + 7 X = X + 7

X = 21

Aacutetomo

atom_chars(x) = X

chr(68) = Valor

length(ufsc) = X

len(ufsc) = X

Nuacutemeros

X = 3 number(X)

X = 3 Y = 4 X lt Y

X = [45]

X = [5253]

real(54321)

Layout

6 Conclusatildeo

Tipos compostos I

X = [Oi bom dia]

Predicado string(X)

Tipos compostos II

Exemplo a seguir

Tipos compostos III

1 =============================================================

2 main =gt

6 L = [X1 X2 X3]

12 foreach (X in L)

13 novo_17(X)

14 end

18 Ano gt= 2017

Tipos compostos IV

23 Ano lt 2017

27 =============================================================

Tipos compostos V

Tipos compostos VI

Exemplo a seguir

Tipos compostos VII

1 =============================================================

2 import os

3 import util

4 import math

9 printf(n====================================== n)

12 printf(n====================================== n)

16 ----------------------------------------------------------

19 Vetor = 34 56 78

24 ----------------------------------------------------------

27 Soma = 0

30 end

31 ----------------------------------------------------------

39 printf(w M[IJ] )

40 end

42 end

Tipos compostos IX

Tipos compostos I

Conjuntos e

Conclusatildeo

Referecircncias


WebIDE

Usando o Picat

Exemplos

Outros detalhes

Tipos de dados

Tipos simples

Tipos compostos

Conclusatildeo

Layout

6 Conclusatildeo

WebIDE

Figura Picat Online

Layout

6 Conclusatildeo

Usando o Picat

Fatos e regras

Regras em Picat I

2 --------------------------

3 index(--)

9 REGRAS - exemplos

10 -----------------

17 X == Y

20 MAIS REGRAS

Regras em Picat II

21 -----------

24 pai(XY) and

26 false

28 listar_pais =gt

29 printf(n )

32 listar_ant =gt

33 antepassado(XY)

35 false

37 listar_ant =gt

38 printf(n )

39 true

Regras em Picat III

42 main

43 ----

44 main =gt =gt

45 listar_pais

46 listar_ant

49 false

50 main =gt true

Regras em Picat IV

69 antepassado(ZY)

Layout

6 Conclusatildeo

Nuacutemero

Maximo = 7

Minimo = 5

Picatgt X = 7 X = X + 7 X = X + 7

X = 21

1 teste =gt

2 X = 3

3 Y = 4

4 if (X gt= Y)

5 then

7 else

1 main =gt

7 printf(n FIM n )

Tipos de dados

Layout

6 Conclusatildeo

Variaacutevel

X = 34 Y = 34 Z = X + Y

X = 56789000000000001Y = 56789000000000001Z = 56789000000000001yes

X = 7 X = X + 7 X = X + 7

X = 21

Aacutetomo

atom_chars(x) = X

chr(68) = Valor

length(ufsc) = X

len(ufsc) = X

Nuacutemeros

X = 3 number(X)

X = 3 Y = 4 X lt Y

X = [45]

X = [5253]

real(54321)

Layout

6 Conclusatildeo

Tipos compostos I

X = [Oi bom dia]

Predicado string(X)

Tipos compostos II

Exemplo a seguir

Tipos compostos III

1 =============================================================

2 main =gt

6 L = [X1 X2 X3]

12 foreach (X in L)

13 novo_17(X)

14 end

18 Ano gt= 2017

Tipos compostos IV

23 Ano lt 2017

27 =============================================================

Tipos compostos V

Tipos compostos VI

Exemplo a seguir

Tipos compostos VII

1 =============================================================

2 import os

3 import util

4 import math

9 printf(n====================================== n)

12 printf(n====================================== n)

16 ----------------------------------------------------------

19 Vetor = 34 56 78

24 ----------------------------------------------------------

27 Soma = 0

30 end

31 ----------------------------------------------------------

39 printf(w M[IJ] )

40 end

42 end

Tipos compostos IX

Tipos compostos I

Conjuntos e

Conclusatildeo

Referecircncias


WebIDE

Usando o Picat

Exemplos

Outros detalhes

Tipos de dados

Tipos simples

Tipos compostos

Conclusatildeo

WebIDE

Figura Picat Online

Layout

6 Conclusatildeo

Usando o Picat

Fatos e regras

Regras em Picat I

2 --------------------------

3 index(--)

9 REGRAS - exemplos

10 -----------------

17 X == Y

20 MAIS REGRAS

Regras em Picat II

21 -----------

24 pai(XY) and

26 false

28 listar_pais =gt

29 printf(n )

32 listar_ant =gt

33 antepassado(XY)

35 false

37 listar_ant =gt

38 printf(n )

39 true

Regras em Picat III

42 main

43 ----

44 main =gt =gt

45 listar_pais

46 listar_ant

49 false

50 main =gt true

Regras em Picat IV

69 antepassado(ZY)

Layout

6 Conclusatildeo

Nuacutemero

Maximo = 7

Minimo = 5

Picatgt X = 7 X = X + 7 X = X + 7

X = 21

1 teste =gt

2 X = 3

3 Y = 4

4 if (X gt= Y)

5 then

7 else

1 main =gt

7 printf(n FIM n )

Tipos de dados

Layout

6 Conclusatildeo

Variaacutevel

X = 34 Y = 34 Z = X + Y

X = 56789000000000001Y = 56789000000000001Z = 56789000000000001yes

X = 7 X = X + 7 X = X + 7

X = 21

Aacutetomo

atom_chars(x) = X

chr(68) = Valor

length(ufsc) = X

len(ufsc) = X

Nuacutemeros

X = 3 number(X)

X = 3 Y = 4 X lt Y

X = [45]

X = [5253]

real(54321)

Layout

6 Conclusatildeo

Tipos compostos I

X = [Oi bom dia]

Predicado string(X)

Tipos compostos II

Exemplo a seguir

Tipos compostos III

1 =============================================================

2 main =gt

6 L = [X1 X2 X3]

12 foreach (X in L)

13 novo_17(X)

14 end

18 Ano gt= 2017

Tipos compostos IV

23 Ano lt 2017

27 =============================================================

Tipos compostos V

Tipos compostos VI

Exemplo a seguir

Tipos compostos VII

1 =============================================================

2 import os

3 import util

4 import math

9 printf(n====================================== n)

12 printf(n====================================== n)

16 ----------------------------------------------------------

19 Vetor = 34 56 78

24 ----------------------------------------------------------

27 Soma = 0

30 end

31 ----------------------------------------------------------

39 printf(w M[IJ] )

40 end

42 end

Tipos compostos IX

Tipos compostos I

Conjuntos e

Conclusatildeo

Referecircncias


WebIDE

Usando o Picat

Exemplos

Outros detalhes

Tipos de dados

Tipos simples

Tipos compostos

Conclusatildeo

Layout

6 Conclusatildeo

Usando o Picat

Fatos e regras

Regras em Picat I

2 --------------------------

3 index(--)

9 REGRAS - exemplos

10 -----------------

17 X == Y

20 MAIS REGRAS

Regras em Picat II

21 -----------

24 pai(XY) and

26 false

28 listar_pais =gt

29 printf(n )

32 listar_ant =gt

33 antepassado(XY)

35 false

37 listar_ant =gt

38 printf(n )

39 true

Regras em Picat III

42 main

43 ----

44 main =gt =gt

45 listar_pais

46 listar_ant

49 false

50 main =gt true

Regras em Picat IV

69 antepassado(ZY)

Layout

6 Conclusatildeo

Nuacutemero

Maximo = 7

Minimo = 5

Picatgt X = 7 X = X + 7 X = X + 7

X = 21

1 teste =gt

2 X = 3

3 Y = 4

4 if (X gt= Y)

5 then

7 else

1 main =gt

7 printf(n FIM n )

Tipos de dados

Layout

6 Conclusatildeo

Variaacutevel

X = 34 Y = 34 Z = X + Y

X = 56789000000000001Y = 56789000000000001Z = 56789000000000001yes

X = 7 X = X + 7 X = X + 7

X = 21

Aacutetomo

atom_chars(x) = X

chr(68) = Valor

length(ufsc) = X

len(ufsc) = X

Nuacutemeros

X = 3 number(X)

X = 3 Y = 4 X lt Y

X = [45]

X = [5253]

real(54321)

Layout

6 Conclusatildeo

Tipos compostos I

X = [Oi bom dia]

Predicado string(X)

Tipos compostos II

Exemplo a seguir

Tipos compostos III

1 =============================================================

2 main =gt

6 L = [X1 X2 X3]

12 foreach (X in L)

13 novo_17(X)

14 end

18 Ano gt= 2017

Tipos compostos IV

23 Ano lt 2017

27 =============================================================

Tipos compostos V

Tipos compostos VI

Exemplo a seguir

Tipos compostos VII

1 =============================================================

2 import os

3 import util

4 import math

9 printf(n====================================== n)

12 printf(n====================================== n)

16 ----------------------------------------------------------

19 Vetor = 34 56 78

24 ----------------------------------------------------------

27 Soma = 0

30 end

31 ----------------------------------------------------------

39 printf(w M[IJ] )

40 end

42 end

Tipos compostos IX

Tipos compostos I

Conjuntos e

Conclusatildeo

Referecircncias


WebIDE

Usando o Picat

Exemplos

Outros detalhes

Tipos de dados

Tipos simples

Tipos compostos

Conclusatildeo

Usando o Picat

Fatos e regras

Regras em Picat I

2 --------------------------

3 index(--)

9 REGRAS - exemplos

10 -----------------

17 X == Y

20 MAIS REGRAS

Regras em Picat II

21 -----------

24 pai(XY) and

26 false

28 listar_pais =gt

29 printf(n )

32 listar_ant =gt

33 antepassado(XY)

35 false

37 listar_ant =gt

38 printf(n )

39 true

Regras em Picat III

42 main

43 ----

44 main =gt =gt

45 listar_pais

46 listar_ant

49 false

50 main =gt true

Regras em Picat IV

69 antepassado(ZY)

Layout

6 Conclusatildeo

Nuacutemero

Maximo = 7

Minimo = 5

Picatgt X = 7 X = X + 7 X = X + 7

X = 21

1 teste =gt

2 X = 3

3 Y = 4

4 if (X gt= Y)

5 then

7 else

1 main =gt

7 printf(n FIM n )

Tipos de dados

Layout

6 Conclusatildeo

Variaacutevel

X = 34 Y = 34 Z = X + Y

X = 56789000000000001Y = 56789000000000001Z = 56789000000000001yes

X = 7 X = X + 7 X = X + 7

X = 21

Aacutetomo

atom_chars(x) = X

chr(68) = Valor

length(ufsc) = X

len(ufsc) = X

Nuacutemeros

X = 3 number(X)

X = 3 Y = 4 X lt Y

X = [45]

X = [5253]

real(54321)

Layout

6 Conclusatildeo

Tipos compostos I

X = [Oi bom dia]

Predicado string(X)

Tipos compostos II

Exemplo a seguir

Tipos compostos III

1 =============================================================

2 main =gt

6 L = [X1 X2 X3]

12 foreach (X in L)

13 novo_17(X)

14 end

18 Ano gt= 2017

Tipos compostos IV

23 Ano lt 2017

27 =============================================================

Tipos compostos V

Tipos compostos VI

Exemplo a seguir

Tipos compostos VII

1 =============================================================

2 import os

3 import util

4 import math

9 printf(n====================================== n)

12 printf(n====================================== n)

16 ----------------------------------------------------------

19 Vetor = 34 56 78

24 ----------------------------------------------------------

27 Soma = 0

30 end

31 ----------------------------------------------------------

39 printf(w M[IJ] )

40 end

42 end

Tipos compostos IX

Tipos compostos I

Conjuntos e

Conclusatildeo

Referecircncias


WebIDE

Usando o Picat

Exemplos

Outros detalhes

Tipos de dados

Tipos simples

Tipos compostos

Conclusatildeo

Fatos e regras

Regras em Picat I

2 --------------------------

3 index(--)

9 REGRAS - exemplos

10 -----------------

17 X == Y

20 MAIS REGRAS

Regras em Picat II

21 -----------

24 pai(XY) and

26 false

28 listar_pais =gt

29 printf(n )

32 listar_ant =gt

33 antepassado(XY)

35 false

37 listar_ant =gt

38 printf(n )

39 true

Regras em Picat III

42 main

43 ----

44 main =gt =gt

45 listar_pais

46 listar_ant

49 false

50 main =gt true

Regras em Picat IV

69 antepassado(ZY)

Layout

6 Conclusatildeo

Nuacutemero

Maximo = 7

Minimo = 5

Picatgt X = 7 X = X + 7 X = X + 7

X = 21

1 teste =gt

2 X = 3

3 Y = 4

4 if (X gt= Y)

5 then

7 else

1 main =gt

7 printf(n FIM n )

Tipos de dados

Layout

6 Conclusatildeo

Variaacutevel

X = 34 Y = 34 Z = X + Y

X = 56789000000000001Y = 56789000000000001Z = 56789000000000001yes

X = 7 X = X + 7 X = X + 7

X = 21

Aacutetomo

atom_chars(x) = X

chr(68) = Valor

length(ufsc) = X

len(ufsc) = X

Nuacutemeros

X = 3 number(X)

X = 3 Y = 4 X lt Y

X = [45]

X = [5253]

real(54321)

Layout

6 Conclusatildeo

Tipos compostos I

X = [Oi bom dia]

Predicado string(X)

Tipos compostos II

Exemplo a seguir

Tipos compostos III

1 =============================================================

2 main =gt

6 L = [X1 X2 X3]

12 foreach (X in L)

13 novo_17(X)

14 end

18 Ano gt= 2017

Tipos compostos IV

23 Ano lt 2017

27 =============================================================

Tipos compostos V

Tipos compostos VI

Exemplo a seguir

Tipos compostos VII

1 =============================================================

2 import os

3 import util

4 import math

9 printf(n====================================== n)

12 printf(n====================================== n)

16 ----------------------------------------------------------

19 Vetor = 34 56 78

24 ----------------------------------------------------------

27 Soma = 0

30 end

31 ----------------------------------------------------------

39 printf(w M[IJ] )

40 end

42 end

Tipos compostos IX

Tipos compostos I

Conjuntos e

Conclusatildeo

Referecircncias


WebIDE

Usando o Picat

Exemplos

Outros detalhes

Tipos de dados

Tipos simples

Tipos compostos

Conclusatildeo

Regras em Picat I

2 --------------------------

3 index(--)

9 REGRAS - exemplos

10 -----------------

17 X == Y

20 MAIS REGRAS

Regras em Picat II

21 -----------

24 pai(XY) and

26 false

28 listar_pais =gt

29 printf(n )

32 listar_ant =gt

33 antepassado(XY)

35 false

37 listar_ant =gt

38 printf(n )

39 true

Regras em Picat III

42 main

43 ----

44 main =gt =gt

45 listar_pais

46 listar_ant

49 false

50 main =gt true

Regras em Picat IV

69 antepassado(ZY)

Layout

6 Conclusatildeo

Nuacutemero

Maximo = 7

Minimo = 5

Picatgt X = 7 X = X + 7 X = X + 7

X = 21

1 teste =gt

2 X = 3

3 Y = 4

4 if (X gt= Y)

5 then

7 else

1 main =gt

7 printf(n FIM n )

Tipos de dados

Layout

6 Conclusatildeo

Variaacutevel

X = 34 Y = 34 Z = X + Y

X = 56789000000000001Y = 56789000000000001Z = 56789000000000001yes

X = 7 X = X + 7 X = X + 7

X = 21

Aacutetomo

atom_chars(x) = X

chr(68) = Valor

length(ufsc) = X

len(ufsc) = X

Nuacutemeros

X = 3 number(X)

X = 3 Y = 4 X lt Y

X = [45]

X = [5253]

real(54321)

Layout

6 Conclusatildeo

Tipos compostos I

X = [Oi bom dia]

Predicado string(X)

Tipos compostos II

Exemplo a seguir

Tipos compostos III

1 =============================================================

2 main =gt

6 L = [X1 X2 X3]

12 foreach (X in L)

13 novo_17(X)

14 end

18 Ano gt= 2017

Tipos compostos IV

23 Ano lt 2017

27 =============================================================

Tipos compostos V

Tipos compostos VI

Exemplo a seguir

Tipos compostos VII

1 =============================================================

2 import os

3 import util

4 import math

9 printf(n====================================== n)

12 printf(n====================================== n)

16 ----------------------------------------------------------

19 Vetor = 34 56 78

24 ----------------------------------------------------------

27 Soma = 0

30 end

31 ----------------------------------------------------------

39 printf(w M[IJ] )

40 end

42 end

Tipos compostos IX

Tipos compostos I

Conjuntos e

Conclusatildeo

Referecircncias


WebIDE

Usando o Picat

Exemplos

Outros detalhes

Tipos de dados

Tipos simples

Tipos compostos

Conclusatildeo

Regras em Picat II

21 -----------

24 pai(XY) and

26 false

28 listar_pais =gt

29 printf(n )

32 listar_ant =gt

33 antepassado(XY)

35 false

37 listar_ant =gt

38 printf(n )

39 true

Regras em Picat III

42 main

43 ----

44 main =gt =gt

45 listar_pais

46 listar_ant

49 false

50 main =gt true

Regras em Picat IV

69 antepassado(ZY)

Layout

6 Conclusatildeo

Nuacutemero

Maximo = 7

Minimo = 5

Picatgt X = 7 X = X + 7 X = X + 7

X = 21

1 teste =gt

2 X = 3

3 Y = 4

4 if (X gt= Y)

5 then

7 else

1 main =gt

7 printf(n FIM n )

Tipos de dados

Layout

6 Conclusatildeo

Variaacutevel

X = 34 Y = 34 Z = X + Y

X = 56789000000000001Y = 56789000000000001Z = 56789000000000001yes

X = 7 X = X + 7 X = X + 7

X = 21

Aacutetomo

atom_chars(x) = X

chr(68) = Valor

length(ufsc) = X

len(ufsc) = X

Nuacutemeros

X = 3 number(X)

X = 3 Y = 4 X lt Y

X = [45]

X = [5253]

real(54321)

Layout

6 Conclusatildeo

Tipos compostos I

X = [Oi bom dia]

Predicado string(X)

Tipos compostos II

Exemplo a seguir

Tipos compostos III

1 =============================================================

2 main =gt

6 L = [X1 X2 X3]

12 foreach (X in L)

13 novo_17(X)

14 end

18 Ano gt= 2017

Tipos compostos IV

23 Ano lt 2017

27 =============================================================

Tipos compostos V

Tipos compostos VI

Exemplo a seguir

Tipos compostos VII

1 =============================================================

2 import os

3 import util

4 import math

9 printf(n====================================== n)

12 printf(n====================================== n)

16 ----------------------------------------------------------

19 Vetor = 34 56 78

24 ----------------------------------------------------------

27 Soma = 0

30 end

31 ----------------------------------------------------------

39 printf(w M[IJ] )

40 end

42 end

Tipos compostos IX

Tipos compostos I

Conjuntos e

Conclusatildeo

Referecircncias


WebIDE

Usando o Picat

Exemplos

Outros detalhes

Tipos de dados

Tipos simples

Tipos compostos

Conclusatildeo

Regras em Picat III

42 main

43 ----

44 main =gt =gt

45 listar_pais

46 listar_ant

49 false

50 main =gt true

Regras em Picat IV

69 antepassado(ZY)

Layout

6 Conclusatildeo

Nuacutemero

Maximo = 7

Minimo = 5

Picatgt X = 7 X = X + 7 X = X + 7

X = 21

1 teste =gt

2 X = 3

3 Y = 4

4 if (X gt= Y)

5 then

7 else

1 main =gt

7 printf(n FIM n )

Tipos de dados

Layout

6 Conclusatildeo

Variaacutevel

X = 34 Y = 34 Z = X + Y

X = 56789000000000001Y = 56789000000000001Z = 56789000000000001yes

X = 7 X = X + 7 X = X + 7

X = 21

Aacutetomo

atom_chars(x) = X

chr(68) = Valor

length(ufsc) = X

len(ufsc) = X

Nuacutemeros

X = 3 number(X)

X = 3 Y = 4 X lt Y

X = [45]

X = [5253]

real(54321)

Layout

6 Conclusatildeo

Tipos compostos I

X = [Oi bom dia]

Predicado string(X)

Tipos compostos II

Exemplo a seguir

Tipos compostos III

1 =============================================================

2 main =gt

6 L = [X1 X2 X3]

12 foreach (X in L)

13 novo_17(X)

14 end

18 Ano gt= 2017

Tipos compostos IV

23 Ano lt 2017

27 =============================================================

Tipos compostos V

Tipos compostos VI

Exemplo a seguir

Tipos compostos VII

1 =============================================================

2 import os

3 import util

4 import math

9 printf(n====================================== n)

12 printf(n====================================== n)

16 ----------------------------------------------------------

19 Vetor = 34 56 78

24 ----------------------------------------------------------

27 Soma = 0

30 end

31 ----------------------------------------------------------

39 printf(w M[IJ] )

40 end

42 end

Tipos compostos IX

Tipos compostos I

Conjuntos e

Conclusatildeo

Referecircncias


WebIDE

Usando o Picat

Exemplos

Outros detalhes

Tipos de dados

Tipos simples

Tipos compostos

Conclusatildeo

Regras em Picat IV

69 antepassado(ZY)

Layout

6 Conclusatildeo

Nuacutemero

Maximo = 7

Minimo = 5

Picatgt X = 7 X = X + 7 X = X + 7

X = 21

1 teste =gt

2 X = 3

3 Y = 4

4 if (X gt= Y)

5 then

7 else

1 main =gt

7 printf(n FIM n )

Tipos de dados

Layout

6 Conclusatildeo

Variaacutevel

X = 34 Y = 34 Z = X + Y

X = 56789000000000001Y = 56789000000000001Z = 56789000000000001yes

X = 7 X = X + 7 X = X + 7

X = 21

Aacutetomo

atom_chars(x) = X

chr(68) = Valor

length(ufsc) = X

len(ufsc) = X

Nuacutemeros

X = 3 number(X)

X = 3 Y = 4 X lt Y

X = [45]

X = [5253]

real(54321)

Layout

6 Conclusatildeo

Tipos compostos I

X = [Oi bom dia]

Predicado string(X)

Tipos compostos II

Exemplo a seguir

Tipos compostos III

1 =============================================================

2 main =gt

6 L = [X1 X2 X3]

12 foreach (X in L)

13 novo_17(X)

14 end

18 Ano gt= 2017

Tipos compostos IV

23 Ano lt 2017

27 =============================================================

Tipos compostos V

Tipos compostos VI

Exemplo a seguir

Tipos compostos VII

1 =============================================================

2 import os

3 import util

4 import math

9 printf(n====================================== n)

12 printf(n====================================== n)

16 ----------------------------------------------------------

19 Vetor = 34 56 78

24 ----------------------------------------------------------

27 Soma = 0

30 end

31 ----------------------------------------------------------

39 printf(w M[IJ] )

40 end

42 end

Tipos compostos IX

Tipos compostos I

Conjuntos e

Conclusatildeo

Referecircncias


WebIDE

Usando o Picat

Exemplos

Outros detalhes

Tipos de dados

Tipos simples

Tipos compostos

Conclusatildeo

Layout

6 Conclusatildeo

Nuacutemero

Maximo = 7

Minimo = 5

Picatgt X = 7 X = X + 7 X = X + 7

X = 21

1 teste =gt

2 X = 3

3 Y = 4

4 if (X gt= Y)

5 then

7 else

1 main =gt

7 printf(n FIM n )

Tipos de dados

Layout

6 Conclusatildeo

Variaacutevel

X = 34 Y = 34 Z = X + Y

X = 56789000000000001Y = 56789000000000001Z = 56789000000000001yes

X = 7 X = X + 7 X = X + 7

X = 21

Aacutetomo

atom_chars(x) = X

chr(68) = Valor

length(ufsc) = X

len(ufsc) = X

Nuacutemeros

X = 3 number(X)

X = 3 Y = 4 X lt Y

X = [45]

X = [5253]

real(54321)

Layout

6 Conclusatildeo

Tipos compostos I

X = [Oi bom dia]

Predicado string(X)

Tipos compostos II

Exemplo a seguir

Tipos compostos III

1 =============================================================

2 main =gt

6 L = [X1 X2 X3]

12 foreach (X in L)

13 novo_17(X)

14 end

18 Ano gt= 2017

Tipos compostos IV

23 Ano lt 2017

27 =============================================================

Tipos compostos V

Tipos compostos VI

Exemplo a seguir

Tipos compostos VII

1 =============================================================

2 import os

3 import util

4 import math

9 printf(n====================================== n)

12 printf(n====================================== n)

16 ----------------------------------------------------------

19 Vetor = 34 56 78

24 ----------------------------------------------------------

27 Soma = 0

30 end

31 ----------------------------------------------------------

39 printf(w M[IJ] )

40 end

42 end

Tipos compostos IX

Tipos compostos I

Conjuntos e

Conclusatildeo

Referecircncias


WebIDE

Usando o Picat

Exemplos

Outros detalhes

Tipos de dados

Tipos simples

Tipos compostos

Conclusatildeo

Nuacutemero

Maximo = 7

Minimo = 5

Picatgt X = 7 X = X + 7 X = X + 7

X = 21

1 teste =gt

2 X = 3

3 Y = 4

4 if (X gt= Y)

5 then

7 else

1 main =gt

7 printf(n FIM n )

Tipos de dados

Layout

6 Conclusatildeo

Variaacutevel

X = 34 Y = 34 Z = X + Y

X = 56789000000000001Y = 56789000000000001Z = 56789000000000001yes

X = 7 X = X + 7 X = X + 7

X = 21

Aacutetomo

atom_chars(x) = X

chr(68) = Valor

length(ufsc) = X

len(ufsc) = X

Nuacutemeros

X = 3 number(X)

X = 3 Y = 4 X lt Y

X = [45]

X = [5253]

real(54321)

Layout

6 Conclusatildeo

Tipos compostos I

X = [Oi bom dia]

Predicado string(X)

Tipos compostos II

Exemplo a seguir

Tipos compostos III

1 =============================================================

2 main =gt

6 L = [X1 X2 X3]

12 foreach (X in L)

13 novo_17(X)

14 end

18 Ano gt= 2017

Tipos compostos IV

23 Ano lt 2017

27 =============================================================

Tipos compostos V

Tipos compostos VI

Exemplo a seguir

Tipos compostos VII

1 =============================================================

2 import os

3 import util

4 import math

9 printf(n====================================== n)

12 printf(n====================================== n)

16 ----------------------------------------------------------

19 Vetor = 34 56 78

24 ----------------------------------------------------------

27 Soma = 0

30 end

31 ----------------------------------------------------------

39 printf(w M[IJ] )

40 end

42 end

Tipos compostos IX

Tipos compostos I

Conjuntos e

Conclusatildeo

Referecircncias


WebIDE

Usando o Picat

Exemplos

Outros detalhes

Tipos de dados

Tipos simples

Tipos compostos

Conclusatildeo

Picatgt X = 7 X = X + 7 X = X + 7

X = 21

1 teste =gt

2 X = 3

3 Y = 4

4 if (X gt= Y)

5 then

7 else

1 main =gt

7 printf(n FIM n )

Tipos de dados

Layout

6 Conclusatildeo

Variaacutevel

X = 34 Y = 34 Z = X + Y

X = 56789000000000001Y = 56789000000000001Z = 56789000000000001yes

X = 7 X = X + 7 X = X + 7

X = 21

Aacutetomo

atom_chars(x) = X

chr(68) = Valor

length(ufsc) = X

len(ufsc) = X

Nuacutemeros

X = 3 number(X)

X = 3 Y = 4 X lt Y

X = [45]

X = [5253]

real(54321)

Layout

6 Conclusatildeo

Tipos compostos I

X = [Oi bom dia]

Predicado string(X)

Tipos compostos II

Exemplo a seguir

Tipos compostos III

1 =============================================================

2 main =gt

6 L = [X1 X2 X3]

12 foreach (X in L)

13 novo_17(X)

14 end

18 Ano gt= 2017

Tipos compostos IV

23 Ano lt 2017

27 =============================================================

Tipos compostos V

Tipos compostos VI

Exemplo a seguir

Tipos compostos VII

1 =============================================================

2 import os

3 import util

4 import math

9 printf(n====================================== n)

12 printf(n====================================== n)

16 ----------------------------------------------------------

19 Vetor = 34 56 78

24 ----------------------------------------------------------

27 Soma = 0

30 end

31 ----------------------------------------------------------

39 printf(w M[IJ] )

40 end

42 end

Tipos compostos IX

Tipos compostos I

Conjuntos e

Conclusatildeo

Referecircncias


WebIDE

Usando o Picat

Exemplos

Outros detalhes

Tipos de dados

Tipos simples

Tipos compostos

Conclusatildeo

1 teste =gt

2 X = 3

3 Y = 4

4 if (X gt= Y)

5 then

7 else

1 main =gt

7 printf(n FIM n )

Tipos de dados

Layout

6 Conclusatildeo

Variaacutevel

X = 34 Y = 34 Z = X + Y

X = 56789000000000001Y = 56789000000000001Z = 56789000000000001yes

X = 7 X = X + 7 X = X + 7

X = 21

Aacutetomo

atom_chars(x) = X

chr(68) = Valor

length(ufsc) = X

len(ufsc) = X

Nuacutemeros

X = 3 number(X)

X = 3 Y = 4 X lt Y

X = [45]

X = [5253]

real(54321)

Layout

6 Conclusatildeo

Tipos compostos I

X = [Oi bom dia]

Predicado string(X)

Tipos compostos II

Exemplo a seguir

Tipos compostos III

1 =============================================================

2 main =gt

6 L = [X1 X2 X3]

12 foreach (X in L)

13 novo_17(X)

14 end

18 Ano gt= 2017

Tipos compostos IV

23 Ano lt 2017

27 =============================================================

Tipos compostos V

Tipos compostos VI

Exemplo a seguir

Tipos compostos VII

1 =============================================================

2 import os

3 import util

4 import math

9 printf(n====================================== n)

12 printf(n====================================== n)

16 ----------------------------------------------------------

19 Vetor = 34 56 78

24 ----------------------------------------------------------

27 Soma = 0

30 end

31 ----------------------------------------------------------

39 printf(w M[IJ] )

40 end

42 end

Tipos compostos IX

Tipos compostos I

Conjuntos e

Conclusatildeo

Referecircncias


WebIDE

Usando o Picat

Exemplos

Outros detalhes

Tipos de dados

Tipos simples

Tipos compostos

Conclusatildeo

1 main =gt

7 printf(n FIM n )

Tipos de dados

Layout

6 Conclusatildeo

Variaacutevel

X = 34 Y = 34 Z = X + Y

X = 56789000000000001Y = 56789000000000001Z = 56789000000000001yes

X = 7 X = X + 7 X = X + 7

X = 21

Aacutetomo

atom_chars(x) = X

chr(68) = Valor

length(ufsc) = X

len(ufsc) = X

Nuacutemeros

X = 3 number(X)

X = 3 Y = 4 X lt Y

X = [45]

X = [5253]

real(54321)

Layout

6 Conclusatildeo

Tipos compostos I

X = [Oi bom dia]

Predicado string(X)

Tipos compostos II

Exemplo a seguir

Tipos compostos III

1 =============================================================

2 main =gt

6 L = [X1 X2 X3]

12 foreach (X in L)

13 novo_17(X)

14 end

18 Ano gt= 2017

Tipos compostos IV

23 Ano lt 2017

27 =============================================================

Tipos compostos V

Tipos compostos VI

Exemplo a seguir

Tipos compostos VII

1 =============================================================

2 import os

3 import util

4 import math

9 printf(n====================================== n)

12 printf(n====================================== n)

16 ----------------------------------------------------------

19 Vetor = 34 56 78

24 ----------------------------------------------------------

27 Soma = 0

30 end

31 ----------------------------------------------------------

39 printf(w M[IJ] )

40 end

42 end

Tipos compostos IX

Tipos compostos I

Conjuntos e

Conclusatildeo

Referecircncias


WebIDE

Usando o Picat

Exemplos

Outros detalhes

Tipos de dados

Tipos simples

Tipos compostos

Conclusatildeo

Tipos de dados

Layout

6 Conclusatildeo

Variaacutevel

X = 34 Y = 34 Z = X + Y

X = 56789000000000001Y = 56789000000000001Z = 56789000000000001yes

X = 7 X = X + 7 X = X + 7

X = 21

Aacutetomo

atom_chars(x) = X

chr(68) = Valor

length(ufsc) = X

len(ufsc) = X

Nuacutemeros

X = 3 number(X)

X = 3 Y = 4 X lt Y

X = [45]

X = [5253]

real(54321)

Layout

6 Conclusatildeo

Tipos compostos I

X = [Oi bom dia]

Predicado string(X)

Tipos compostos II

Exemplo a seguir

Tipos compostos III

1 =============================================================

2 main =gt

6 L = [X1 X2 X3]

12 foreach (X in L)

13 novo_17(X)

14 end

18 Ano gt= 2017

Tipos compostos IV

23 Ano lt 2017

27 =============================================================

Tipos compostos V

Tipos compostos VI

Exemplo a seguir

Tipos compostos VII

1 =============================================================

2 import os

3 import util

4 import math

9 printf(n====================================== n)

12 printf(n====================================== n)

16 ----------------------------------------------------------

19 Vetor = 34 56 78

24 ----------------------------------------------------------

27 Soma = 0

30 end

31 ----------------------------------------------------------

39 printf(w M[IJ] )

40 end

42 end

Tipos compostos IX

Tipos compostos I

Conjuntos e

Conclusatildeo

Referecircncias


WebIDE

Usando o Picat

Exemplos

Outros detalhes

Tipos de dados

Tipos simples

Tipos compostos

Conclusatildeo

Tipos de dados

Layout

6 Conclusatildeo

Variaacutevel

X = 34 Y = 34 Z = X + Y

X = 56789000000000001Y = 56789000000000001Z = 56789000000000001yes

X = 7 X = X + 7 X = X + 7

X = 21

Aacutetomo

atom_chars(x) = X

chr(68) = Valor

length(ufsc) = X

len(ufsc) = X

Nuacutemeros

X = 3 number(X)

X = 3 Y = 4 X lt Y

X = [45]

X = [5253]

real(54321)

Layout

6 Conclusatildeo

Tipos compostos I

X = [Oi bom dia]

Predicado string(X)

Tipos compostos II

Exemplo a seguir

Tipos compostos III

1 =============================================================

2 main =gt

6 L = [X1 X2 X3]

12 foreach (X in L)

13 novo_17(X)

14 end

18 Ano gt= 2017

Tipos compostos IV

23 Ano lt 2017

27 =============================================================

Tipos compostos V

Tipos compostos VI

Exemplo a seguir

Tipos compostos VII

1 =============================================================

2 import os

3 import util

4 import math

9 printf(n====================================== n)

12 printf(n====================================== n)

16 ----------------------------------------------------------

19 Vetor = 34 56 78

24 ----------------------------------------------------------

27 Soma = 0

30 end

31 ----------------------------------------------------------

39 printf(w M[IJ] )

40 end

42 end

Tipos compostos IX

Tipos compostos I

Conjuntos e

Conclusatildeo

Referecircncias


WebIDE

Usando o Picat

Exemplos

Outros detalhes

Tipos de dados

Tipos simples

Tipos compostos

Conclusatildeo

Layout

6 Conclusatildeo

Variaacutevel

X = 34 Y = 34 Z = X + Y

X = 56789000000000001Y = 56789000000000001Z = 56789000000000001yes

X = 7 X = X + 7 X = X + 7

X = 21

Aacutetomo

atom_chars(x) = X

chr(68) = Valor

length(ufsc) = X

len(ufsc) = X

Nuacutemeros

X = 3 number(X)

X = 3 Y = 4 X lt Y

X = [45]

X = [5253]

real(54321)

Layout

6 Conclusatildeo

Tipos compostos I

X = [Oi bom dia]

Predicado string(X)

Tipos compostos II

Exemplo a seguir

Tipos compostos III

1 =============================================================

2 main =gt

6 L = [X1 X2 X3]

12 foreach (X in L)

13 novo_17(X)

14 end

18 Ano gt= 2017

Tipos compostos IV

23 Ano lt 2017

27 =============================================================

Tipos compostos V

Tipos compostos VI

Exemplo a seguir

Tipos compostos VII

1 =============================================================

2 import os

3 import util

4 import math

9 printf(n====================================== n)

12 printf(n====================================== n)

16 ----------------------------------------------------------

19 Vetor = 34 56 78

24 ----------------------------------------------------------

27 Soma = 0

30 end

31 ----------------------------------------------------------

39 printf(w M[IJ] )

40 end

42 end

Tipos compostos IX

Tipos compostos I

Conjuntos e

Conclusatildeo

Referecircncias


WebIDE

Usando o Picat

Exemplos

Outros detalhes

Tipos de dados

Tipos simples

Tipos compostos

Conclusatildeo

Variaacutevel

X = 34 Y = 34 Z = X + Y

X = 56789000000000001Y = 56789000000000001Z = 56789000000000001yes

X = 7 X = X + 7 X = X + 7

X = 21

Aacutetomo

atom_chars(x) = X

chr(68) = Valor

length(ufsc) = X

len(ufsc) = X

Nuacutemeros

X = 3 number(X)

X = 3 Y = 4 X lt Y

X = [45]

X = [5253]

real(54321)

Layout

6 Conclusatildeo

Tipos compostos I

X = [Oi bom dia]

Predicado string(X)

Tipos compostos II

Exemplo a seguir

Tipos compostos III

1 =============================================================

2 main =gt

6 L = [X1 X2 X3]

12 foreach (X in L)

13 novo_17(X)

14 end

18 Ano gt= 2017

Tipos compostos IV

23 Ano lt 2017

27 =============================================================

Tipos compostos V

Tipos compostos VI

Exemplo a seguir

Tipos compostos VII

1 =============================================================

2 import os

3 import util

4 import math

9 printf(n====================================== n)

12 printf(n====================================== n)

16 ----------------------------------------------------------

19 Vetor = 34 56 78

24 ----------------------------------------------------------

27 Soma = 0

30 end

31 ----------------------------------------------------------

39 printf(w M[IJ] )

40 end

42 end

Tipos compostos IX

Tipos compostos I

Conjuntos e

Conclusatildeo

Referecircncias


WebIDE

Usando o Picat

Exemplos

Outros detalhes

Tipos de dados

Tipos simples

Tipos compostos

Conclusatildeo

X = 34 Y = 34 Z = X + Y

X = 56789000000000001Y = 56789000000000001Z = 56789000000000001yes

X = 7 X = X + 7 X = X + 7

X = 21

Aacutetomo

atom_chars(x) = X

chr(68) = Valor

length(ufsc) = X

len(ufsc) = X

Nuacutemeros

X = 3 number(X)

X = 3 Y = 4 X lt Y

X = [45]

X = [5253]

real(54321)

Layout

6 Conclusatildeo

Tipos compostos I

X = [Oi bom dia]

Predicado string(X)

Tipos compostos II

Exemplo a seguir

Tipos compostos III

1 =============================================================

2 main =gt

6 L = [X1 X2 X3]

12 foreach (X in L)

13 novo_17(X)

14 end

18 Ano gt= 2017

Tipos compostos IV

23 Ano lt 2017

27 =============================================================

Tipos compostos V

Tipos compostos VI

Exemplo a seguir

Tipos compostos VII

1 =============================================================

2 import os

3 import util

4 import math

9 printf(n====================================== n)

12 printf(n====================================== n)

16 ----------------------------------------------------------

19 Vetor = 34 56 78

24 ----------------------------------------------------------

27 Soma = 0

30 end

31 ----------------------------------------------------------

39 printf(w M[IJ] )

40 end

42 end

Tipos compostos IX

Tipos compostos I

Conjuntos e

Conclusatildeo

Referecircncias


WebIDE

Usando o Picat

Exemplos

Outros detalhes

Tipos de dados

Tipos simples

Tipos compostos

Conclusatildeo

X = 56789000000000001Y = 56789000000000001Z = 56789000000000001yes

X = 7 X = X + 7 X = X + 7

X = 21

Aacutetomo

atom_chars(x) = X

chr(68) = Valor

length(ufsc) = X

len(ufsc) = X

Nuacutemeros

X = 3 number(X)

X = 3 Y = 4 X lt Y

X = [45]

X = [5253]

real(54321)

Layout

6 Conclusatildeo

Tipos compostos I

X = [Oi bom dia]

Predicado string(X)

Tipos compostos II

Exemplo a seguir

Tipos compostos III

1 =============================================================

2 main =gt

6 L = [X1 X2 X3]

12 foreach (X in L)

13 novo_17(X)

14 end

18 Ano gt= 2017

Tipos compostos IV

23 Ano lt 2017

27 =============================================================

Tipos compostos V

Tipos compostos VI

Exemplo a seguir

Tipos compostos VII

1 =============================================================

2 import os

3 import util

4 import math

9 printf(n====================================== n)

12 printf(n====================================== n)

16 ----------------------------------------------------------

19 Vetor = 34 56 78

24 ----------------------------------------------------------

27 Soma = 0

30 end

31 ----------------------------------------------------------

39 printf(w M[IJ] )

40 end

42 end

Tipos compostos IX

Tipos compostos I

Conjuntos e

Conclusatildeo

Referecircncias


WebIDE

Usando o Picat

Exemplos

Outros detalhes

Tipos de dados

Tipos simples

Tipos compostos

Conclusatildeo

X = 7 X = X + 7 X = X + 7

X = 21

Aacutetomo

atom_chars(x) = X

chr(68) = Valor

length(ufsc) = X

len(ufsc) = X

Nuacutemeros

X = 3 number(X)

X = 3 Y = 4 X lt Y

X = [45]

X = [5253]

real(54321)

Layout

6 Conclusatildeo

Tipos compostos I

X = [Oi bom dia]

Predicado string(X)

Tipos compostos II

Exemplo a seguir

Tipos compostos III

1 =============================================================

2 main =gt

6 L = [X1 X2 X3]

12 foreach (X in L)

13 novo_17(X)

14 end

18 Ano gt= 2017

Tipos compostos IV

23 Ano lt 2017

27 =============================================================

Tipos compostos V

Tipos compostos VI

Exemplo a seguir

Tipos compostos VII

1 =============================================================

2 import os

3 import util

4 import math

9 printf(n====================================== n)

12 printf(n====================================== n)

16 ----------------------------------------------------------

19 Vetor = 34 56 78

24 ----------------------------------------------------------

27 Soma = 0

30 end

31 ----------------------------------------------------------

39 printf(w M[IJ] )

40 end

42 end

Tipos compostos IX

Tipos compostos I

Conjuntos e

Conclusatildeo

Referecircncias


WebIDE

Usando o Picat

Exemplos

Outros detalhes

Tipos de dados

Tipos simples

Tipos compostos

Conclusatildeo

X = 7 X = X + 7 X = X + 7

X = 21

Aacutetomo

atom_chars(x) = X

chr(68) = Valor

length(ufsc) = X

len(ufsc) = X

Nuacutemeros

X = 3 number(X)

X = 3 Y = 4 X lt Y

X = [45]

X = [5253]

real(54321)

Layout

6 Conclusatildeo

Tipos compostos I

X = [Oi bom dia]

Predicado string(X)

Tipos compostos II

Exemplo a seguir

Tipos compostos III

1 =============================================================

2 main =gt

6 L = [X1 X2 X3]

12 foreach (X in L)

13 novo_17(X)

14 end

18 Ano gt= 2017

Tipos compostos IV

23 Ano lt 2017

27 =============================================================

Tipos compostos V

Tipos compostos VI

Exemplo a seguir

Tipos compostos VII

1 =============================================================

2 import os

3 import util

4 import math

9 printf(n====================================== n)

12 printf(n====================================== n)

16 ----------------------------------------------------------

19 Vetor = 34 56 78

24 ----------------------------------------------------------

27 Soma = 0

30 end

31 ----------------------------------------------------------

39 printf(w M[IJ] )

40 end

42 end

Tipos compostos IX

Tipos compostos I

Conjuntos e

Conclusatildeo

Referecircncias


WebIDE

Usando o Picat

Exemplos

Outros detalhes

Tipos de dados

Tipos simples

Tipos compostos

Conclusatildeo

Aacutetomo

atom_chars(x) = X

chr(68) = Valor

length(ufsc) = X

len(ufsc) = X

Nuacutemeros

X = 3 number(X)

X = 3 Y = 4 X lt Y

X = [45]

X = [5253]

real(54321)

Layout

6 Conclusatildeo

Tipos compostos I

X = [Oi bom dia]

Predicado string(X)

Tipos compostos II

Exemplo a seguir

Tipos compostos III

1 =============================================================

2 main =gt

6 L = [X1 X2 X3]

12 foreach (X in L)

13 novo_17(X)

14 end

18 Ano gt= 2017

Tipos compostos IV

23 Ano lt 2017

27 =============================================================

Tipos compostos V

Tipos compostos VI

Exemplo a seguir

Tipos compostos VII

1 =============================================================

2 import os

3 import util

4 import math

9 printf(n====================================== n)

12 printf(n====================================== n)

16 ----------------------------------------------------------

19 Vetor = 34 56 78

24 ----------------------------------------------------------

27 Soma = 0

30 end

31 ----------------------------------------------------------

39 printf(w M[IJ] )

40 end

42 end

Tipos compostos IX

Tipos compostos I

Conjuntos e

Conclusatildeo

Referecircncias


WebIDE

Usando o Picat

Exemplos

Outros detalhes

Tipos de dados

Tipos simples

Tipos compostos

Conclusatildeo

atom_chars(x) = X

chr(68) = Valor

length(ufsc) = X

len(ufsc) = X

Nuacutemeros

X = 3 number(X)

X = 3 Y = 4 X lt Y

X = [45]

X = [5253]

real(54321)

Layout

6 Conclusatildeo

Tipos compostos I

X = [Oi bom dia]

Predicado string(X)

Tipos compostos II

Exemplo a seguir

Tipos compostos III

1 =============================================================

2 main =gt

6 L = [X1 X2 X3]

12 foreach (X in L)

13 novo_17(X)

14 end

18 Ano gt= 2017

Tipos compostos IV

23 Ano lt 2017

27 =============================================================

Tipos compostos V

Tipos compostos VI

Exemplo a seguir

Tipos compostos VII

1 =============================================================

2 import os

3 import util

4 import math

9 printf(n====================================== n)

12 printf(n====================================== n)

16 ----------------------------------------------------------

19 Vetor = 34 56 78

24 ----------------------------------------------------------

27 Soma = 0

30 end

31 ----------------------------------------------------------

39 printf(w M[IJ] )

40 end

42 end

Tipos compostos IX

Tipos compostos I

Conjuntos e

Conclusatildeo

Referecircncias


WebIDE

Usando o Picat

Exemplos

Outros detalhes

Tipos de dados

Tipos simples

Tipos compostos

Conclusatildeo

Nuacutemeros

X = 3 number(X)

X = 3 Y = 4 X lt Y

X = [45]

X = [5253]

real(54321)

Layout

6 Conclusatildeo

Tipos compostos I

X = [Oi bom dia]

Predicado string(X)

Tipos compostos II

Exemplo a seguir

Tipos compostos III

1 =============================================================

2 main =gt

6 L = [X1 X2 X3]

12 foreach (X in L)

13 novo_17(X)

14 end

18 Ano gt= 2017

Tipos compostos IV

23 Ano lt 2017

27 =============================================================

Tipos compostos V

Tipos compostos VI

Exemplo a seguir

Tipos compostos VII

1 =============================================================

2 import os

3 import util

4 import math

9 printf(n====================================== n)

12 printf(n====================================== n)

16 ----------------------------------------------------------

19 Vetor = 34 56 78

24 ----------------------------------------------------------

27 Soma = 0

30 end

31 ----------------------------------------------------------

39 printf(w M[IJ] )

40 end

42 end

Tipos compostos IX

Tipos compostos I

Conjuntos e

Conclusatildeo

Referecircncias


WebIDE

Usando o Picat

Exemplos

Outros detalhes

Tipos de dados

Tipos simples

Tipos compostos

Conclusatildeo

X = 3 number(X)

X = 3 Y = 4 X lt Y

X = [45]

X = [5253]

real(54321)

Layout

6 Conclusatildeo

Tipos compostos I

X = [Oi bom dia]

Predicado string(X)

Tipos compostos II

Exemplo a seguir

Tipos compostos III

1 =============================================================

2 main =gt

6 L = [X1 X2 X3]

12 foreach (X in L)

13 novo_17(X)

14 end

18 Ano gt= 2017

Tipos compostos IV

23 Ano lt 2017

27 =============================================================

Tipos compostos V

Tipos compostos VI

Exemplo a seguir

Tipos compostos VII

1 =============================================================

2 import os

3 import util

4 import math

9 printf(n====================================== n)

12 printf(n====================================== n)

16 ----------------------------------------------------------

19 Vetor = 34 56 78

24 ----------------------------------------------------------

27 Soma = 0

30 end

31 ----------------------------------------------------------

39 printf(w M[IJ] )

40 end

42 end

Tipos compostos IX

Tipos compostos I

Conjuntos e

Conclusatildeo

Referecircncias


WebIDE

Usando o Picat

Exemplos

Outros detalhes

Tipos de dados

Tipos simples

Tipos compostos

Conclusatildeo

Layout

6 Conclusatildeo

Tipos compostos I

X = [Oi bom dia]

Predicado string(X)

Tipos compostos II

Exemplo a seguir

Tipos compostos III

1 =============================================================

2 main =gt

6 L = [X1 X2 X3]

12 foreach (X in L)

13 novo_17(X)

14 end

18 Ano gt= 2017

Tipos compostos IV

23 Ano lt 2017

27 =============================================================

Tipos compostos V

Tipos compostos VI

Exemplo a seguir

Tipos compostos VII

1 =============================================================

2 import os

3 import util

4 import math

9 printf(n====================================== n)

12 printf(n====================================== n)

16 ----------------------------------------------------------

19 Vetor = 34 56 78

24 ----------------------------------------------------------

27 Soma = 0

30 end

31 ----------------------------------------------------------

39 printf(w M[IJ] )

40 end

42 end

Tipos compostos IX

Tipos compostos I

Conjuntos e

Conclusatildeo

Referecircncias


WebIDE

Usando o Picat

Exemplos

Outros detalhes

Tipos de dados

Tipos simples

Tipos compostos

Conclusatildeo

Tipos compostos I

X = [Oi bom dia]

Predicado string(X)

Tipos compostos II

Exemplo a seguir

Tipos compostos III

1 =============================================================

2 main =gt

6 L = [X1 X2 X3]

12 foreach (X in L)

13 novo_17(X)

14 end

18 Ano gt= 2017

Tipos compostos IV

23 Ano lt 2017

27 =============================================================

Tipos compostos V

Tipos compostos VI

Exemplo a seguir

Tipos compostos VII

1 =============================================================

2 import os

3 import util

4 import math

9 printf(n====================================== n)

12 printf(n====================================== n)

16 ----------------------------------------------------------

19 Vetor = 34 56 78

24 ----------------------------------------------------------

27 Soma = 0

30 end

31 ----------------------------------------------------------

39 printf(w M[IJ] )

40 end

42 end

Tipos compostos IX

Tipos compostos I

Conjuntos e

Conclusatildeo

Referecircncias


WebIDE

Usando o Picat

Exemplos

Outros detalhes

Tipos de dados

Tipos simples

Tipos compostos

Conclusatildeo

Tipos compostos II

Exemplo a seguir

Tipos compostos III

1 =============================================================

2 main =gt

6 L = [X1 X2 X3]

12 foreach (X in L)

13 novo_17(X)

14 end

18 Ano gt= 2017

Tipos compostos IV

23 Ano lt 2017

27 =============================================================

Tipos compostos V

Tipos compostos VI

Exemplo a seguir

Tipos compostos VII

1 =============================================================

2 import os

3 import util

4 import math

9 printf(n====================================== n)

12 printf(n====================================== n)

16 ----------------------------------------------------------

19 Vetor = 34 56 78

24 ----------------------------------------------------------

27 Soma = 0

30 end

31 ----------------------------------------------------------

39 printf(w M[IJ] )

40 end

42 end

Tipos compostos IX

Tipos compostos I

Conjuntos e

Conclusatildeo

Referecircncias


WebIDE

Usando o Picat

Exemplos

Outros detalhes

Tipos de dados

Tipos simples

Tipos compostos

Conclusatildeo

Tipos compostos III

1 =============================================================

2 main =gt

6 L = [X1 X2 X3]

12 foreach (X in L)

13 novo_17(X)

14 end

18 Ano gt= 2017

Tipos compostos IV

23 Ano lt 2017

27 =============================================================

Tipos compostos V

Tipos compostos VI

Exemplo a seguir

Tipos compostos VII

1 =============================================================

2 import os

3 import util

4 import math

9 printf(n====================================== n)

12 printf(n====================================== n)

16 ----------------------------------------------------------

19 Vetor = 34 56 78

24 ----------------------------------------------------------

27 Soma = 0

30 end

31 ----------------------------------------------------------

39 printf(w M[IJ] )

40 end

42 end

Tipos compostos IX

Tipos compostos I

Conjuntos e

Conclusatildeo

Referecircncias


WebIDE

Usando o Picat

Exemplos

Outros detalhes

Tipos de dados

Tipos simples

Tipos compostos

Conclusatildeo

Tipos compostos IV

23 Ano lt 2017

27 =============================================================

Tipos compostos V

Tipos compostos VI

Exemplo a seguir

Tipos compostos VII

1 =============================================================

2 import os

3 import util

4 import math

9 printf(n====================================== n)

12 printf(n====================================== n)

16 ----------------------------------------------------------

19 Vetor = 34 56 78

24 ----------------------------------------------------------

27 Soma = 0

30 end

31 ----------------------------------------------------------

39 printf(w M[IJ] )

40 end

42 end

Tipos compostos IX

Tipos compostos I

Conjuntos e

Conclusatildeo

Referecircncias


WebIDE

Usando o Picat

Exemplos

Outros detalhes

Tipos de dados

Tipos simples

Tipos compostos

Conclusatildeo

Tipos compostos V

Tipos compostos VI

Exemplo a seguir

Tipos compostos VII

1 =============================================================

2 import os

3 import util

4 import math

9 printf(n====================================== n)

12 printf(n====================================== n)

16 ----------------------------------------------------------

19 Vetor = 34 56 78

24 ----------------------------------------------------------

27 Soma = 0

30 end

31 ----------------------------------------------------------

39 printf(w M[IJ] )

40 end

42 end

Tipos compostos IX

Tipos compostos I

Conjuntos e

Conclusatildeo

Referecircncias


WebIDE

Usando o Picat

Exemplos

Outros detalhes

Tipos de dados

Tipos simples

Tipos compostos

Conclusatildeo

Tipos compostos VI

Exemplo a seguir

Tipos compostos VII

1 =============================================================

2 import os

3 import util

4 import math

9 printf(n====================================== n)

12 printf(n====================================== n)

16 ----------------------------------------------------------

19 Vetor = 34 56 78

24 ----------------------------------------------------------

27 Soma = 0

30 end

31 ----------------------------------------------------------

39 printf(w M[IJ] )

40 end

42 end

Tipos compostos IX

Tipos compostos I

Conjuntos e

Conclusatildeo

Referecircncias


WebIDE

Usando o Picat

Exemplos

Outros detalhes

Tipos de dados

Tipos simples

Tipos compostos

Conclusatildeo

Tipos compostos VII

1 =============================================================

2 import os

3 import util

4 import math

9 printf(n====================================== n)

12 printf(n====================================== n)

16 ----------------------------------------------------------

19 Vetor = 34 56 78

24 ----------------------------------------------------------

27 Soma = 0

30 end

31 ----------------------------------------------------------

39 printf(w M[IJ] )

40 end

42 end

Tipos compostos IX

Tipos compostos I

Conjuntos e

Conclusatildeo

Referecircncias


WebIDE

Usando o Picat

Exemplos

Outros detalhes

Tipos de dados

Tipos simples

Tipos compostos

Conclusatildeo

24 ----------------------------------------------------------

27 Soma = 0

30 end

31 ----------------------------------------------------------

39 printf(w M[IJ] )

40 end

42 end

Tipos compostos IX

Tipos compostos I

Conjuntos e

Conclusatildeo

Referecircncias


WebIDE

Usando o Picat

Exemplos

Outros detalhes

Tipos de dados

Tipos simples

Tipos compostos

Conclusatildeo

Tipos compostos IX

Tipos compostos I

Conjuntos e

Conclusatildeo

Referecircncias


WebIDE

Usando o Picat

Exemplos

Outros detalhes

Tipos de dados

Tipos simples

Tipos compostos

Conclusatildeo

Tipos compostos I

Conjuntos e

Conclusatildeo

Referecircncias


WebIDE

Usando o Picat

Exemplos

Outros detalhes

Tipos de dados

Tipos simples

Tipos compostos

Conclusatildeo

Conclusatildeo

Referecircncias


WebIDE

Usando o Picat

Exemplos

Outros detalhes

Tipos de dados

Tipos simples

Tipos compostos

Conclusatildeo

Referecircncias


WebIDE

Usando o Picat

Exemplos

Outros detalhes

Tipos de dados

Tipos simples

Tipos compostos

Conclusatildeo

Documents

Programação em Lógica - inf.ufsc.bralexandre.goncalves.silva/courses/17s2/ine5416/... · imediatas para problemas de programação dinâmica Prof. A. G. Silva (UFSC) Programação