Function name or connective symbol, Computer Engineering

Assignment Help:

Function name or connective symbol:

Whether if we write op(x) to signify the symbol of the compound operator then predicate name and function name or connective symbol are there. 

  • However the function isa_list(x) checks where x is a list and if we write head(L) for the first term in a list L and tail(L) for the sublist comprising all the other terms except the head than the head of [2,3,5,7,11] is 2 and hence the tail is [3,5,7,11]. So it means there is terminology is common in Prolog.

Here if notice for instance it's easiest to explain the unification algorithm as a recursive method that is able to call itself. But as there is happening, so a set, mu, is passed around the various parts of the algorithm by collecting substitutions as it goes. Furthermore the method has two main parts as:

 unify_internal(x,y,mu) 

As above we see there that returns a substitution in that makes sentence x  look exactly like sentence y, in given an before now existing set of substitutions mu as although mu may be empty. Now we can say that this type function checks various properties of  x  and  y  and calls either the unify_variable  routine, as described below or itself again. Always remembering there the order of the if-statements is important but if a failure is reported at any stage then the entire function fails. So if none of the cases is true for the input such as the algorithm fails to find a unifying set of substitutions obviously.


Related Discussions:- Function name or connective symbol

What is vertical organization and horizontal organization, What is vertical...

What is vertical organization and horizontal organization? Highly encoded schemes that use compact codes to state only a small number of control functions in every microinstruc

Electrical technology, voltage,current and power relation in a delta connec...

voltage,current and power relation in a delta connection

Risk detection, what is meant by risk detection in software project managem...

what is meant by risk detection in software project management

Id3 algorithm - artificial intelligence, Th e ID3 algorithm The cal...

Th e ID3 algorithm The calculation for information gain is the very difficult phase of this algorithm. ID3 performs a search whereby the search states are decision trees an

When the get cursor command used in interactive lists, When the get cursor ...

When the get cursor command used in interactive lists? If the hidden information is not enough to uniquely recognize the selected line, the command GET CURSOR is used.  The GET

Memory that can be used in a 16-bit computer, What is the maximum size of t...

What is the maximum size of the memory that can be used in a 16-bit computer and 32 bit computer? The maximum size of the memory that can be used in a 16-bit computer is 2 memo

Explain time sharing operating system, Explain Time sharing operating syste...

Explain Time sharing operating system. Time sharing: It is also called as multi tasking, is a logical execution of multiprogramming. Multiple jobs are executed through the C

Console application with a class, Make a console application with a class '...

Make a console application with a class 'Account' having variables as id(int) and name (String).Add property 'account-no' which can be set andget. Add a 'ReadOnly' property 'IntRat

What is input - output instructions, Q. What is Input - Output Instructions...

Q. What is Input - Output Instructions? An I/O instruction is stored in memory of computer and is fetched as well as executed by processor producing an I/O-related command for

Write Your Message!

Captcha
Free Assignment Quote

Assured A++ Grade

Get guaranteed satisfaction & time on delivery in every assignment order you paid with us! We ensure premium quality solution document along with free turntin report!

All rights reserved! Copyrights ©2019-2020 ExpertsMind IT Educational Pvt Ltd