Purchase Solution

Prolog does not conform to a strict logic model

Not what you're looking for?

Ask Custom Question

Decribe one way in which Prolog does not conform to a strict logic model.

Purchase this Solution
Solution Summary

Ideas to prove that Prolog does not conform to a strict logic model are presented.

Solution Preview

Decribe one way in which Prolog does not conform to a strict logic model.
<br><br>
<br><br>Prolog inherently is a declarative language is not rigid in its declarative/procedural distinction. It's flexibility as a programming language permits it to incorporate some procedural features. For example, writing a declarative program is equivalent to defining a proof for a proposition (relationship). Prolog does not strictly meet this ideal because of the way it implements logical negation. Other declarative languages attempt to be more logical in a strict formal sense. Prolog on the other hand implements a subset of second-order logic (it deals with sets as well as atomic propositions) and the language's flexibility permits propositions which lie well outside the boundaries of any classification of formal logical systems. (The above is an extract, please rephrase it if you must.)
<br><br>
<br><br>
<br><br>For Reference.
<br><br>
<br><br>Overview of what logic programming and prolog is all about and why prolog does not conform to a strictly logic model:
<br><br>
<br><br>There are many ways of organizing computations. Perhaps the most familiar paradigm is ...

Purchase this Solution
Free BrainMass Quizzes
Java loops

This quiz checks your knowledge of for and while loops in Java. For and while loops are essential building blocks for all Java programs. Having a solid understanding of these constructs is critical for success in programming Java.

Javscript Basics

Quiz on basics of javascript programming language.

Excel Introductory Quiz

This quiz tests your knowledge of basics of MS-Excel.

Basic UNIX commands

Use this quiz to check your knowledge of a few common UNIX commands. The quiz covers some of the most essential UNIX commands and their basic usage. If you can pass this quiz then you are clearly on your way to becoming an effective UNIX command line user.

Inserting and deleting in a linked list

This quiz tests your understanding of how to insert and delete elements in a linked list. Understanding of the use of linked lists, and the related performance aspects, is an important fundamental skill of computer science data structures.

View More Free Quizzes
Related BrainMass Solutions

  • Language evaluation

    A program is a sequence of changes of state.Much of the course will be devoted to pointing out variations in the imperative model. 2) Logic-oriented model You are not so familiar with the logic-oriented model.

  • Three Fundamental Control Structures

    Does not it look strange and surprising that any computer program can be constructed as a combination of only these three structures? It is not hard to introduce additional types of control structures. Why don't programmers do so?

  • Machine Independence Programming

    Example: Prolog Advantages  Good support for reasoning about programs  Can lead to concise solutions to problems Disadvantages  Slow execution  Limited view of the world  That means the system does not know about facts that are not its

  • Simple Prolog

    - cube([2,1,4],A). A = [2,4,8,1,1,1,4,16,64] ?- cube([],[]). yes. ?- cube([5],[5,25,125]). yes. ?- cube([2,3],[2,3,4]). no. Hi, I'm not going to cheat you at this point. I'm not an expert of PROLOG.

  • Programming Language Multiple Choice

    A data structure consisting of an integer variable and a queue of task descriptors is called a semaphore. Ans. True 4. In Prolog, instantiation: a. binds a value to a variable. b. binds a type to a variable.

  • Using the Logic Model For Program Evaluation

    It does not appear that the Philadelphia community model project used a true logic model.

  • Instances of pseudoreasoning about Owen's use of drugs

    To make an assumption based on what others MIGHT have seen is odd. People often do things illegal in other places or behind closed doors, so the logic does not follow.

  • model-view-controller (MVC) principle

    As model does not depend on the views, it is not affected by the addition of new types of views to the system and scope of changes is confined to the view in routine changes to user interfaces. 2) MVC allows the business logic to be reused across

  • Models of Organized Crime

    When people resist or break the rules, the mafia will adhere to a strict code that often involves murder, brutality, and kidnapping just to name a few. The orders are handed down from the highest ranking official which is often called the boss.

View More Related Solutions