Aid in Metalogical programming’s implementation logic

Asked By cruzees 0 points N/A Posted on - 09/28/2011

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?

• Status: Open
• Question Views: 891
• Answer Count: 1
• Vote Up 0 Vote Down

• Answer Accepted: No
• Question Category: ProgScripting Languages

Answered By Michelle Bang 55 points N/A #81749

Aid in Metalogical programming’s implementation logic

Actually it is a very difficult task to achieve because the two concepts that you are talking about are very complicated. The object level programming is used to achieve logical statements and conclusions.

However, due to the fact that the mathematical logic that we use has one very traditional 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 programming 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 empty set.

Metalogic just allow use to use the object level and meta level together for the presentation purpose.

About Michelle Bang

Questions
2

Answers
515

Best Answers
73

• Vote Up 0 Vote Down

• Posted on - 02/12/2012
• Question Category: ProgScripting Languages