Logic Programs:

A subset of first order logic is "Logic programs". However logic program having a set of Horn clauses that are implication conjectures when there is a conjunction of literals that imply a single literal. Thus a logic program consists of implications that look like this example as:

\/X, Y, Z ( b1(X,Y) ^ b2(X)^ ... ^ bn(X,Y,Z) → h(X,Y))

So remember also that there in Prolog we have turn the implication around by which the implication sign points from left to right and then the head of the clause comes first. However we also assume universal quantification over all our literals but that can be removed.

Thus we can write Horn clauses as:

h(x,y) ← b1(X,Y) ^ b2(X) ^ ... ^ bn(X,Y,Z)

So there everybody understands what we are saying. And in fact we will adopt the convention of writing a conjunction of literals with a capital letter or a single literal with a lower case letter also. Although if we were interested in the first literal in the body of the above Horn clause or not interested in the others so then we could write as:

h(X,Y) ← b1, B

However we see that the conjunction of literals b2(X)^ ... ^ bn(X,Y,Z) has been replaced by B so we have utilised a comma instead of a sign.

Posted Date: 1/10/2013 7:34:00 AM | Location : United States

Ask an Expert

Related Discussions:- Logic programs, Assignment Help, Ask Question on Logic programs, Get Answer, Expert's Help, Logic programs Discussions

Write discussion on Logic programs
Your posts are moderated

Write your message here..

Related Questions

8259 PIC, plz expalain interfacing of 8259 with 8085 step wise plz expalain interfacing of 8259 with 8085 step wise

Failures, FAILURES Since reliability engineering is focused on the surv... FAILURES Since reliability engineering is focused on the survivability or absence of failures, it is more concerned about failures,  understanding  their causes and defining re

What is the advantage of caching in a web browser, What is the advantage of... What is the advantage of caching in a web browser? Like other application browsers utilize a cache to enhance document access. The browser places a copy of all items it retriev

Device controllers, All components of computer communicate with processor b... All components of computer communicate with processor by the system bus. Which means I/O devices required to be attached to system bus. But I/O devices aren't connected directly to

Determine the frequency of the input signal, An eight stage ripple counter ... An eight stage ripple counter uses a flip-flop with propagation delay of 75 nanoseconds.  The pulse width of the strobe is 50ns.  The frequency of the input signal which can be use

What is a transaction, What is a transaction? A transaction is dialog ... What is a transaction? A transaction is dialog program that alter data objects in a consistent way.

Electing neil, ELECTING NEIL : The response for this is, of course. In... ELECTING NEIL : The response for this is, of course. In this case, we considered the point of the search or researching is to find an artifact  -  a word which is an anagram o

Serialized when you perform serialization, What exactly is being serialized... What exactly is being serialized when you perform serialization? Serialization is the process of changing an object into stream of bytes. We perform it at the time of transpor

Define rom, Define ROM? It is a non-volatile memory. It includes only r... Define ROM? It is a non-volatile memory. It includes only reading of stored data.

Load sharing facility resource management, The primary aims/details of Load... The primary aims/details of Load Sharing Facility Resource Management Software(LSFRMS) are good resource utilization by routing the task to the most appropriate system and good uti