я так понимаю, что пролог-д, это весьма специфическая проприетарная разработка которая не столь следует стандарту (хотя бы глядя на использование конца утверждения при помощи ';' вместо точки), скорее всего он для учебных целей был автором сильно переработан что бы школьники понимали лучше
в прологе переменные начинаются с заглавной буквы и могут инициализироваться один раз после чего их значение не меняется, если хочется написать x= 2*3 +1 то на прологе это X is 2*3+1, программа будет выглядить что то вроде primer(X):-X is 2*3+1. причем если попытаться искать при помощи primer(11) то будет NO так как 11 это не 7, а если primer(7) то будет YES
кто хочет поиграться с прологом, может поюзать мой движок (требует установленной Java 1.8+), примеры разные можно тут посмотреть тут