× Prolog je jazyk, ne software
× je nutná kompilace programu před spuštěním v systému
× Prolog je dokonce standartizován normou ISO
× ISO [industrial standard language]
× ISO/IEC 13211-1
× ISO Prolog Standard
× a jako u jazyka C nebo C++ si může každý napsat svůj Prolog kompilátor
× my si žádný psát nebudeme, ale využijeme již 2 existující:
× GNU Prolog - vhodný pro LINUX
× SWI Prolog - vhodný jak pro LINUX tak pro MAC OS X
× oba tyto kompilátory Prologu jsou "open source"