Pergunta de entrevista da empresa Cycorp
Describe the relationship "horses have heads" using first order logic.
Resposta da entrevista
Sigiloso
11 de set. de 2019
For all x in the set of horse, there exists y of set heads such that HAS(x, y) is true (the interviewer instructed the use of the function "HAS(x, y)" implies that x has a y).