Medidas gerais de controle de nematóides de batata.

bitstream/CNPH-2010/36356/5/Medidas-gerais-de-controle.pd

Logic programming in the context of multiparadigm programming: the Oz experience

Oz is a multiparadigm language that supports logic programming as one of its major paradigms. A multiparadigm language is designed to support different programming paradigms (logic, functional, constraint, object-oriented, sequential, concurrent, etc.) with equal ease. This article has two goals: to give a tutorial of logic programming in Oz and to show how logic programming fits naturally into the wider context of multiparadigm programming. Our experience shows that there are two classes of problems, which we call algorithmic and search problems, for which logic programming can help formulate practical solutions. Algorithmic problems have known efficient algorithms. Search problems do not have known efficient algorithms but can be solved with search. The Oz support for logic programming targets these two problem classes specifically, using the concepts needed for each. This is in contrast to the Prolog approach, which targets both classes with one set of concepts, which results in less than optimal support for each class. To explain the essential difference between algorithmic and search programs, we define the Oz execution model. This model subsumes both concurrent logic programming (committed-choice-style) and search-based logic programming (Prolog-style). Instead of Horn clause syntax, Oz has a simple, fully compositional, higher-order syntax that accommodates the abilities of the language. We conclude with lessons learned from this work, a brief history of Oz, and many entry points into the Oz literature.Comment: 48 pages, to appear in the journal "Theory and Practice of Logic Programming

Manuseio pós-colheita de berinjela.

bitstream/CNPH-2009/34419/1/ct_46.pd

Uso do porômetro em estudos de pós-colheita de frutas e hortaliças.

bitstream/item/103074/1/cot-52.pd

Respiração de frutas e hortaliças.

bitstream/item/103079/1/cot-46.pd

Protocolos de avaliação da qualidade química e físicas de pimentas (Capsicum spp.).

bitstream/CNPH-2010/34565/1/cot-50.pd

Identificação dos tipos de rúcula comercializados no varejo do Distrito Federal.

bitstream/CNPH-2009/33441/1/bpd_34.pd

Uso do equipamento 'Facili' para medição da atmosfera interna de frutas e hortaliças.

bitstream/item/103078/1/cot-48.pd

Métodos de amostragem da atmosfera interna de frutas e hortaliças.

bitstream/item/89941/1/Proci-07.00310.pd

Caracterização dos maços de rúcula comercializados no Distrito Federal e estimativas de perdas.

bitstream/CNPH-2009/33444/1/bpd_35.pd