Showing 81 - 100 results of 303 for search '"Prologis"', query time: 0.19s Refine Results
  1. 81
  2. 82
  3. 83
  4. 84
  5. 85

    PROLOG study: main results and guidance for further action by S. Yu. Martsevich, S. A. Shalnova, A. D. Deev, N. P. Kutishenko, V. V. Yakusevich

    Published 2006-12-01
    “…Cardiovascular event risk reduction was more pronounced in intervention group: 33% vs 22% in control group. PROLOG study results coincide with data from other large-scale, randomized, controlled studies.…”
    Get full text
    Article
  6. 86

    Source Code Verification for Embedded Systems using Prolog by Frank Flederer, Ludwig Ostermayer, Dietmar Seipel, Sergio Montenegro

    Published 2017-01-01
    “…Tree structures can be elegantly analyzed with the logic programming language Prolog. Moreover, Prolog offers further advantages for a thorough analysis: On the one hand, it natively provides versatile options to efficiently process tree or graph data structures. …”
    Get full text
    Article
  7. 87
  8. 88
  9. 89

    Techniques of prolog programming : with implementation of logical negation and quantified goals / by Van Le, T.

    Published 1993
    Subjects: “…Prolog (Computer program language)…”
  10. 90

    From the written witnesses of the Serbian verse prolog to the localisation of the translation by Taseva Lora

    Published 2021-01-01
    “…The sparse data about their origin and/or their later locations are analysed with the view to outlining the region in which this rare version of the Slavonic Verse Prolog appeared and to making assumptions about its possible localisation.…”
    Get full text
    Article
  11. 91

    Essaying the prolog language to obtain the computational evaluation of the coherence of reasoning. by Alfredo O. López Alonso, María Herminia del Rey

    Published 2004-01-01
    “…En primer lugar, se presentan las aplicaciones hechas utilizando el programa Prolog. Si bien no es secuencial, Prolog es un programa que provee hechos y reglas de derivación de conclusiones y procedimientos que son propios del razonamiento deductivo y que son utilizados para resolver problemas de programación. …”
    Get full text
    Article
  12. 92
  13. 93
  14. 94

    Prolog's Control Constructs in a Functional Setting — Axioms and Implementation by Hinze, R

    Published 2001
    “…The resulting `language', termed embedded Prolog, incorporates many of the features prescribed by the Prolog ISO standard: control constructs including the cut, all solution collecting functions, and error handling facilities. …”
    Journal article
  15. 95

    Demonstrating prolog usage: Building a simple game program by Wan Ishak, Wan Hussain

    Published 2003
    “…To demonstrate the use of Prolog and how programming in Prolog is easy and efficient, this paper describe an implementation of the game booby-trap, a game similar to Minesweeper found on most personal computers with windows.…”
    Get full text
    Article
  16. 96
  17. 97
  18. 98

    Forty hours of declarative programming: Teaching Prolog at the Junior College Utrecht by Jurriën Stutterheim, Wouter Swierstra, Doaitse Swierstra

    Published 2013-01-01
    “…Using Haskell's Snap Framework in combination with our own NanoProlog library, we have developed a web application to teach this course.…”
    Get full text
    Article
  19. 99
  20. 100

    Theoretical foundations of the organization of branches and repetitions in programs in the logic programming language Prolog by D. V. Zdor

    Published 2021-09-01
    “…The organization of branches and repetitions in the context of logical programming is considered by an example of the Prolog language. The fundamental feature of the program in a logical programming language is the fact that a computer must solve a problem by reasoning like a human. …”
    Get full text
    Article