The PEF representation of a simple Java program gives you an idea how the logic-based representation works.

Click on a syntax element (the green, inlined links) to see the corresponding program element fact description.

public class HelloWorld extends HelloUniverse {

  static String message;

  public static void main(String[] args){
    System.out.println("Hello World! I've got a message for you: " + message);
  }

}