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>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>For Reference.
<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>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.