Logic Models

Logic Models are small programs written in a logic programming language that, given a set of parameters, are able to deduce the value of other parameters. In Match™ the logic programming language used is Prolog. Logic models cannot be used in tables, but can be accessed through variables. Logic models in Match™ are treated as separate Prolog programs and cannot use each other’s predicates.

All logic models have a name that defines the parameters used by the model.

The Prolog source code is called: the body. In old Match versions this was kept in an external file. In current Match it is part of the knowledge model.