Please enable JavaScript.
Coggle requires JavaScript to display documents.
Knowledge Representation, What is knowledge representation?, :star:Logic…
-
-
:star:Logic is precise and definite.
:star:Allows the program to declarative for written.
:star:Allows for the automated reasoning techniques for general purpose inreferencing.
:star:User will define the semantics for symbols.
:star:Declarative statement which is either true or false.
:star:It is an extension to propositional logic & include the all proposition to the domain.
:star:Object will described unique or variable stand for unique object.
:star:Prolog is a declarative language.
:star:Program will consists of data based on the facts and rules.
:star:Prolog is based on facts, rules, queries,constants & variables.
:star:All prolog statement ends in period.