What is the Full Form of Prolog ?
Programming in Logic >> Software
Programming in logic - Rationale writing computer programs is a programming worldview which is generally founded on conventional rationale. Any program written in a rationale programming language is a bunch of sentences in sensible structure, communicating realities and rules about some issue space. Significant rationale programming language families incorporate Prolog, answer set programming (ASP) and Datalog.there are a huge number of this basic case, the main one being the situation in which conditions in the body of a statement can likewise be refutations of nuclear equations. Rationale programming dialects that incorporate this expansion have the information portrayal capacities of a non-monotonic logic.In ASP and Datalog, rationale programs have just a decisive perusing, and their execution is performed through a proof technique or model generator whose conduct isn't intended to be constrained by the programmer.The explanatory perusing of rationale projects can be utilized by a developer to check their rightness. Additionally, rationale based program change strategies can likewise be utilized to change rationale programs into sensibly comparable projects that are more proficient. In the Prolog group of rationale programming dialects, the software engineer can likewise utilize the known critical thinking conduct of the execution system to work on the proficiency of projects.