Verisyntax — User Manual (prototype 0.1)

Logic example without a database

parent(person_a, person_b)
parent(person_b, person_c)

grandparent(X, Z)
  if parent(X, Y)
  and parent(Y, Z)

ask grandparent(person_a, Who)

Select Program queries, compile, build, and run. The answer binds Who to person_c. Verisyntax uses open-world semantics: missing knowledge is unknown, not automatically false.