EDIT: PrologStructure replaced with PrologFact.

PrologFact is basicly the same thing, but instead of a keyword as a name, it has a PrologAtom and instead of a vector with PrologTerms, it has a PrologArgumentss object.