% -*- coding: iso-8859-1-unix; -*-
% plyf.tex
%
% Programación Lógica y Funcional
% Álvaro Tasistro - Jorge Vidart
% III E.B.A.I. (1988)
% Copyright (C) 1988 Álvaro Tasistro - Jorge Vidart.
%
% maquetación LaTeX por César Ballardini <cesar@ballardini.com.ar>
%
% Permission is granted to copy, distribute and/or modify this document
% under the terms of the GNU Free Documentation License, Version 1.2 or
% any later version published by the Free Software Foundation; with no
% Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A
% copy of the license is included in the section entitled ``GNU Free
% Documentation License''
%

\documentclass[american,spanish,12pt,a4paper,twoside]{book}
\usepackage{babel}
\usepackage{amsmath}
\usepackage{amssymb}
\usepackage{wasysym}
\usepackage[latin1]{inputenc}
\usepackage{indentfirst}
\usepackage{theorem}
\usepackage{fancyheadings}
\usepackage{enumerate}
\usepackage{html}% LaTeX2HTML
%\usepackage{times}% put times font instead of computer modern

% para ver las etiquetas en el margen del documento
% only for debugging purpose
%\usepackage{showlabels}


% Version de este documento
\newbox\vrsbox
\setbox\vrsbox=\hbox{\tiny\verb|$Id: plyf.tex,v 1.3 2003/08/13 04:28:26 cballard Exp $|}
\newsavebox{\vrssave}
\savebox{\vrssave}{\box\vrsbox}
\newcommand{\version}{\usebox{\vrssave}}




% si no se dispone de LAeX2HTML instalado, 
% se debe quitar \usepackage{html} y se deben activar las
% siguientes definiciones para obtener el .dvi
%\newcommand{\latex}[1]{#1}
%\newcommand{\html}[1]{}
%\newcommand{\latexhtml}[2]{#1}

% los textos en inglés se pueden separar en sílabas apropiadamente
% gracias a Babel
\newcommand{\eningles}[1]{\foreignlanguage{english}{#1}}

\newcommand{\revisar}[1]{\textbf{***}\marginpar{\raggedright\tiny\textsc{#1}}}
%\newcommand{\revisar}[1]{}

\newcommand{\pagina}[1]{\marginpar{\raggedright\tiny\textsc{Pág. #1}}}

\newtheorem{teorema}{Teorema}[chapter]
{\theoremstyle{break}%
\theorembodyfont{\rmfamily}%
\newtheorem{definicion}{Definición}[chapter]}
\newtheorem{notacion}{Notación}
{\theorembodyfont{\rmfamily}%
\newtheorem{nota}{Nota.}}
{\theoremstyle{break}%
\theorembodyfont{\rmfamily}%
\newtheorem{ejemplo}{Ejemplo.}}


\newenvironment{abstract}%
 {\vfill\begin{quotation}}%
 {\end{quotation}\clearpage}


% page style
\pagestyle{fancyplain}
\addtolength{\headwidth}{\marginparsep}
\addtolength{\headwidth}{\marginparwidth}
\renewcommand{\chaptermark}[1]%
   {\markboth{#1}{}}
\renewcommand{\sectionmark}[1]%
   {\markright{\thesection\ #1}}
\lhead[\fancyplain{}{\bfseries\thepage}]%
       {\fancyplain{}{\bfseries\rightmark}}
%\chead[\thesection]{\textsc{On Computable Numbers.}}
\rhead[\fancyplain{}{\bfseries\leftmark}]%
       {\fancyplain{}{\bfseries\thepage}}
%\lfoot[]{}
\cfoot[{\tiny Version: \version}]{{\tiny Version: \version}}%
%\lfoot[]{}


\newcommand{\faltatodavia}{\textsc{Todavía no hemos compuesto esta
    parte del libro, por favor tenga paciencia.  Muchas gracias.}}

% ---------------------------------------------------------------
\title{Programación lógica y funcional}
\author{Álvaro Tasistro \and Jorge Vidart}
\date{1988}

\begin{document}
\selectlanguage{spanish}

\maketitle
\cleardoublepage
\tableofcontents

% ---------------------------------------------------------------
\input{intro}%\chapter*{Introducción}
\input{cap01}%\chapter{Paradigmas de programación}

% ---------------------------------------------------------------
\part{Programación en lógica}

\input{cap02}%\chapter{Introducción a la programación en lógica}
\input{cap03}%\chapter{Interpretación lógica}
\input{cap04}%\chapter{Interpretación algorítmica}

% ---------------------------------------------------------------
\part{Programación funcional}

\input{cap05}%\chapter{Un caso de diseño con lenguaje funcional}
\input{cap06}%\chapter{Lenguajes funcionales}
\input{cap07}%\chapter{El cálculo lambda}
\input{cap08}%\chapter{El lenguaje de programación \textsc{Scheme}}

% ---------------------------------------------------------------
\input{anexo}%\chapter*{Anexo: Conceptos básicos}
\input{biblio}%\chapter*{Bibliografía}

\end{document}

%%% Local Variables: 
%%% mode: latex
%%% TeX-master: t
%%% End: