Metalogic programming allows object-level and metalevel representations to be combined, as in natural language. For example, in the following program, the atomic formula attends(Person, Meeting) occurs both as an object-level formula, and as an argument of the metapredicates prohibited and approved.
Metalogic programming allows object-level and metalevel representations to be combined as in natural language For example in the following program the atomic formula attends(Person Meeting) occurs both as an object-level formula and as an argument of the metapredicates prohibited and approved