The type checker enforces type rules that are specified by means of Prolog clauses.from here.
2019-06-23
Snippet/ Prolog in the Java documentation
Just spotted this:
Subscribe to:
Posts (Atom)