DuckCorp Dico

Found one definition

1.                 From The Free On-line Dictionary of Computing (19 January 2023):
                   
   
   
                   
                     
   goal
      <programming> In logic programming, a predicate applied to
      its arguments which the system attempts to prove by matching
      it against the clauses of the program.  A goal may fail or
      it may succeed in one or more ways.
      (1997-07-14)