Interface Term

public interface Term
Represents a term in predicate logic.

A term is an object that can be the argument of a predicate. Examples: constants, variables, function applications.

Since:
1.0
Author:
Silvere Martin-Michiellot, Gemini AI (Google DeepMind)

  • Method Summary

    Modifier and Type
    Method
    Description
    String
    getName()
    Returns the name or symbol of this term.
    boolean
    isVariable()
    Checks if this term is a variable.

  • Method Details

    • getName

      String getName()
      Returns the name or symbol of this term.
      Returns:
      the name

    • isVariable

      boolean isVariable()
      Checks if this term is a variable.
      Returns:
      true if variable, false if constant/function