在jvm规范中的第四章的字节检查，发现了一个函数描述，但是不知道是什么语法，完全不知道怎么看起，可能是我漏看了什么, 但是我找了很久都没有看到哪里说明了，可能我瞎了吧。

classIsTypeSafe(Class) :-
    classClassName(Class, Name), 
    classDefiningLoader(Class, L),
    superclassChain(Name, L, Chain),
    Chain \= [],
    classSuperClassName(Class, SuperclassName),
    loadedClass(SuperclassName, L, Superclass),
    classIsNotFinal(Superclass),	 
    classMethods(Class, Methods), 
    checklist(methodIsTypeSafe(Class), Methods).

所以 :-是什么，我猜是描述函数里面的功能?

而逗号,可能是一个描述的结束？

而\=好吧我想了很久不知道是什么意思。

而且只是其中一个函数的描述，还有很多，完全看不懂。。。