Repositório pessoal de Tiago

Modelos LaΤeΧ

Carta

Modelo de carta no formato ISO 216 A4

\documentclass[a4paper]{letter}
\usepackage[latin,portuguese]{babel}
\usepackage[utf8x]{inputenc}
\usepackage[T1]{fontenc}
\usepackage{lmodern}
\signature{Alice}
\address{Morada da Alice}
\begin{document}
\begin{letter}{Bob\\Morada do Bob}
\opening{Bom senhor,}
Mensagem da Alice
\closing{Atenciosamente,}
\cc{Carol}
\ps{\foreignlanguage{latin}{Post Scriptum}: Espero por si no sítio combinado.}
\encl{cartão de acesso}
\end{letter}
\end{document}

Faculdade

Engenharia do Conhecimento

Exercício 1

(deffacts idades
 (pessoa Rosa 30)
 (pessoa Dulcineia 5)
 (pessoa Barto 33)
 (pessoa Porca 1)
)

(defrule alinea_a
 (pessoa ?n ?i)
 (test (neq ?n nil))
 (test (neq ?i nil))
  =>
 (assert (nome ?n))
 (assert (idade ?i))
)

(defrule alinea_b
 (pessoa ?n ?i)
 (test (neq ?n nil))
 (test (neq ?i nil))
  =>
 (printout t "A pessoa " ?n " tem " ?i " ano" (auxiliar_b ?i) crlf)
)

(deffunction auxiliar_b (?i)
 (if (not (= ?i 1)) then
  "s"
  else
  ""
 )
)

(defrule alinea_c
 (pessoa ?n ?)
 (test (neq ?n nil))
  =>
 (printout t "Qual o apelido de " ?n "?" crlf)
 (assert (nomeEApelido ?n (auxiliar_c)))
)

(deffunction auxiliar_c ()
 (bind ?apelido (read))
 (return ?apelido)
)

(deffacts nomes
 (nomeCompleto Rosa Araujo Pereira)
 (nomeCompleto Dulcineia Maria Sampaio Melo)
 (nomeCompleto Barto Jose da Fonseca Silva)
 (nomeCompleto Porca Suja)
)

(defrule alinea_d
 (nomeCompleto $?n ?u)
 (test (neq ?u nil))
  =>
 (printout t "O ultimo nome de " ?n " eh " ?u crlf)
)

(defrule alinea_e
 (pessoa ?n ?i)
 (nomeCompleto ?n $? ?u)
 (test (neq ?n nil))
 (test (neq ?u nil))
  =>
 (printout t ?n " " ?u " " ?i crlf)
)

(watch all)
(reset)
(run)