Scribd Logo
Upload

Welcome to Scribd!

  • 04 - Logicko Programiranje - Prolog PDF

    Uploaded by

    ivandelbianco
    20 views12 pages
    Logical programming uses mathematical logic for programming. The idea is to describe a problem with logical formulas and let the computer solve it. One example of logical programming is Prolog, which is a logic programming language that uses Horn clauses to solve queries by automatically searching through a database of facts and rules.

    Original Description:

    Original Title

    04_-_Logicko_programiranje_-_Prolog.pdf

    Copyright

    © © All Rights Reserved

    Available Formats

    PDF, TXT or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    Report this Document
    Logical programming uses mathematical logic for programming. The idea is to describe a problem with logical formulas and let the computer solve it. One example of logical programming is Prolog, which is a logic programming language that uses Horn clauses to solve queries by automatically searching through a database of facts and rules.

    Copyright:

    © All Rights Reserved
    Download as PDF, TXT or read online from Scribd
    Flag for inappropriate content
    20 views12 pages

    04 - Logicko Programiranje - Prolog PDF

    Uploaded by

    ivandelbianco
    Logical programming uses mathematical logic for programming. The idea is to describe a problem with logical formulas and let the computer solve it. One example of logical programming is Prolog, which is a logic programming language that uses Horn clauses to solve queries by automatically searching through a database of facts and rules.

    Copyright:

    © All Rights Reserved
    Download as PDF, TXT or read online from Scribd
    Flag for inappropriate content
    of 12

    4.

    Logičko programiranje
    PROLOG

    doc.dr.sc. Darko Etinger UMJETNA INTELIGENCIJA v0.1 1


    Logičko programiranje
    • Logičko programiranje (engl. logic programming)
    • uporaba matematičke logike za programiranje
    • Ideja: opisati problem logičkim formulama, a rješavanje prepustiti
    računalu

    doc.dr.sc. Darko Etinger UMJETNA INTELIGENCIJA v0.1 2


    doc.dr.sc. Darko Etinger UMJETNA INTELIGENCIJA v0.1 3
    doc.dr.sc. Darko Etinger UMJETNA INTELIGENCIJA v0.1 4
    doc.dr.sc. Darko Etinger UMJETNA INTELIGENCIJA v0.1 5
    doc.dr.sc. Darko Etinger UMJETNA INTELIGENCIJA v0.1 6
    PRIMJER

    doc.dr.sc. Darko Etinger UMJETNA INTELIGENCIJA v0.1 7


    SWI-Prolog

    doc.dr.sc. Darko Etinger UMJETNA INTELIGENCIJA v0.1 8


    doc.dr.sc. Darko Etinger UMJETNA INTELIGENCIJA v0.1 9
    doc.dr.sc. Darko Etinger UMJETNA INTELIGENCIJA v0.1 10
    doc.dr.sc. Darko Etinger UMJETNA INTELIGENCIJA v0.1 11
    Sažetak

    doc.dr.sc. Darko Etinger UMJETNA INTELIGENCIJA v0.1 12

    You might also like