Interface Predicate<T>

All Superinterfaces:
Proposition<T>
public interface Predicate<T> extends Proposition<T>
Represents a predicate (relation) in predicate logic.

A predicate P(t1, ..., tn) evaluates to a truth value.

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 predicate.
    List<Term>
    getTerms()
    Returns the terms (arguments) of this predicate.

    Methods inherited from interface Proposition

    evaluate

  • Method Details

    • getName

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

    • getTerms

      List<Term> getTerms()
      Returns the terms (arguments) of this predicate.
      Returns:
      the list of terms