Calculemus

fol Type

Namespace: Calculemus
Assembly: Calculemus.dll
Parent Module: Fol
Base Type: obj
All Interfaces: IStructuralEquatable , IComparable<fol> , IComparable , IStructuralComparable

Type of atomic first order formulas.

Example

A formalization of the expression \(x + y < z\): 

 Atom(R("<",[Fn("+",[Var "x"; Var "y"]); Var "z"]))

Union cases

Union case Description

R(string, term list)

Full Usage: R(string, term list)

Parameters:
    Item1 : string - The relation name.
    Item2 : term list - The relation arguments.

Predicate or relation.

Item1 : string

The relation name.

Item2 : term list

The relation arguments.