Programming Logic, Prolog is a high-level programming language based on formal logic. Unlike traditional programming languages that are based on performing sequences of commands, Prolog is based on defining and then solving logical formulas. Prolog is sometimes called a declarative language or a rule-based language because its programs consist of a list of facts and rules. Prolog is used widely for artificial intelligence applications, particularly expert systems.

 Prolog Applications

    intelligent data base retrieval
    natural language understanding
    expert systems
    specification language
    machine learning
    robot planning
    automated reasoning
    problem solving