No of visitors who read this post:
324
Category:
Prog\Scripting Languages
Type:
Question
Author:
Cruzees
How can Metalogic programming be able to allow object-level and metalevel representations to be combined, as in natural language in order to be used to implement any logic that is specified by means of inference rules?
- Login or Signup Now to post comments
Actually it is a very difficult task to achieve because the two concepts that you are talking about are very complicated. The object level programing is use to achieve logical statements and conclusions.
However, due to the fact that the mathematical logic that we use has one very tranditional logic which is used to differentiate between the two facts that you are trying to differentiate, the metalogic and the object level. The simplest level in metalogic programing is called the vanilla
solve(if true)
solve(A,B):- solve this(B),solve this(A)
solve(A):- clause 1(B,A),solve(A)
The last one means that the object level conjunction returns you the emtpy set.
Metalogic just allow use to use the object level and meta level together for the presentation purpose.