Declarative object-oriented logic programming language
logtalk
$ logtalk
$ logtalk -f myprogram.lgt
$ logtalk -g "initialization((write('Hello'), nl, halt))"